静态可变变量与被loop的main函数的顶层变量的生命周期区别

Question

static mut E: Option<i32> = None;

fn main (){

let mut a =2;

// 变量 a 与 变量 E 的生命周期有区别吗？
loop{true;}
}

Answer 1

static 变量是 就算 main 函数结束了，该变量仍然有效，直到上层调用销毁进程，而题中代码的变量 a 是 main 函数中声明定义的变量，生命周期（lifecycle）从声明定义开始到最后一次使用结束。实际上如果使用 release 编译，我们会发现这里的 a 会被优化没了。