rust物资刷新机制_Rust 智能指针（一）

Rust 智能指针(一)

1.Box

Box是指向堆中的指针。

fn main() {

let box = Box::new(3);

println!("{}", box);

}

在出了指针的作用域之后，指针和它指向的对象都将被释放。

在本例中，box将在main函数之后被释放。

由于Box的大小是确定的(size类型的大小)，所以可以使用Box编写嵌套类型，比如实现链表。

2.Deref trait

实现Deref这个trait可以重载解引用运算符(*)，这样可以把Deref trait当作普通引用。

use std::ops::Deref;

fn main() {

let b=MyBox::new(12);

assert_eq!(*b,12);

}

struct MyBox(T);

impl MyBox {

fn new(value: T) -> Self {

MyBox(value)

}

}

impl Deref for MyBox {

type Target = T;

fn deref(&self) -> &Self::Target {

&self.0

}

}

当调用*b时，本质上是*(b.deref())，这样&引用和Deref引用的形式就统一了。

函数和方法的隐式解引用强制多态

假设我们有一个函数，它需要一个&str类型的参数。

fn print_name(name: &str){

println!("name:{}",name);

}

改变main中的代码

let string = MyBox::new(String::from("My Box"));

print_name(&(*string))

*string获得 String 类型，调用String类型的&来获取&str类型(可以查看标准库，实现了AsRef trait)。

如果没有隐式解引用强制多态，我们需要这么写代码。很明显，这种写法太啰嗦了，本来rust的符号一大堆，现在这样子根本无法忍受。

我们稍微更改一下

print_name(&string);

其他代码不变，把参数改为&string，明显，这是获取一个&MyBox的对象，然后rust会自动调用deref()转为&String，&String调用deref()转为&str(String也实现了Deref trait)，这样子就与函数签名匹配了，编译通过。

也就是，rust会隐式解引用来匹配所声明变量(参数)的类型。

let a:&str = &string;

println!("{}", a);

这样的代码也是有效的。

Rust 在发现类型和 trait 实现满足三种情况时会进行解引用强制多态：

当 T: Deref 时从 &T 到 &U。

当 T: DerefMut 时从 &mut T 到 &mut U。

当 T: Deref 时从 &mut T 到 &U。

Deref trait 解引用为 &T ，即不可变引用, 而 DerefMut trait 解引用为 &mut T，是可变引用。

3.Drop trait

Drop是专门用来进行一些资源释放的操作，比如IO操作，当对象离开作用域时，会自动调用 Drop 的 drop 方法来释放资源。

use std::fmt::Display;

fn main() {

let mb=MyBox::new(2);

println!("the end");

}

struct MyBox(T);

impl MyBox {

fn new(value: T) -> Self {

MyBox(value)

}

}

impl Drop for MyBox{

fn drop(&mut self) {

println!("the data is {}",self.0);

}

}

泛型约束T:Display是为了让它能够被打印。这段代码最终输出

the end

the data is 2

提前释放资源

有时候，我们需要提前释放资源。比如写入文件完成后，需要立马 close 。但是，Drop::drop 是不允许手动调用的，这时，我们需要 std::mem::drop 函数来释放。

修改main函数

fn main() {

let mb=MyBox::new(2);

drop(mb);

println!("the end");

}

输出结果

the data is 2

the end

这表明，Drop::drop被提前调用了，并且只调用了一次。

注意 std::mem::drop 的参数是 move 语义，也就是说，在调用 std::mem::drop 之后，mb 已经被移动，不能够再用了。

那么这个函数是怎么实现的呢？我们跳转到 drop 的实现

#[inline]

#[stable(feature = "rust1", since = "1.0.0")]

pub fn drop(_x: T) { }

对，它的函数体是空的！！！

其实不难理解，因为 mb 被移动到 drop 中了，在 drop 函数结束后，mb.drop() 就会被调用 ，这样就实现了资源的提前释放。