为什么“is_modulo”对于双精度和浮点数是错误的？答案

【问题标题】：Why "is_modulo" is false for double and float?为什么“is_modulo”对于双精度和浮点数是错误的？
【发布时间】：2015-08-26 15:12:42
【问题描述】：

我写了一些代码来检查一个类型是否有模表示：

#include <iostream>
#include <limits>

using namespace std;

int main( )
{
    cout << "Whether float objects have a modulo representation: "
         << numeric_limits<float>::is_modulo << endl;
    cout << "Whether double objects have a modulo representation: "
         << numeric_limits<double>::is_modulo << endl;
}

输出：

Whether float objects have a modulo representation: 0
Whether double objects have a modulo representation: 0

但我们可以使用fmod()（来自<math.h>）求float 或double 的模数。那么，如果可以找到浮点数或双精度数的模，为什么is_modulo 为假？

【问题讨论】：

标签： c++

【解决方案1】：

From cppreference

std::numeric_limits<T>::is_modulo 的值是 true 对于使用模算术处理溢出的所有算术类型 T，也就是说，如果这种类型的加法、减法、乘法或除法的结果将超出范围 [min(), max()]，则此类操作返回的值与预期值相差 max()-min()+1 的倍数。

浮点数is undefined behavior 溢出，因此float 和double 的std::numeric_limits::is_modulo 是false。

【讨论】：

【解决方案2】：

这与fmod 无关。对浮点值的任意操作是无关紧要的。

是否有“模表示”就像unsigned ints 自动环绕一样。

floats 和 doubles 都没有这样做，因此 is_modulo 是 false。

【讨论】：

【解决方案3】：

如here所述：

std::numeric_limits<T>::is_modulo 的值为 true 用模运算处理溢出的算术类型 T，即是，如果结果加法、减法、乘法或这种类型的划分将超出范围[min(), max()]，此类操作返回的值与预期值不同 max()-min()+1 的倍数。

所以它没有说“求模”，而是说a + b 的行为方式。浮点运算不会像整数运算那样溢出。

【讨论】：