作用域和掩蔽

变量绑定有一个作用域(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. }