3. シャドーイング — 同じ名前で再宣言

let で宣言済みの名前をもう一度 let で宣言し直すことを「シャドーイング」と呼びます。再代入と違って mut は不要で、新しい変数が古い変数を覆い隠す形になるため、型を変えることもできます。

実務では「入力文字列をパースして数値に変える」のように、同じ意味のデータを段階的に加工していくときに使います。input_str と input_num のような名前を増やさずに済み、古い値をうっかり使うミスも防げます。

mut による再代入は「同じ変数の値を書き換える」、シャドーイングは「新しい変数を同じ名前で作る」です。似ていますが別物なので、区別して覚えてください。

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

Rust

fn main() {
    let x = 5;
    let x = x + 1; // 前の x を使って新しい x を作る
    let x = x * 2;
    println!("x = {}", x);

    let spaces = "   "; // &str 型
    let spaces = spaces.len(); // usize 型に変わってもよい
    println!("spaces = {}", spaces);
}

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