rust 中的 move 语义
在本文中，我们将了解 rust 中的移动语义。
在 rust 中移动语义
在 rust 中，所有类型都是可变的，所有移动操作都相当于原始数据在新位置的位副本。move 通过引用或可变引用将任何捕获的变量转换为按值捕获的变量。
当涉及线程时，通常使用移动。
rust 过程也具有破坏性。例如，离开变量后，该变量在代码中不再可用。
在 rust 中，移动始终通过复制对象本身的数据而不破坏原始对象来实现。它永远不会通过复制对象的托管资源或执行自定义代码来实现。
rust 对不需要移动语义的类型例外。相反，该值包含表示它的所有必要信息，并且没有堆分配或资源由该值管理，例如 i32。
这些类型实现了特殊的 copy 特征，因为复制成本低，并且是传递给函数或管理分配的默认方法：
fn foo(bar: i32){// implementation
}letvar: i32 =9;foo(var);// copy
foo(var);// copy
foo(var);// copy
默认函数调用对 copy 以外的类型（例如 string）使用移动语义。在 rust 中，当一个变量被移动时，它的生命周期会提前结束。
在编译时，move 替换了块末尾的析构函数调用，因此为 string 编写如下代码是错误的：
fn foo(bar: string){// implementation
}letvar: string ="hello".to_string();foo(var);// move
foo(var);// compile-time error
foo(var);// compile-time error
克隆 rust 需要实现，但对于所有移动都是相同的：复制值中的内存并且不调用原始值的析构函数。
而在 rust 中，通过这种精确的实现，所有类型都是可移动的；不可移动类型不存在（尽管不可移动值存在）。字节必须在新位置编码有关该值管理的资源的信息，例如指针，就像它们在先前位置中所做的一样有效。
rust 有一种称为 pinning 的机制，它在类型系统中指示特定值永远不会再次移动，它可用于实现自引用值并在异步中使用。
例子：
fn destroy_box(z: box<i32>){println!("the box that contains {} is destroyed",z);}fn main(){leta=5u32;letb=a;println!("a is {}, and y is {}",a,b);letm=box::new(5i32);println!("a contains: {}",m);letn=m;destroy_box(n);}destroy_box 函数获取上述源代码中堆分配内存的所有权。首先，z 被销毁，内存被释放。
m 是指向堆分配整数的指针。
输出：
a is 5, and y is 5
a contains: 5
the box that contains 5 is destroyed
转载请发邮件至 1244347461@qq.com 进行申请，经作者同意之后，转载请以链接形式注明出处
本文地址：
相关文章
发布时间：2024/02/05 浏览次数：134 分类：编程语言
-
本教程是关于 rust 中 rc::clone(&rc) 和 rc.clone() 之间的区别。
发布时间：2024/02/05 浏览次数：107 分类：编程语言
-
rust 有一个 & 符号特性，可用于在代码中的任何位置使任何变量可变或不可变。
发布时间：2023/03/21 浏览次数：269 分类：编程语言
-
这个简短的教程演示了如何使用 rust 中的 abs() 函数获取绝对值。
发布时间：2023/03/21 浏览次数：205 分类：编程语言
-
本教程演示了在 rust 结构中初始化变量的简短方法。
发布时间：2023/03/21 浏览次数：148 分类：编程语言
-
本教程演示了在 rust 中克隆 arc 时会发生什么。
发布时间：2023/03/21 浏览次数：223 分类：编程语言
-
本教程演示了在不同版本的 rust 中读取和写入文件的方式。
发布时间：2023/03/21 浏览次数：140 分类：编程语言
-
本教程是关于 rust 中 rc::clone(&rc) 和 rc.clone() 之间的区别。
发布时间：2023/03/21 浏览次数：242 分类：编程语言
-
本教程演示了 rust 的逐步交互式调试器。
发布时间：2023/03/21 浏览次数：374 分类：编程语言
-
本教程是关于使用 rust-image 以程序方式生成图像的。
