Rust 作用域和遮蔽
变量绑定有一个作用域(scope),它被限定只在一个代码块(block)中生存(live)。 代码块是一个被 {} 包围的语句集合。另外也允许变量遮蔽(variable shadowing)。
fn main() { // 此绑定生存于 main 函数中 let long_lived_binding = 1; // 这是一个代码块,比 main 函数拥有更小的作用域 { // 此绑定只存在于本代码块 let short_lived_binding = 2; println!("inner short: {}", short_lived_binding); // 此绑定*遮蔽*了外面的绑定 let long_lived_binding = 5_f32; println!("inner long: {}", long_lived_binding); } // 代码块结束 // 报错!`short_lived_binding` 在此作用域上不存在 println!("outer short: {}", short_lived_binding); // 改正 ^ 注释掉这行 println!("outer long: {}", long_lived_binding); // 此绑定同样*遮蔽*了前面的绑定 let long_lived_binding = 'a'; println!("outer long: {}", long_lived_binding); }
可以先声明(declare)变量绑定,后面才将它们初始化(initialize)。但是这种做法很少用,因为这样可能导致使用未初始化的变量。fn main() { // 声明一个变量绑定 let a_binding; ...