Rust默认情况下在堆栈上分配所有内容，您可以通过将它们包装在智能指针(如 Box )中来将它们存储在堆上，智能指针实现下表中列出的特征 -
| Sr.No | Trait name | Package & 描述 |
|---|---|---|
| 1 | Deref |
std::ops::Deref 用于不可变的取消引用操作，如* v。 |
| 2 | Drop |
std::ops::Drop 当值超出范围时用于运行一些代码，有时称为析构函数 |
在本章中，我们将学习 Box 智能指针，我们还将学习如何创建自定义的智能指针(如Box)。
Box智能指针使您可以将数据存储在堆而不是堆栈上，堆栈包含指向堆数据的指针， Box除了将其数据存储在堆上之外，没有性能开销。
让我们看看如何使用盒子在堆上存储i32值。
fn main() { let var_i32=5; //stack let b=Box::new(var_i32); //heap println!("b={}", b); }
b=5
为了访问变量所指向的值，请使用解引用。 *用作取消引用运算符，让我们看看如何对Box使用取消引用。
fn main() { let x=5; //值类型变量 let y=Box::new(x); //y 指向堆中的新值 5 println!("{}",5==x); println!("{}",5==*y); //取消引用 y }
变量x是值为5的值类型，因此，表达式 5 == x 将返回true，变量y指向堆，要访问堆中的值，我们需要使用 * y解除引用， * y 返回值5，因此，表达式 5 == * y 返回true。
true true
Deref特性
标准库提供的Deref特性要求我们实现一种名为 deref 的方法，该方法借用 self 并返回对内部数据的引用，下面的示例创建一个结构 MyBox ，它是一种通用类型，它实现了特征 Deref ，此特征有助于我们使用 * y 访问由 y 包裹的堆值。
use std::ops::Deref; struct MyBox<T>(T); impl<T> MyBox<T> { //具有静态方法的通用结构 new fn new(x:T)-> MyBox<T> { MyBox(x) } } impl<T> Deref for MyBox<T> { type Target=T; fn deref(&self) -> &T { &self.0 //返回数据 } } fn main() { let x=5; let y=MyBox::new(x); //调用静态方法 println!("5==x is {}",5==x); println!("5==*y is {}",5==*y); //dereferencing y println!("x==*y is {}",x==*y); //dereferencing y }
5==x is true 5==*y is true x==*y is true
Drop特性
Drop特性包含 drop()方法，当实现此特征的结构超出范围时，将调用此方法，在某些语言中，程序员每次使用智能指针完成操作时，都必须调用代码以释放内存或资源。在Rust中，您可以使用Drop trait实现自动内存释放。
use std::ops::Deref; struct MyBox<T>(T); impl<T> MyBox<T> { fn new(x:T)->MyBox<T>{ MyBox(x) } } impl<T> Deref for MyBox<T> { type Target=T; fn deref(&self) -< &T { &self.0 } } impl<T> Drop for MyBox<T>{ fn drop(&mut self){ println!("dropping MyBox object from memory "); } } fn main() { let x=50; MyBox::new(x); MyBox::new("Hello"); }
在上面的示例中，当我们在堆中创建两个对象 时，drop方法将被调用两次。
dropping MyBox object from memory dropping MyBox object from memory
