如果我将浮点数复制到另一个变量，它们是否相等？

我知道使用==检查浮点变量的相等性不是一个好方法。但是我只想通过以下语句知道这一点：

float x = ...

float y = x;

assert(y == x)

既然y是从复制x，则断言是否正确？

除了assert(NaN==NaN);kmdreko指出的情况外，还可以使用x87-math的情况，即将80位浮点数临时存储到内存中，然后与仍存储在寄存器中的值进行比较。

可能的最小示例，使用以下命令编译时，该示例在gcc9.2上失败-O2 -m32：

#include <cassert>

int main(int argc, char**){
    float x = 1.f/(argc+2);
    volatile float y = x;
    assert(x==y);
}

Godbolt演示： https

的 volatile大概可以忽略，如果你管理，以产生足够的寄存器压力已经y存储并从内存重新加载（但迷惑编译器就够了，不要省略比较全在一起）。

请参阅GCC常见问题解答参考：

• 为什么浮点结果随优化级别或不同的编译器版本或不同的目标体系结构而变化？

如果x为is NaN，则不会是正确的，因为on的NaN比较总是错误的（是，甚至NaN == NaN）。对于所有其他情况（正常值，次正常值，无穷大，零），此断言将为真。

避免==浮点数的建议适用于计算，因为浮点数在算术表达式中使用时无法准确地表达许多结果。分配不是计算，因此没有理由分配的值会与原始值不同。

如果遵循该标准，则不应该进行扩展精度评估。从<cfloat>继承自C [5.2.4.2.2.8]（强调我的）：

除赋值和强制转换（除去所有额外的范围和精度）外，带有浮点操作数的运算值和需要进行常规算术转换的值以及浮点常量的值将求值为其范围和精度可能大于整数所要求的格式。类型。

但是，正如评论所指出的那样，某些情况下使用某些编译器，build-options和target 可能会使此矛盾。

是的，y肯定会采用x：

[expr.ass]/2：在简单赋值（=）中，通过用右操作数的结果替换其值来修改（[defns.access]）左操作数所引用的对象。

没有其他分配值的余地。

^{（其他人已经指出，等效比较==仍将评估false为NaN值。）}

浮点数的常见问题==是，很容易没有您认为的价值。在这里，我们知道两个值，无论它们是什么，都是相同的。

是的，在所有情况下（不考虑NaN和x87问题），这都是正确的。

如果memcmp对它们进行操作，则可以测试是否相等，同时可以比较NaN和sNaN。这也将要求编译器获取变量的地址，该地址会将值强制转换为32位float而不是80位。这将消除x87问题。这里的第二个断言旨在不表明==不会将NaNs比较为true：

#include <cmath>
#include <cassert>
#include <cstring>

int main(void)
{
    float x = std::nan("");
    float y = x;
    assert(!std::memcmp(&y, &x, sizeof(float)));
    assert(y == x);
    return 0;
}

请注意，如果NaN具有不同的内部表示形式（即尾数不同），memcmp则不会比较true。

在通常情况下，它将评估为true。（否则断言语句不会做任何事情）

编辑：

“通常情况”是指排除其他用户指出的上述方案（例如NaN值和80x87浮点数单元）。

考虑到在当今情况下8087芯片已经过时，这个问题相当孤立，该问题适用于当前使用的浮点架构状态，除了NaN之外，所有情况都适用。

（参考约8087- https: //home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm）

感谢@chtz再现了一个很好的例子，@ kmdreko提到了NaNs-以前不知道它们！

是的，它将始终返回True，除非是NaN。如果变量值为NaN，则它总是返回False！