CompileTimeChecker von Modern C++ Design funktioniert nicht wie erwartet

Question

Ich habe vor kurzem angefangen zu lesen Modern C++ Design von Andrei Alexandrescu. Compile-Time Assertions Nach der Lektüre habe ich versucht, den folgenden Code:

 
template<bool> struct CompileTimeChecker 
{ 
    CompileTimeChecker(...){}; 
}; 
template<> struct CompileTimeChecker<false>{}; 

#define STATIC_CHECK(expr, msg) \ 
{\ 
    class ERROR_##msg{}; \ 
    (void)sizeof(CompileTimeChecker<(expr)!=0>((ERROR_##msg()))); /*Line 1*/ } 


int main() 
{ 
    STATIC_CHECK(sizeof(char)>sizeof(int),TypeTooNarrow); /*Line 2*/ 

    STATIC_CHECK(sizeof(char)<sizeof(int),TypeTooNarrow); /*Line 3*/ 
} 

Der Code sollte 2 aufgrund Linie nicht kompilieren, aber es kompiliert in Ordnung. Wenn ich die Zeile 1 bis

 
(void)(CompileTimeChecker<(expr)!=0>((ERROR_##msg()))); /*Line 1*/ } 

oder

 
new CompileTimeChecker<(expr)!=0>((ERROR_##msg())); /* Line 1*/ } 

funktioniert ändern, wie erwartet. Ich verstehe es nicht.

Answer 1

Versuchen Sie updated version aus der,.