loopの中で変数を再定義した場合に、上書きされない。

Question

前提・実現したいこと

for文やwhile文の中で再定義(シャドーイング)した変数が、元に戻ってしまいます。
Rustを触り始めたばかりで考え方がわからず、解決策というよりは、どういったロジックで以下のようになってしまうのか教えていただけますでしょうか。
(例えばpythonで同じコードを書くと”想定していた出力”の用になると思います)

該当のソースコード

fn main(){
    let x = 1;
    for _ in 1..4{
        println!("x in first {}", x);
        let x = 5;
        println!("x in second {}", x);
    }
}

出力

実際の出力

x in first 1
x in second 5
x in first 1
x in second 5
x in first 1
x in second 5

想定していた出力

x in first 1
x in second 5
x in first 5
x in second 5
x in first 5
x in second 5

その他

これまでpythonを少し触ったことがある程度で、違う系統の言語を触ってみたいと思い勉強を始めたところです。
基本的な質問で申し訳ありません。

Answer 1

y_waiwai さんの回答に補足します。
以下のことがポイントになるかと思います。

• シャドーイングというのはその名のとおり元の束縛を覆い隠しているだけ
• シャドーイングの有効範囲が for の { } の中に限定されている

以下のコードも参考になりますかね。

fn main() {
    let x = 1;
    {
        let x = 2;
        println!("{}", x); // 2 が表示される
    }
    println!("{}", x); // 1 が表示される
}

Comments

[ataoka]

ご回答頂きありがとうございます。
Rustでの変数の有効範囲について理解できました。

Answer 2

変数を再定義、した場合、別モンの変数が作られます
名前は一緒だけど、別です

Comments

[ataoka]

ご回答頂きありがとうございます。
scivolaさんの回答と合わせて内容が理解できました。