rust-quiz:003-mutate-const.rs

struct S {
    x: i32,
}

const S: S = S { x: 2 };

fn main() {
    let v = &mut S;
    v.x += 1;
    S.x += 1;
    print!("{}{}", v.x, S.x);
}

const

對於const，我們所知的是
- 宣告必須帶型別標記
- 常量，不能被修改

但還值的注意的一點是，常量更主要的行為特徵，就是把預先定義的數值回填到指定的位置。

變數覆蓋

對於同名的變數，它總是去的和它最近的優先與當次宣告的值。

名稱空間

對於一個值的歸屬，是有明確的解析的。

• 針對型別的值的讀取，歸於型別持有。
• 針對變數的值的讀取，歸於變數持有。

因此，對於一個變數的讀取，它總是有明確且唯一的解析空間。

本題中的struct S其實已經被const S所覆蓋，針對const的替換特性，本題可轉換為

struct S {
    x: i32,
}

fn main() {
    let v = &mut S { x: 2 };
    v.x += 1;
    S { x: 2 }.x += 1;
    print!("{}{}", v.x, S { x: 2 }.x);
}

對於v.x，初始化的值為2，後續+1，因此v.x的值是3。
而S.x，作為常量，它的值始終是2。
其中S {x : 2}.x += 1可以看做是宣告瞭一個初始化和v等同的值，但是後續廢棄。
整體類似於

struct S {
    x: i32,
}

fn main() {
    let v = &mut S { x: 2 };
    v.x += 1;
    let vv = &mut S{ x: 2};
    vv.x += 1;
    print!("{}{}", v.x, S { x: 2 }.x);
}

因此，列印結果為32。

本作品採用《CC 協議》，轉載必須註明作者和本文連結