Rust中的Copy
和Clone
trait都允許建立型別範例的副本。它們都提供了一種複製型別範例的方法,但它們之間存在一些重要的區別。瞭解這些區別有助更好地使用這兩個特徵。
Copy
traitCopy
trait允許按位元複製型別的範例。這意味著當您將一個變數賦值給另一個變數時,如果該型別實現了Copy
trait,則會建立一個新的副本。這與移動語意不同,其中原始變數不再可用。
要使用derive
屬性為型別自動生成Copy
trait的實現,只需在型別定義之前新增#[derive(Copy)]
即可。例如:
#[derive(Copy)]
struct Point {
x: i32,
y: i32,
}
複製程式碼
請注意,並非所有型別都可以實現Copy
trait。例如,具有堆分配欄位(如String
或Vec<T>
)的型別不能實現Copy
。
Clone
trait與之相反,Clone
trait提供了一個clone
方法,用於建立型別範例的深層副本。這意味著即使型別具有堆分配欄位(如String
或Vec<T>
),也可以實現Clone
trait。
要為型別自動生成Clone
trait的實現,只需在型別定義之前新增#[derive(Clone)]
即可。例如:
#[derive(Clone)]
struct Point {
x: i32,
y: i32,
}
複製程式碼
但是,並非所有型別都可以使用derive
屬性自動生成Clone
trait的實現。如果型別的某些欄位沒有實現
Copy
和Clone
trait之間的區別儘管Copy
和Clone
trait都允許您建立型別範例的副本,但它們之間存在一些重要的區別。
首先,當您使用賦值語句複製一個實現了Copy
trait的型別時,複製操作是隱式執行的。而當您使用clone
方法複製一個實現了Clone
trait的型別時,複製操作是顯式執行的。 例如:
#[derive(Copy)]
struct Point {
x: i32,
y: i32,
}
fn main() {
let p1 = Point { x: 1, y: 2 };
let p2 = p1
assert_eq!(p1.x, p2.x);
assert_eq!(p1.y, p2.y);
}
複製程式碼
#[derive(Clone)]
struct Point {
x: i32,
y: i32,
}
fn main() {
let p1 = Point { x: 1, y: 2 };
let p2 = p1.clone();
assert_eq!(p1.x, p2.x);
assert_eq!(p1.y, p2.y);
}
複製程式碼
此外,這兩個trait分別適用於不同的場景。對於那些具有簡單按位元複製語意的型別(如標量型別和由它們組成的陣列和元組),使用Copy
trait更為方便。而對於那些需要執行深層複製操作的型別(如具有堆分配欄位的型別),則應使用Clone
trait。from劉金,轉載請註明原文連結。感謝!