変数と可変性

Rust では、変数とメモリの管理は、安全性と制御という 2 つの基本原則によって導かれます。このため、他の多くのプログラミング言語とは異なり、Rust の変数は デフォルトで不変です。

これは、変数に値が割り当てられると、その値を変更することはできないことを意味します。これを変更しようとすると、コンパイラによってエラーが発生します。

不変変数と mut キーワード

変数を宣言するには、let キーワードを使用します。

let x = 5; // Immutable by default
// x = 6; // ERROR! The compiler will refuse to build this code.

変数の値を変更する必要がある場合は、let の直後に mut キーワードを使用して、変数を明示的に変更可能にする必要があります。

let mut y = 10; // Mutable
println!("Il valore di y e: {}", y);
y = 15; // Valid!
println!("Il valore modificato di y e: {}", y);

mut プレフィックスを使用すると、コンパイラとコードを読む人に、実行中に値が変更されることが明確に伝わります。

シャドーイング

Rust では シャドウイング の概念も許可されています。これは、let キーワードを再度使用して、同じ名前の変数を再宣言することです。新しい変数は前の変数を「影」にします (またはカバーします)。

let x = 5;
let x = x + 1; // Shadowing: x is now 6
let x = x * 2; // Shadowing: x is now 12

mut とは異なり、シャドウイングでは次のことが可能です。

1. 同じ名前を維持したまま、変数のデータ型を変更します。
2. 変換後も変数の不変性を維持します。

let spaces = "   "; // Type: &str (string)
let spaces = spaces.len(); // Type: usize (number)

シャドーイングとスコープの有用性

シャドウイングは同じブロックに限定されません。ネストされたブロック ({}) 内で使用して、値を一時的にオーバーライドできます。内側のブロックが終了すると、元の変数が再び表示されます。

let x = 5;
{
    let x = x * 2; // Shadowing valid only inside the block
    println!("Value in the inner block: {}", x); // Prints 10
}
println!("Value in the outer block: {}", x); // Prints 5

このメカニズムは完全にコンパイル時に実行されるため、非常に安全かつ効率的であり、実行時のパフォーマンスのオーバーヘッドなしで型の安全性が確保されます。

自分で試してみてください