郑州网站维护,一般通过血液传染的病有哪些,十大著名企业文化,有哪些做文创产品的网站装箱是最简单直接的一种智能指针#xff0c;它的类型是BoxT。装箱使我们可以把数据存储到堆上#xff0c;并在栈上保留一个指向堆数据的指针。装箱操作常常被用于下面的场景#xff1a;
当你拥有一个无法在编译时确定大小的类型#xff0c;但又想使用这个类型的值…装箱是最简单直接的一种智能指针它的类型是BoxT。装箱使我们可以把数据存储到堆上并在栈上保留一个指向堆数据的指针。装箱操作常常被用于下面的场景
当你拥有一个无法在编译时确定大小的类型但又想使用这个类型的值时。当你需要传递大量数据的所有权但又不希望产生大量数据的复制行为时。当你希望拥有一个实现了指定trait的类型值但又不关心具体的类型时。
fn main() {let b Box::new(5);println!(b {}, *b 3);println!(b {}, b);
}常规引用就是一种类型的指针你可以将指针形象地理解为一个箭头它会指向存储在别处的某个值。
装箱类似于常规指针也可以通过解引用来获取装箱实际的值代码中*b就是如此。这个定义和Go中的unsafe.Pointer非常类似所有具体类型的指针都可以用一种类型的指针来表示。
定义递归类型
RUST必须在编译时知道每一种类型占据的空间大小但有一种递归的类型却无法在编译时被确定具体大小。比如下面例子中的链表
use crate::List::{Cons, Nil};
enum List {Cons(i32, List),Nil,
}fn main() {let list Cons(1, Cons(2, Cons(3, Nil)));
}我们尝试使用枚举来表达一个持有i32值的链表数据类型通过不断嵌套元组的形式最终组成一个列表。
但程序无法编译通过RUST认为这个类型拥有无限大小无法确认类型所占用的存储空间大小。
enum Message {Quit,Move { x: i32, y: i32 },Write(String),ChangeColor(i32, i32, i32),
}RUST如何计算Message类型的大小为了计算Message值需要多大的存储空间RUST会遍历枚举中的每一个成员来找到需要最大空间的那个变体。Message::Quit不需要占用任何空间Message::Move需要两个存储i32值的空间以此类推。
因为指针大小是恒定的要改变这样无穷递归的情况就应该将Cons变体中存放一个BoxT而不是直接存放另外一个List值而BoxT则会指向下一个List并存储在堆上。
use crate::List::{Cons, Nil};
enum List {Cons(i32, BoxList),Nil,
}fn main() {let list Cons(1, Box::new(Cons(2, Box::new(Cons(3, Box::new(Nil))))));
}新的Cons变体中需要一部分存储i32的空间和一部分存储装箱指针的空间这样调整之后List值都只需要占用一个i32值加上一个装箱指针的空间。通过使用装箱我们打破了无限递归的过程进而使编译器可以计算出List值所占用的空间。
BoxT属于智能指针的一种因为它实现了Defer trait所以允许我们将BoxT的值当做引用来对待。当一个BoxT值离开作用域时因为它实现了Drop trait所以BoxT指向的堆数据会自动地被清理释放。
实现 Defer trait将类型视作引用
