double one() {
volatile double result = 0.0;
for (int i=0; i<10; ++i) {
result += 0.1;
}
return result;
}
int main(void)
{
double a = one();
assert(a==1.0);
return 0;
}
これが通らない(可能性がある)というのは有名な話ですが、
int main(void)
{
double a = one();
double b = a;
double c = one();
assert(a==a); // 1.同じ変数同士の比較
assert(a==b); // 2.代入結果との比較
assert(a==c); // 3.同じ方法での生成結果同士の比較
return 0;
}
これらが通ることは言語レベルやコンパイラレベルで保証されているのでしょうか。
サンプルはCで書いていますが、様々な言語でどうなっているのか知りたいです。特にC,C++,C#,Python,JavaScript,Rustに興味があります。
one()
の実装は最初のコードと同じであるという前提でよろしいですか?NaNを返したり、呼び出しの度にランダムに値を返したりする関数であれば、真にならない事例を示せてしまうからです。