带-Wextra的GCC(4.7.2)发出以下警告/错误信号(我启用了-Werror):
Comparison is always true due to limited range of data type [-Wtype-limits]
对于以下代码[try online]:
template < typename T,std::size_t N,bool = static_cast<std::size_t>(std::numeric_limits<T>::max()) < N> struct validator { static constexpr bool validate(T value) { return static_cast<std::size_t>(value) < N; } }; template <typename T,std::size_t N> struct validator<T,N,true> { static constexpr bool validate(T) { return true; } }; int main() { // Works static_assert(validator<int,4>::validate(3),"Invalid"); // Error :-( static_assert(validator<bool,2>::validate(true),"Invalid"); }
我理解为什么警告会在正常的表达式上下文中发生,例如当我使用以下验证功能时:
template <typename T,std::size_t N> bool validate(T value) { return static_cast<std::size_t>(value) < N; }
– 实际上,这就是我首先使用专用模板的原因(并注意使用了正确的模板特化,并且我的第一个代码中的错误是由模板参数引发的,而不是在非特定模板中的函数内部) .有没有解决这个警告的方法?如果没有,那不是编译器中的错误吗?
解决方法
这已在GCC主干中修复,见
PR 11856
所以等到大约4月下旬并使用GCC 4.8