　再代入だけでなく再宣言もできる。ややこしいのでまとめる。

変数

1. 再代入

let x = 0;
x = 1; // error[E0384]: cannot assign twice to immutable variable `x`

　mut(ミュータブル)で宣言しないと再代入できずコンパイルエラーになる。

let mut x = 0;
x = 1; // OK!

let mut x = 0;
x = "a"; // error[E0308]: mismatched types

　再代入するときは同一の型でなければならない。もし宣言時と異なる型を再代入したら以下エラーとなる。

let mut x = 0;
x = "a"; // error[E0308]: mismatched types

　Rustの変数は同型しか再代入を受け付けない。

　シャドーイングとは、同名の変数が宣言されたとき、前の変数を隠す（参照できなくする）機能である。

let x = 0;
let x = 1;

　2行目はletにより同名の変数を再宣言している。2つとも別々の変数として扱われる。ただし前者を参照できるのは後者が宣言される直前の行まで。

let x = 0;
println("first x = {}", x);
let x = 1;
println("second x = {}", x);

　シャドーイングする必要性がない。再代入したほうが良さそう。

　でも、このコードも書けてしまう。バット・イディオム？　気づかずに同名の変数を再宣言してしまったとき、バグに気づきにくいか。コンパイルエラーにならないから。ユニットテストのときにシャドーイングにより上書きされてしまっていることに気付けるかどうか。

　Rustでは異なる型を再代入すると型エラーになる。その要件を満たすには再宣言してシャドーイングさせる。

let x = 0;
let x = "a";

　シャドーイングを用いれば、同じ意味を持つが異なる型のとき、同名の変数をつくれる。これは便利。C#などの言語では別名が必要。

let mut x = 0;
let x = "a";

　mutの有無はシャドーイングに影響しない。前者は再代入できるし、後者はできない。それぞれ個別の変数であるため、前者がmutでなければシャドーイングできないなどということはない。

$ uname -a
Linux raspberrypi 4.14.98-v7+ #1200 SMP Tue Feb 12 20:27:48 GMT 2019 armv7l GNU/Linux