¿Qué es decltype con dos argumentos?

Editar, para evitar confusiones: decltypeno acepta dos argumentos. Ver respuestas.

Las siguientes dos estructuras se pueden usar para verificar la existencia de una función miembro en un tipo T durante el tiempo de compilación:

// Non-templated helper struct:
struct _test_has_foo {
    template<class T>
    static auto test(T* p) -> decltype(p->foo(), std::true_type());

    template<class>
    static auto test(...) -> std::false_type;
};

// Templated actual struct:
template<class T>
struct has_foo : decltype(_test_has_foo::test<T>(0))
{};

Creo que la idea es usar SFINAE cuando se comprueba la existencia de una función miembro, por lo que en caso de que p->foo() no sea válida, solo se define la versión elipses de test, que devuelve el std::false_type. De lo contrario el el primer método se define para T* y devolverá std::true_type. El "switch" real ocurre en la segunda clase, que hereda del tipo devuelto por test. Esto parece inteligente y" ligero " en comparación con diferentes enfoques con is_same y cosas por el estilo.

El decltype con dos argumentos primero me pareció sorprendente, ya que pensé que solo obtiene el tipo de expresión. Cuando vi el código anterior, pensé que era algo así como " intenta compilar las expresiones y siempre devuelve el tipo del segundo. Fail if the expressions fail to compile" (so hide this specialization; SFINAE).

Pero:

Entonces pensé que podría usar este método para escribir cualquier comprobador "is valid expression", siempre y cuando dependa de algún tipo T. Ejemplo:

...
    template<class T>
    static auto test(T* p) -> decltype(bar(*p), std::true_type());
...

Http://ideone.com/dJkLPF

Esto, por lo que pensé, devolverá un std::true_type si y solo si bar se define aceptando un T como el primer parámetro (o si T es convertible, etc...), es decir: si bar(*p) se compilaría si se escribiera en algún contexto donde p se defina de tipo T*.

Sin embargo, la modificación anterior evalúa siempre a std::false_type. ¿Por qué es esto? No quiero arreglarlo con un código diferente complicado. Sólo quiero saber por qué no funciona como esperaba. Claramente, decltype con dos argumentos funciona diferente de lo que pensaba. No pude encontrar ninguna documentación; solo se explica con una expresión en todas partes.