面接官「0.1 + 0.2 == 0.3 が成立しない理由を説明せよ」

double だとそうですが、float だと誤差が収まってしまう為 true になるんですよね

using System;
{
    const double v = 0.2d + 0.1d;
    Console.WriteLine($"const {v.GetType()} {v == 0.3d}");
}
{
    var v1 = 0.2d;
    var v2 = 0.1d;
    var v3 = 0.3d;
    Console.WriteLine($"var {v1.GetType()} {(v1 + v2) == v3}");
}
{
    const float v = 0.2f + 0.1f;
    Console.WriteLine($"const {v.GetType()} {v == 0.3f}");
}
{
    var v1 = 0.2f;
    var v2 = 0.1f;
    var v3 = 0.3f;
    Console.WriteLine($"var {v1.GetType()} {(v1 + v2) == v3}");
}
{
    const decimal v = 0.2m + 0.1m;
    Console.WriteLine($"const {v.GetType()} {v == 0.3m}");
}
{
    var v1 = 0.2m;
    var v2 = 0.1m;
    var v3 = 0.3m;
    Console.WriteLine($"var {v1.GetType()} {(v1 + v2) == v3}");
}

const System.Double False
var System.Double False
const System.Single True
var System.Single True
const System.Decimal True
var System.Decimal True

@juner 動的言語は人類には過ぎた技術だったようです。

@mlab 動的言語だからというよりも IEEE 754 の倍精度 64ビットバイナリー形式 (CやC#でいう double) だからですね。

JavaScript の数値 (Number) 型は IEEE 754 の倍精度 64ビットバイナリー形式であり、 Java や C# の double のようなものです。

数値型には 3 種類あります: 整数 、 浮動小数点数 、 複素数 です。さらに、ブール型は整数のサブタイプです。整数には精度の制限がありません。浮動小数点型はたいていは C の double を使って実装されています

32ビット浮動小数点(CやC# でいう float) も 今回のケースでは運がよかっただけです。

面接官「0.1 + 0.2 == 0.3 が成立しない理由を説明せよ」

という質問がきたらどう答えるだろうか。

「0.1 + 0.2 == 0.3 が成立しないかは言語にもよる話ですがこの質問は前提条件が足りないと思います」

package main

import (
    "fmt"
)

func main() {
    fmt.Println(0.1 + 0.2 == 0.3)
}

true

@fujitanozomu

「0.1 + 0.2 == 0.3 が成立しないかは言語にもよる話ですがこの質問は前提条件が足りないと思います」

成立しない前提で、何を問われているか理解するの難しいですよね。わかります。

@mlabさん、

0.1 + 0.2 == 0.3 が成立しないかは言語にもよる話なので「実行する言語を間違えた」という回答は自分的にはアリだと思います。

if (0.1 + 0.2 == 0.3) {
    print "0.1 + 0.2 == 0.3";
} else {
    print "0.1 + 0.2 != 0.3";
}

0.1 + 0.2 == 0.3

if (0.1 + 0.2 == 0.3) {
    print "0.1 + 0.2 == 0.3";
} else {
    print "0.1 + 0.2 != 0.3";
}

0.1 + 0.2 == 0.3

if (0.1 + 0.2 == 0.3) {
    print "0.1 + 0.2 == 0.3";
} else {
    print "0.1 + 0.2 != 0.3";
}

0.1 + 0.2 == 0.3

if (0.1 + 0.2 == 0.3) {
    print "0.1 + 0.2 == 0.3";
} else {
    print "0.1 + 0.2 != 0.3";
}

0.1 + 0.2 != 0.3

あるいは「使用したコンピュータのソフトかハードに異常があった」という回答も可能でしょう。
このような回答は、0.1 + 0.2 == 0.3 が成立しない前提でこの質問を出してる面接官的にはどうなのだろうかと思いました。

「（JavaScript なら）実行可能なので成立します！」

そもそも浮動小数を等号で比較するのはよくありません。例えば、pythonであれば、math.isclose() を使って比較しましょう。また、roundなどで丸めてから比較するのもよいでしょう。
浮動小数ではなく、分数で表現するなどの工夫が必要かもしれません。

@mlabさん、

なぜか

これは、機械語が2進数へ変換される際に、

機械語は関係ないですね。

浮動小数点数の誤差が発生するためです。小数点以下の数値は多くの場合、無限小数となります。

IEEE 754のbinary64で0.1等が正確に表せられないことは「0.1 + 0.2 == 0.3が成立しない」理由のひとつではありますが、0.1 + 0.1 == 0.2や0.1 + 0.3 == 0.4が成立する例を見ると0.1 + 0.2 == 0.3が成立しないことの理由はもう少し踏み込んだ説明が必要と言えますね。