0
点赞
收藏
分享

微信扫一扫

rust Deref 强制转换如何与可变性

类似于如何使用 Deref trait 重载不可变引用的 * 运算符,Rust 提供了 DerefMut trait 用于重载可变引

用的 * 运算符。

Rust 在发现类型和 trait 实现满足三种情况时会进行 Deref 强制转换:

• 当 T: Deref<Target=U> 时从 &T 到 &U。

• 当 T: DerefMut<Target=U> 时从 &mut T 到 &mut U。

• 当 T: Deref<Target=U> 时从 &mut T 到 &U。

头两个情况除了可变性之外是相同的:第一种情况表明如果有一个 &T,而 T 实现了返回 U 类型的 Deref,

则可以直接得到 &U。第二种情况表明对于可变引用也有着相同的行为。

第三个情况有些微妙:Rust 也会将可变引用强转为不可变引用。但是反之是 不可能的:不可变引用永远

也不能强转为可变引用。因为根据借用规则,如果有一个可变引用,其必须是这些数据的唯一引用(否

则程序将无法编译)。将一个可变引用转换为不可变引用永远也不会打破借用规则。将不可变引用转换为

可变引用则需要初始的不可变引用是数据唯一的不可变引用,而借用规则无法保证这一点。因此,Rust

无法假设将不可变引用转换为可变引用是可能的。

使用 Drop Trait 运行清理代码

ch15-03-drop.md commit d44317c3122b44fb713aba66cc295dee3453b24b

对于智能指针模式来说第二个重要的 trait 是 Drop,其允许我们在值要离开作用域时执行一些代码。可

以为任何类型提供 Drop trait 的实现,同时所指定的代码被用于释放类似于文件或网络连接的资源。我

们在智能指针上下文中讨论 Drop 是因为其功能几乎总是用于实现智能指针。例如,当 Box<T> 被丢弃

时会释放 box 指向的堆空间。

在其他一些语言中,我们不得不记住在每次使用完智能指针实例后调用清理内存或资源的代码。如果忘

记的话,运行代码的系统可能会因为负荷过重而崩溃。在 Rust 中,可以指定每当值离开作用域时被执行

的代码,编译器会自动插入这些代码。于是我们就不需要在程序中到处编写在实例结束时清理这些变量

的代码 —— 而且还不会泄漏资源。

指定在值离开作用域时应该执行的代码的方式是实现 Drop trait。Drop trait 要求实现一个叫做 drop 的

方法,它获取一个 self 的可变引用。为了能够看出 Rust 何时调用 drop,让我们暂时使用 println! 语句

实现 drop。

示例 15-14 展示了唯一定制功能就是当其实例离开作用域时,打印出 Dropping CustomSmartPointer!

的结构体 CustomSmartPointer。这会演示 Rust 何时运行 drop 函数:

文件名: src∕main.rs

struct CustomSmartPointer {

data: String,

}

impl Drop for CustomSmartPointer {

fn drop(&mut self) {

println!("Dropping CustomSmartPointer with data `{}`!", self.data);

}

}

fn main() {

let c = CustomSmartPointer {

data: String::from("my stuff"),

};

let d = CustomSmartPointer {

data: String::from("other stuff"),

};

println!("CustomSmartPointers created.");

}

示例 15-14:结构体 CustomSmartPointer,其实现了放置清理代码的 Drop trait

Drop trait 包含在 prelude 中,所以无需导入它。我们在 CustomSmartPointer 上实现了 Drop trait,并

提供了一个调用 println! 的 drop 方法实现。drop 函数体是放置任何当类型实例离开作用域时期望运行

的逻辑的地方。这里选择打印一些文本以展示 Rust 何时调用 drop。

在 main 中,我们新建了两个 CustomSmartPointer 实例并打印出了 CustomSmartPointer created.。

在 main 的结尾,CustomSmartPointer 的实例会离开作用域,而 Rust 会调用放置于 drop 方法中的代

码,打印出最后的信息。注意无需显式调用 drop 方法:

当运行这个程序,会出现如下输出:

$ cargo run

Compiling drop-example v0.1.0 (file:///projects/drop-example)

Finished dev [unoptimized + debuginfo] target(s) in 0.60s

Running `target/debug/drop-example`

CustomSmartPointers created.

Dropping CustomSmartPointer with data `other stuff`!

Dropping CustomSmartPointer with data `my stuff`!

当实例离开作用域 Rust 会自动调用 drop,并调用我们指定的代码。变量以被创建时相反的顺序被丢弃,

所以 d 在 c 之前被丢弃。这个例子刚好给了我们一个 drop 方法如何工作的可视化指导,不过通常需要

指定类型所需执行的清理代码而不是打印信息。

举报

相关推荐

0 条评论