Rust全局常量变量困惑：重定义为何影响已有变量？

先还原你的代码场景：

const I: i32 = 10;

fn main() {
    let gi = I;
    println!("{}", gi);
    
    const I: i32 = 20;
    println!("{}", gi);
}

你看到的现象核心原因是：Rust的const是编译期常量，所有对const的引用都会在编译阶段被直接替换成对应的值，而非像普通变量那样在运行时读取内存中的数据。

具体来说：

• Rust的作用域规则中，内层定义的const会覆盖外层同名常量，但这个覆盖是编译期的行为。编译器在处理main函数时，会先扫描整个函数的作用域，发现内层存在const I = 20的定义，因此会将函数内所有引用I的地方——不管是在const I=20定义之前还是之后——全部替换成20。
• 所以let gi = I这一行里的I，在编译时就已经被替换成20了，gi从一开始就绑定了20，后续打印自然都是20，和你预期的控制流顺序无关——因为这根本不是运行时的逻辑，而是编译阶段就完成的替换操作。

如果需要实现“运行时读取全局变量，后续重定义不影响之前的赋值”的效果，你应该使用static（不可变全局变量），示例如下：

static I: i32 = 10;

fn main() {
    let gi = I;
    println!("{}", gi); // 输出10
    
    // 注意：static默认不可变，若要修改需使用unsafe或同步原语（如Mutex），这里仅做对比示例
    // static mut I: i32 = 20;
    // unsafe { println!("{}", I); }
}

内容的提问来源于stack exchange，提问作者BadCoder_For_now