所有权基础
字符串
一个指向存放字符串内容的指针(ptr)、一个长度(len)及一个容量(capacity)
let s1 = String::from("Hello"); let s2 = s1;
为了确保内存安全,同时也避免复制分配的内存,Rust在这种场景下会简单地将s1废弃,不再视其为一个有效的变量
克隆(深拷贝)
隐含了另外一个设计原则:Rust永远不会自动地创建数据的深度拷贝。因此在Rust中,任何自动的赋值操作都可以被视为高效的。
let s1 = String::from("hello"); let s2 = s1.clone();
Copy
一旦某种类型拥有了Copy这种trait,那么它的变量就可以在赋值给其他变量之后保持可用性
如果一种类型本身或这种类型的任意成员实现了Drop这种trait,那么Rust就不允许其实现Copy这种trait
哪些类型是Copy的呢?你可以查看特定类型的文档来确定,不过一般来说,任何简单标量的组合类型都可以是Copy的,任何需要分配内存或某种资源的类型都不会是Copy的
一些拥有Copy这种trait的类型:
所有的整数类型,诸如u32
仅拥有两种值(true和false)的布尔类型:bool
字符类型:char
所有的浮点类型,诸如f64
如果元组包含的所有字段的类型都是Copy的,那么这个元组也是Copy的。例如,(i32, i32)是Copy的,但(i32, String)则不是
• 如果元组包含的所有字段的类型都是Copy的,那么这个元组也是Copy的。例如,(i32, i32)是Copy的,但(i32, String)则不是。
所有权实例
Last updated