c – “警告：比较永远是真的”

带-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