[सी ++ संकलन समय सम्मिलन]: अगर कुछ शर्त पूरी नहीं हुई है तो क्या हम एक संकलन त्रुटि फेंक सकते हैं?

Question

मैं एक समारोह लिखा है:

template<int N> void tryHarder() { 
    for(int i = 0; i < N; i++) { 
     tryOnce(); 
    } 
} 

लेकिन मैं केवल तभी एन के बीच 0 और 10 मैं यह कर सकता है यह संकलन करना चाहते हैं? कैसे?

Answer 1

आप static_assert declaration साथ यह कर सकते हैं:

template<int N> void tryHarder() { 

    static_assert(N >= 0 && N <= 10, "N out of bounds!"); 

    for(int i = 0; i < N; i++) { 
     tryOnce(); 
    } 
} 

यह सुविधा सी ++ 11 के बाद से ही उपलब्ध है। यदि आप सी ++ 03 के साथ फंस गए हैं, तो Boost's static assert macro पर एक नज़र डालें।

इसका पूरा विचार अच्छा त्रुटि संदेश है। आप उन लोगों के लिए परवाह नहीं है, तो या यहाँ तक कि नहीं बढ़ावा affor, तो आप कुछ कर सकते हैं कर सकते हैं इस प्रकार है:

template<bool B> 
struct assert_impl { 
    static const int value = 1; 
}; 

template<> 
struct assert_impl<false> { 
    static const int value = -1; 
}; 

template<bool B> 
struct assert { 
    // this will attempt to declare an array of negative 
    // size if template parameter evaluates to false 
    static char arr[assert_impl<B>::value]; 
}; 

template<int N> 
void tryHarder() 
{ 
    assert< N <= 10 >(); 
} 

int main() 
{ 
    tryHarder<5>(); // fine 
    tryHarder<15>(); // error, size of array is negative 
} 

Answer 2

#if !defined(__cplusplus) 
#error C++ compiler required. 
#endif 

यह सिर्फ एक उदाहरण है।

यहाँ स्रोत लिंक है: http://msdn.microsoft.com/en-us/library/c8tk0xsk(v=vs.71).aspx

सभी मैं कह रहा हूँ कि आप #Error का उपयोग कर सकते है भी

यह एक निर्देश

संपादित @Pratik Chowdhruy है: मैं पॉल आर के साथ सहमत यह सीधे सवाल का जवाब नहीं देता है। समुदाय

Answer 3

पूर्व सी ++ 11 compilers के लिए करने के लिए क्षमा करें, आप गैर प्रकार पैरामीटर एन

ऐसा करने के तरीके के विवरण के लिए पर टेम्पलेट पैरामीटर बाधा को लागू कर सकता है, कृपया इसे देखें http://stroustrup.com/bs_faq2.html#constraints