std::numeric_limits<T>::is_modulo

std::numeric_limits<T>::is_modulo 对所有可能 (C++11 前)以模算术处理溢出的算术类型 T 为 true 。模算术即若此类型的加法、减法、乘法或除法结果会落在范围 [min(), max()] 外，则这种运算返回的结果与期望值相差 max()-min()+1 的整数倍。

标准特化

注意

尽管 C++11 标准仍然说“在大多数机器上，这对于有符号整数为 true ”，这是缺陷而且已被更正。准确措辞从 C++03 到 C++11 的更改使得 true 值不再与有符号整数溢出上的未定义行为兼容。因此，依赖于有符号溢出为未定义（为了优化机会）的实现现在对有符号整数设置 is_modulo 为 false 。见示例 GCC PR 22200 。

示例

#include <iostream>
#include <type_traits>
#include <limits>
 
template<class T>
typename std::enable_if<std::numeric_limits<T>::is_modulo>::type
    check_overflow()
{
    std::cout << "\nmax value is " << std::numeric_limits<T>::max() << '\n'
              << "min value is " << std::numeric_limits<T>::min() << '\n'
              << "max value + 1 is " << std::numeric_limits<T>::max()+1 << '\n';
}
 
int main()
{
    check_overflow<int>();
    check_overflow<unsigned long>();
    // check_overflow<float>(); // 编译时错误，非模类型
}

max value is 2147483647
min value is -2147483648
max value + 1 is -2147483648
 
max value is 18446744073709551615
min value is 0
max value + 1 is 0

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

参阅