Rustにおける変数の不変性と可変性

Rustにおける変数の不変性

• Rustでは、変数は不変を推奨しています。
• 変数が不変とは、値が一旦名前と結びつけられたら、その値を変えることができないことを指します。

例

fn main() {
    let x = 5;
    println!("The value of x is: {}", x);
    x = 6;
    println!("The value of x is: {}", x);
}

実行結果

❯ cargo run                
   Compiling variables v0.1.0 (/Users/yoshitaka.koitabashi/Desktop/variables)
error[E0384]: cannot assign twice to immutable variable `x`
 --> src/main.rs:4:5
  |
2 |     let x = 5;
  |         -
  |         |
  |         first assignment to `x`
  |         help: make this binding mutable: `mut x`
3 |     println!("The value of x is: {}", x);
4 |     x = 6;
  |     ^^^^^ cannot assign twice to immutable variable

error: aborting due to previous error

For more information about this error, try `rustc --explain E0384`.
error: could not compile `variables`

To learn more, run the command again with --verbose.

• 実行結果から分かるように、コンパイルエラーで落ちています。
• エラーの原因は、不変変数xに2回代入(変数に別の値を代入)できない為です。

=> Rustでは、値が不変だと宣言したら、変わらないことをコンパイラが担保します。

Rustにおける変数の可変性

• Rustにおいて、変数を不変としてしか扱えない訳ではない。(標準として、不変なだけ)
• 変数名の前にmutを付けることで、可変にできます。

例

fn main() {
    let mut x = 5;
    println!("The value of x is: {}", x);
    x = 6;
    println!("The value of x is: {}", x);
}

実行結果

❯ cargo run
   Compiling variables v0.1.0 (/Users/yoshitaka.koitabashi/Desktop/variables)
    Finished dev [unoptimized + debuginfo] target(s) in 0.94s
     Running `target/debug/variables`
The value of x is: 5
The value of x is: 6

Rustにおける定数

変数の値を変更できないようにする概念として定数があります。
ただ、変数と定数での違いがありそれが下記です。

• mutは使えない。(常に不変である為)
• letの代わりに、constで宣言し、値の型は必ず注釈しないといけない。
• どんなスコープでも定義できる。(グローバルスコープも含めて)
• 定数式にしか設定できない(関数呼び出し結果や、実行時に評価される値にはセットできない)
• プログラムが走る期間、定義されたスコープ内でずっと有効

例

const MAX_POINTS: u32 = 100_000;

参考文献

• THE BOOK 3章