作用域和遮蔽

变量绑定有一个作用域（scope），它被限定只在一个代码块（block）中生存（live）。 代码块是一个被 {} 包围的语句集合。另外也允许变量遮蔽（variable shadowing）。

  1. fn main() {
  2.     // 此绑定生存于 main 函数中
  3.     let long_lived_binding = 1;
  5.     // 这是一个代码块，比 main 函数拥有更小的作用域
  6.     {
  7.         // 此绑定只存在于本代码块
  8.         let short_lived_binding = 2;
  10.         println!("inner short: {}", short_lived_binding);
  12.         // 此绑定*遮蔽*了外面的绑定
  13.         let long_lived_binding = 5_f32;
  15.         println!("inner long: {}", long_lived_binding);
  16.     }
  17.     // 代码块结束
  19.     // 报错！`short_lived_binding` 在此作用域上不存在
  20.     println!("outer short: {}", short_lived_binding);
  21.     // 改正 ^ 注释掉这行
  23.     println!("outer long: {}", long_lived_binding);
  25.     // 此绑定同样*遮蔽*了前面的绑定
  26.     let long_lived_binding = 'a';
  28.     println!("outer long: {}", long_lived_binding);
  29. }