Rust中move、copy、clone、drop和闭包捕获

本文中的变量，指的是通过如下代码定义的常量a和变量b。实例指的是绑定到a的i32类型在stack内存的数据，和绑定到b变量的String类型在stack内存和heap内存中的数据。

let a = 0_u32;
let mut b = "Hello".to_string();

先说说使用场景

• move、copy的应用场景，主要是在变量赋值、函数调用的传入参数、函数返回值、闭包的变量捕获。

• clone需要显式调用。

• drop是在变量的作用范围结束时，被自动调用。

• 闭包中使用了外部变量，就会有闭包捕获。

move语义

rust中的类型，如果没有实现Copy trait，那么在此类型的变量赋值、函数入参、函数返回值都是move语义。这是与c++的最大区别，从c++11开始，右值引用的出现，才有了move语义。但rust天生就是move语义。

如下的代码中，变量a绑定的String实例，被move给了b变量，此后a变量就是不可访问了（编译器会帮助我们检查）。然后b变量绑定的String实例又被move到了f1函数中，，b变量就不可访问了。f1函数对传入的参数做了一定的运算后，再将运算结果返回，这是函数f1的返回值被move到了c变量。在代码结尾时，只有c变量是有效的。

fn f1(s: String) -> String {    s + " world!"}
let a = String::from("Hello");let b = a;let c = f1(b);

注意，如上的代码中，String类型没有实现Copy trait，所以在变量传递的过程中，都是move语义。

copy语义

rust中的类型，如果实现了Copy trait，那么在此类型的变量赋值、函数入参、函数返回值都是copy语义。这也是c++中默认的变量传递语义。

看看类似的代码，变量a绑定的i32实例，被copy给了b变量，此后a、b变量同时有效，并且是两个不同的实例。然后a变量绑定的i32实例又被copy到了f1函数中，a变量仍然有效。传入f1函数的参数i是一个新的实例，做了一定的运算后，再将运算结果返回。这时函数f1的返回值被copy到了c变量，同时f1函数中的运算结果作为临时变量也被销毁（不会调用drop，如果类型实现了Copy trait，就不能有Drop trait）。传入b变量调用f1的过程是相同的，只是返回值被copy给了d变量。在代码结尾时，a、b、c、d变量都是有效的。

fn f2(i: i32) -> i32 {    i + 10}
let a = 1_i32;let b = a;let c = f1(a);let d = f1(b);

这里再强调下，i32类型实现了Copy trait，所以整个变量传递过程，都是copy语义。

clone语义

move和copy语义都是隐式的，clone需要显式的调用。

参考类似的代码，变量a绑定的String实例，在赋值前先clone了一个新的实例，然后将新实例move给了b变量，此后a、b变量同时有效。然后b变量在传入f1函数前，又clone一个新实例，再将这个新实例move到f1函数中。f1函数对传入的参数做了一定的运算后，再将运算结果返回，这里函数f1的返回值被move到了c变量。在代码结尾时，a、b、c变量都是有效的。

fn f1(s: String) -> String {    s + " world!"}
let a = String::from("Hello");let b = a.clone();let c = f1(b.clone());

在这个过程中，在隐式move前，