7

GCC（4.7.2）-Wextra发出以下警告/错误信号（我已-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;
}

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

4

3 回答 3

11

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

所以等待大约四月下旬并使用 GCC 4.8 :-)

于 2013-01-19T23:36:57.720 回答
2

由于我不能等到这个问题得到解决（请参阅乔纳森的回答），我已经使用 GCC#pragma扩展有选择地禁用了警告：

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

请注意，不幸的是，即使实际错误发生在模板参数中，这些 pragma 也需要围绕调用代码。

于 2013-01-20T01:19:58.243 回答
1

这是一个解决方法：

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 中无错误地编译。

于 2013-01-20T17:46:57.560 回答