フロートを別の変数にコピーすると、それらは等しくなりますか？

を使用==して浮動小数点変数の等価性をチェックすることは良い方法ではありません。しかし、私は次のステートメントでそれを知りたいだけです：

float x = ...

float y = x;

assert(y == x)

yはからコピーされるのでx、アサーションはtrueになりますか？

assert(NaN==NaN);kmdrekoによって指摘されたケースに加えて、x87-mathで80ビット浮動小数点が一時的にメモリに格納され、後でレジスター内にまだ格納されている値と比較される場合があります。

可能な最小の例-O2 -m32：でコンパイルするとgcc9.2で失敗します：

#include <cassert>

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

Godboltデモ：https ://godbolt.org/z/X-Xt4R

volatileあなたは十分なレジスタ圧力を作成するために管理している場合、おそらくしているために、省略することができますy保存され、メモリから再ロード（ただし、コンパイラは十分、すべて一緒に比較を省略しないように混乱します）。

GCC FAQリファレンスを参照してください：

• 最適化レベルやコンパイラのバージョンの違い、ターゲットアーキテクチャの違いによって、浮動小数点の結果が変わるのはなぜですか？

onの比較は常にfalse（yesでさえ）であるため、xisの場合はtrueになりません。他のすべてのケース（通常値、非正規値、無限大、ゼロ）の場合、このアサーションは真になります。NaNNaNNaN == NaN

浮動小数点を回避する==ためのアドバイスは、浮動小数点数が算術式で使用されると多くの結果を正確に表現できないため、計算に適用されます。割り当ては計算ではなく、割り当てが元の値と異なる値になる理由はありません。

標準に準拠している場合、拡張精度評価は問題にはなりません。<cfloat>C からの継承[5.2.4.2.2.8]（強調鉱山）：

割り当てとキャスト（余分な範囲と精度をすべて削除する）を除いて、通常の算術変換の対象となる浮動オペランドと値を持つ演算の値と浮動定数の値は、範囲と精度がタイプ。

ただし、コメントで指摘されているように、特定のコンパイラ、ビルドオプション、およびターゲットを使用した場合、これが逆説的に誤りになることがあります。

はい、y確実に次の価値を引き受けますx：

[expr.ass]/2：単純な代入（=）では、左のオペランドによって参照されるオブジェクトは、その値を右のオペランドの結果に置き換えることによって変更されます（[defns.access]）。

他の値を割り当てる余裕はありません。

^{（他の人たちは、等価比較==がそれでもfalseNaN値に対して評価されることをすでに指摘しています。）}

浮動小数点に関する通常の問題==は、あなたが思っているほどの価値を持たないことは簡単なことです。ここでは、2つの値が同じであることを知っています。

はい、すべての場合（NaNとx87の問題を無視）、これは当てはまります。

そうした場合memcmp、それらの上にNaNとsNaNsを比較することでありながら、あなたは平等のためにできるテストになります。これには、値をfloat80 ビットではなく32ビットに強制する変数のアドレスを取得するコンパイラも必要になります。これにより、x87の問題が解消されます。ここでの2番目のアサーション==は、NaNを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の内部表現が異なる（仮数が異なる）場合、memcmptrueは比較されないことに注意してください。

通常の場合は、trueと評価されます。（またはassertステートメントは何もしません）

編集：

「通常のケース」とは、他のユーザーから指摘された前述のシナリオ（NaN値や80x87浮動小数点単位など）を除外することを意味します。

今日の状況で8087チップが陳腐化していることを考えると、問題はかなり孤立しており、使用される浮動小数点アーキテクチャの現在の状態に問題が当てはまるため、NaNを除くすべてのケースに当てはまります。

（8087に関するリファレンス-https ://home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm）

良い例を再現した@chtzとNaNについて言及した@kmdrekoへの称賛-以前はそれらについて知らなかった！

はい、NaNの場合を除いて、常にTrueを返します。変数値がNaNの場合、常にFalseを返します。