CompileTimeChecker từ Thiết kế Hiện đại C++ không hoạt động như mong đợi

Question

Gần đây tôi đã bắt đầu đọc Thiết kế C++ Hiện đại của Andrei Alexandrescu. Sau khi đọc các xác nhận về thời gian biên dịch, tôi đã thử mã sau:

 
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*/ 
} 

Mã không được biên dịch do Dòng 2, nhưng nó biên dịch tốt. Nếu tôi thay đổi Line 1 tới

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

hoặc

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

nó hoạt động như mong đợi. Tôi không hiểu.

Answer 1

Hãy thử updated version từ số Loki library.