C++ template: Làm thế nào để đưa không do type hạn chế trong thời gian

Question

biên soạn Giả sử tôi đã theo mẫu

template<unsigned char I, unsigned char F> 
class FOO 
{ 
    .... 
} 

Trong thực tế, tôi yêu cầu (I> = F). Nếu ai đó lạm dụng

FOO<1, 2> a; 

Tôi hy vọng sẽ tạo ra lỗi biên dịch. Làm thế nào để làm điều đó?

Cảm ơn

Answer 1

Một cách có thể là C++ 11 của static_assert, mà là tương tự như một assert, nhưng kiểm tra tại thời gian biên dịch:

template<unsigned char I, unsigned char F> 
class FOO 
{ 
    static_assert(I >= F, "I needs to be larger or equal to F"); 
    ... 
}; 

Answer 2

Nếu bạn không có C++ 11, tốt cũ mảng giới hạn lừa hoạt động ở đây quá. Chỉ cần đặt sau trong phần riêng của lớp học của bạn:

static int const error_size = I >= F ? 1 : -1; 
typedef char ERROR_I_must_not_be_less_than_F[error_size]; 

này sẽ kích hoạt một lỗi "kích thước mảng tiêu cực" bất cứ khi nào I là ít hơn F.