示例程序:
fn main() {
let s = String::from("yuyoubei"); // 变量s进入作用域
takes_ownership(s); // s的值被移进了函数,所以它从这里开始不再有效
let x = 5; // 变量x进入了作用域
makes_copy(x); // 变量x同样被传递进了函数,
// 但由于i32是Copy的,所以我们依然可以在这之后使用x
// println!("s = {}", s); // 这句话会报错
println!("x = {}", x);
} // x首先离开作用域,随后是s(x先离开的原因:因为是栈内存,先进后出)
// 但由于s的值已经发生了移动,所以没有什么特别的事情会发生
fn takes_ownership(some_string: String) { // some_string进入作用域
println!("{}", some_string);
} // some_string在这里离开作用域,drop函数被自动调用,some_string所占用的内存也就自动被释放了
fn makes_copy(some_integer: i32) { // some_integer进入作用域
println!("{}", some_integer);
} // some_integer在这里离开了作用域,没有什么特别的事情发生(因为具有Copy trait的不会有Drop trait)
尝试在 takes_ownership 后使用变量会导致编译时错误,因为 s 已经发生了 移动 。