作用域规则 - 借用
优质
小牛编辑
133浏览
2023-12-01
多数情况下,我们更希望访问数据本身而不需要取得它的所有权。为实现这点,Rust 使用了借用(borrowing)机制。对象可以通过引用(&T
)来传递,从而取代通过值(T
)来传递。
编译器静态地保证了(通过借用检查器)引用总是(always)指向有效的对象。也就是说,当存在引用指向一个对象时,该对象不能被销毁。
// 此函数拥有 box 的所有权并销毁它
fn eat_box_i32(boxed_i32: Box<i32>) {
println!("Destroying box that contains {}", boxed_i32);
}
// 此函数借用了一个 i32 类型
fn borrow_i32(borrowed_i32: &i32) {
println!("This int is: {}", borrowed_i32);
}
fn main() {
// 创建一个装箱的 i32 类型,以及一个存在栈中的 i32 类型。
let boxed_i32 = Box::new(5_i32);
let stacked_i32 = 6_i32;
// 借用了 box 的内容,但没有取得所有权,所以 box 的内容可以
// 再次借用。
borrow_i32(&boxed_i32);
borrow_i32(&stacked_i32);
{
// 给出一个指向 box 里面所包含数据的引用
let _ref_to_i32: &i32 = &boxed_i32;
// 报错!
// 当 `boxed_i32` 里面的值被借用时,不能销毁 `boxed_int`。
eat_box_i32(boxed_i32);
// 改正 ^ 注释掉此行
// `_ref_to_i32` 离开作用域且不再被借用。
}
// box 现在可以放弃 `eat_i32` 的所有权且可以销毁
eat_i32(boxed_i32);
}