[Сроки выполнения компиляции C++]: Можно ли выполнить ошибку компиляции, если какое-либо условие не выполняется?

Question

Я написал функцию:

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

, но я только хочу, чтобы скомпилировать, если N находится в диапазоне от 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(); 
    } 
} 

Эта функция только имеющийся так C++ 11. Если вы застряли с C++ 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

для предбазисного C++ 11 компиляторов, вы могли бы реализовать параметр шаблона ограничение на параметр N. не типа

Для описания того, как это сделать, см http://stroustrup.com/bs_faq2.html#constraints