[Xác nhận thời gian biên dịch C++]: Chúng tôi có thể ném lỗi biên dịch nếu một số điều kiện không được đáp ứng không?

Question

tôi đã viết một hàm:

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

nhưng tôi chỉ muốn nó biên dịch nếu N là ở giữa 0 và 10. Tôi có thể làm điều đó? Làm sao?

Answer 1

Bạn có thể làm điều đó với 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(); 
    } 
} 

Tính năng này chỉ sẵn từ C++ 11. Nếu bạn đang mắc kẹt với C++ 03, hãy xem Boost's static assert macro.

Toàn bộ ý tưởng về đây là thông báo lỗi đẹp. Nếu bạn không quan tâm đối với những người, hoặc có thể thậm chí không affor tăng, bạn có thể làm một cái gì đó như sau:

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 

Đây chỉ là một ví dụ.

Dưới đây là liên kết nguồn: http://msdn.microsoft.com/en-us/library/c8tk0xsk(v=vs.71).aspx

Tất cả tôi nói là bạn có thể sử dụng #error cũng

Nó là một chỉ thị

Sửa @Pratik Chowdhruy: Tôi đồng ý với Paul R. Điều này không trả lời trực tiếp câu hỏi. Xin lỗi cho cộng đồng

Answer 3

Đối với pre C++ 11 trình biên dịch, bạn có thể thực hiện một chế mẫu tham số trên các tham số không kiểu N.

Đối với một mô tả về cách để làm điều này, vui lòng xem http://stroustrup.com/bs_faq2.html#constraints