Por qué esto funciona (Plantillas, SFINAE). C++

Question

refiriéndose a la publicación de ayer, esto me despertó esta mañana. ¿Por qué esto realmente funciona? Siempre que se trate de la función test, esta función no tiene cuerpo, ¿cómo puede realizar algo? Quiero saber por qué y cómo funciona esto? Estoy REALMENTE interesado en ver tus respuestas.

template<typename T> 
class IsClassT { 
    private: 
    typedef char One; 
    typedef struct { char a[2]; } Two; 
    template<typename C> static One test(int C::*); //NO BODY HERE 
    template<typename C> static Two test(…); //NOR HERE 
    public: 
    enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == sizeof(One) }; 
    enum { No = !Yes }; 
}; 

Gracias de antemano por ayudarme a entender este fenómeno tan interesante.

Answer 1

Supongo que usted se está refiriendo a Sí enum? IsClassT<T>::test<T>(0)? sizeof en realidad no evalúa sus argumentos. Es por eso que un código como el siguiente es legal, a pesar de que se podría esperar que para rescatar a usted en:

int* p = 0; 
int sizeof_int = sizeof(*p); //oops, p is 0 :(

Answer 2

1. No se puede obtener error de compilación porque existe test -función declaración.

2. No se puede obtener el error del enlazador porque no llama altest -función.

C++ Standart ISO/IEC 14882: 2003 (E)

5.3.3 Sizeof

El operador sizeof se obtiene el número de bytes en la representación objeto de su operando . El operando es una expresión, que no se evalúa, o type-id entre paréntesis. El operador sizeof no deberán ...

...