C++模板：如何把无类型在编译时间

Question

限制假设我有以下模板

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

其实，我需要（我> = F）。如果有人误用

FOO<1, 2> a; 

我希望提出一个编译错误。怎么做？

感谢

Answer 1

一种方式可以是C++ 11的static_assert，这是类似于assert，但在编译时检查：

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

Answer 2

如果你没有C++ 11，这个老式的数组边界技巧也适用于这里。只要把下面的在类的私有部分：

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

这将触发一个“负数组大小”错误，每当I小于F。