मॉडर्न सी ++ डिज़ाइन से संकलितटाइम चेकर

Question

के रूप में काम नहीं कर रहा है मैंने हाल ही में एंड्री अलेक्जेंड्रेसकू द्वारा आधुनिक सी ++ डिज़ाइन पढ़ना शुरू कर दिया है। संकलन समय इस प्रकार के दावे पढ़ने के बाद, मैं निम्नलिखित कोड की कोशिश की:

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

कोड लाइन 2 की वजह से संकलन नहीं करना चाहिए, लेकिन यह ठीक संकलित करता है। यह उम्मीद के रूप में काम करता है अगर मैं

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

या

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

को पंक्ति 1 बदल जाते हैं। मुझे यह नहीं मिला।

Answer 1

Loki library से updated version आज़माएं।