Question

带有-Wextra的GCC（4.7.2）发出以下警告/错误信息（我已启用-Werror）：

由于数据类型的范围有限[-Wtype-limits]
，因此比较总是如此

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");
}

我理解为什么警告会在正常的表达式上下文中发生，例如当我使用以下validate函数时：

template <typename T, std::size_t N>
bool validate(T value) {
    return static_cast<std::size_t>(value) < N;
}

- 实际上，这就是我首先使用专用模板的原因（并注意使用了正确的模板特化，并且我的第一个代码中的错误是由模板参数引发的，而不是在函数内部非专业化模板）。有没有办法绕过这个警告？如果没有，那不是编译器中的错误吗？

Answer 1

这已在GCC主干中修复，请参阅PR 11856

所以等到大约4月下旬并使用GCC 4.8： - ）

Answer 2

由于我不能等到这个问题得到解决（请参阅Jonathan的回答）我已选择性地使用GCC #pragma扩展名禁用了该警告：

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wtype-limits"
static_assert(validator<bool, 2>::validate(true), "Invalid");
#pragma GCC diagnostic pop

请注意，即使实际错误发生在模板参数中，这些编译指示仍然需要包围调用代码。

Answer 3

这是一种解决方法：

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 size_t_cast(value) < N;
    }
private:
    static constexpr std::size_t size_t_cast(T value) {
        return value;
    }
};

template <typename T, std::size_t N>
struct validator<T, N, true> {
    static constexpr bool validate(T) {
        return true;
    }
};

这允许该示例在GCC 4.7.2中无错误地编译。

“警告：比较总是如此”

3 个答案: