[C++ Kompilierung Zeit Zusicherungen]: Können wir einen Kompilierungsfehler werfen, wenn eine Bedingung nicht erfüllt ist?

Question

Ich schrieb eine Funktion:

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

aber ich will es nur kompilieren, wenn N zwischen 0 und 10 ist, kann ich es tun? Wie?

Answer 1

Sie können es mit 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(); 
    } 
} 

Diese Funktion ist nur avaliable da C++ 11. Wenn Sie mit C++ 03 festgefahren sind, werfen Sie einen Blick auf Boost's static assert macro.

Die ganze Idee davon sind nette Fehlermeldungen. Wenn Sie nicht für diejenigen kümmern, oder kann nicht einmal affor Schub, könnten Sie etwas tun, wie folgt:

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 

Dies ist nur ein Beispiel. Hier

ist die Quelle Link: http://msdn.microsoft.com/en-us/library/c8tk0xsk(v=vs.71).aspx

Alles, was ich sagen will, ist, dass Sie verwenden #error können auch

Es ist eine Richtlinie

bearbeiten @Pratik Chowdhruy: Ich stimme mit Paul R. Dies beantwortet die Frage nicht direkt. Es tut uns Leid für die Gemeinschaft

Answer 3

Für pre 11 Compiler C++, können Sie ein Template-Parameter Einschränkung für die Nicht-Typ-Parameter N. implementieren könnte

Eine Beschreibung, wie Sie dies tun, finden Sie in http://stroustrup.com/bs_faq2.html#constraints