Warum das funktioniert (Vorlagen, SFINAE). C++

Question

Bezug auf den gestrigen Post, das weckte mich heute Morgen auf. Warum funktioniert das eigentlich? Solange die Funktion test betroffen ist, hat diese Funktion keinen Körper, also wie kann sie etwas ausführen? Ich möchte wissen warum und wie das funktioniert? Ich bin wirklich interessiert Ihre Antworten zu sehen.

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 }; 
}; 

Vielen Dank im Voraus mit Hilfe, um dieses sehr interessante Phänomen zu verstehen.

Answer 1

Ich nehme an, Sie beziehen sich auf die Yes enum? IsClassT<T>::test<T>(0)? sizeof bewertet seine Argumente nicht. Deshalb Code wie die folgenden legal ist, auch wenn Sie es auf Sie zu retten könnte erwarten:

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

Answer 2

1. Sie können keine Compiler-Fehler erhalten, weil test -function Erklärung existiert.

2. Sie können keine Linker-Fehler erhalten, weil Sie nichttest -function rufen Sie.

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

5.3.3 Sizeof

sizeof Der Bediener die Anzahl der Bytes in der Objektdarstellung seines Operanden ergibt . Der Operand ist entweder ein Ausdruck , der nicht oder geklammerte Typ-ID ausgewertet wird. Der sizeof Betreiber müssen ...

...