std::numeric_limits<T>::is_modulo
来自 cppreference.cn
static const bool is_modulo; |
(C++11 前) | |
| static constexpr bool is_modulo; |
(C++11 起) | |
对于所有以取模算术处理溢出的算术类型 T，std::numeric_limits<T>::is_modulo 的值为 true。也就是说，如果该类型的加、减、乘或除法的结果会落在范围 [min(), max()] 之外，则这种运算所返回的值与期望值之差是 max() - min() + 1 的倍数。
对于有符号整数类型，is_modulo 为 false，除非实现定义有符号整数溢出为回绕。
目录 |
[编辑] 标准特化
T
|
std::numeric_limits<T>::is_modulo 的值 |
| /* 未特化 */ | false |
| bool | false |
| char | 实现定义 |
| signed char | 实现定义 |
| unsigned char | true |
| wchar_t | 实现定义 |
| char8_t (C++20起) | true |
| char16_t (C++11起) | true |
| char32_t (C++11起) | true |
| short | 实现定义 |
| unsigned short | true |
| int | 实现定义 |
| unsigned int | true |
| long | 实现定义 |
| unsigned long | true |
| long long (C++11) | 实现定义 |
| unsigned long long (C++11) | true |
| float | false |
| double | false |
| long double | false |
[编辑] 注意
在解决 LWG 问题 2422 之前，标准曾说“在大多数机器上，这对有符号整数是 true”。相关讨论见 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++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| LWG 612 | C++98 | “以取模算术处理溢出”的定义不佳[1] with modulo arithmetic" was poor[1] |
提供了一个更好的定义 better definition |
| LWG 2422 | C++98 | is_modulo 在大多数机器上曾被要求对有符号整数类型为 truesigned integer types on most machines |
要求对有符号整数类型为 false 除非有符号整数溢出被定义为回绕 |
- ↑ 该定义为“两个正数相加的结果可以回绕为更小的第三个数”。它有以下问题：
- 未定义回绕后的值。
- 未说明结果是否可重复。
- 未要求对所有值进行加法、减法和其他运算都有已定义的行为。
[编辑] 参阅
| [静态] |
确定整数类型 (公开静态成员常量) |
| [静态] |
确定 IEC 559/IEEE 754 浮点类型 (公开静态成员常量) |
| [静态] |
确定精确类型 (公开静态成员常量) |
