std::numeric_limits<T>::is_modulo

static const bool is_modulo;

static constexpr bool is_modulo;

std::numeric_limits<T>::is_modulo 的值对于所有算术类型 true 为 T，只要该类型以取模算术处理溢出，即，如果此类类型的加法、减法、乘法或除法的结果会落在范围 [min(), max()] 之外，此类操作返回的值与预期值相差一个 max() - min() + 1 的倍数。

is_modulo 对于有符号整数类型为 false，除非实现将有符号整数溢出定义为回绕。

标准特化

注释

标准在 LWG issue 2422 决议前曾表述为“在大多数机器上，这对有符号整数成立”。相关讨论可参阅 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 << "max 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>();
    std::cout << '\n';
    check_overflow<unsigned long>();
//  check_overflow<float>(); // compile-time error, not a modulo type
}

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++标准。

1. ↑ 该定义为“两个正数相加可能产生环绕至第三个更小数值的结果”。存在以下问题：
   • 未定义环绕后的具体数值
   • 未声明结果是否具有可重复性
   • 未要求对所有数值执行加减法及其他运算时均需具备明确的行为定义

参见