2. 基本型と型推論

Rust は静的型付け言語で、整数の i32 や u64、浮動小数点数の f64、真偽値の bool、文字の char などの基本型があります。型は let x: i32 = 5; のようにコロンの後ろに書きますが、多くの場合は右辺から推論されるので省略できます。

型推論のおかげで普段は型を書かずに済みますが、整数リテラルは既定で i32、小数は f64 になります。実務では関数の境界や曖昧になりやすい箇所だけ明示的に型を書くのが一般的です。

Rust は暗黙の型変換をしないため、i32 と u64 をそのまま足すことはできません。as などで明示的に変換する必要がある、と覚えておくとエラーに戸惑いません。

▶ サンプルコードを実行してみよう(自由に書き換えてOK)

Rust

fn main() {
    let a = 42; // 推論で i32
    let b: u64 = 1000; // 明示的に u64
    let pi = 3.14; // 推論で f64
    let flag: bool = true;
    let letter: char = 'R';
    println!("a = {}, b = {}", a, b);
    println!("pi = {}", pi);
    println!("flag = {}, letter = {}", flag, letter);
    println!("a + b = {}", a as u64 + b); // 型を揃えて計算
}

公式ドキュメントで詳しく ↗