浮動小数点型 | Progrust Library

小数を表すプリミティブ型です。
f32とf64が用意されており、整数型とは異なり符号なし版はありません。（常に符号あり）

長さ	型	補足
32ビット	`f32`	IEEE 754-2008の「binary32」に準拠
64ビット	`f64`	IEEE 754-2008の「binary64」に準拠

fn main() {
    let price: f32 = 19.8; // 単価（省メモリ優先ならf32）
    let total = price as f64 * 3.0; // f64がデフォルト型
    println!("合計: {:.1}円", total);
}

Playgroundで開く

補足

浮動小数点の誤差と等値比較

浮動小数点数は2進数で表現されるため、0.1 + 0.2 のような計算は誤差を含み 0.3 と一致しません。等しさの判定には、差の絶対値が許容誤差（イプシロン）未満かどうかを見る方法が使われます。許容誤差は値の大きさに応じて調整する必要があり、f64::EPSILON（1.0 に対する最小刻み幅）をそのまま流用できるとは限りません。

fn main() {
    let sum = 0.1_f64 + 0.2_f64;
    let expected = 0.3_f64;
    println!("{}", sum == expected); // false（丸め誤差のため）
    let epsilon = 1e-10;
    println!("{}", (sum - expected).abs() < epsilon); // true
}

Playgroundで開く

NaNは自分自身と等しくない

IEEE 754の規定により NaN（非数）はどの値とも等しくならず、NaN == NaN も false になります。この性質のため f32 / f64 は反射律（a == a）を要求する Eq トレイトを実装せず、PartialEq のみを実装しています。NaN判定には is_nan() メソッドを使います。

fn main() {
    let nan = f64::NAN;
    println!("{}", nan == nan); // false
    println!("{}", nan.is_nan()); // true
}

Playgroundで開く

f16とf128について

Rustの1.94バージョン時点ではf16とf128という型がexperimental（不安定）としてnightly限定で導入されています。
安定版では使えませんので注意してください。

浮動小数点型.

補足

この辞書が使われているページ