带-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
原文地址：https://www.jb51.cc/c/119839.html
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
