Rust中的Copy和Clone

Pomelo_劉金發表於2023-04-22

1.Copy和Clone

Rust中的CopyClonetrait都允許建立型別例項的副本。它們都提供了一種複製型別例項的方法,但它們之間存在一些重要的區別。瞭解這些區別有助更好地使用這兩個特徵。

2. Copytrait

Copytrait允許按位複製型別的例項。這意味著當您將一個變數賦值給另一個變數時,如果該型別實現了Copytrait,則會建立一個新的副本。這與移動語義不同,其中原始變數不再可用。

要使用derive屬性為型別自動生成Copytrait的實現,只需在型別定義之前新增#[derive(Copy)]即可。例如:

#[derive(Copy)]
struct Point {
    x: i32,
    y: i32,
}
複製程式碼

請注意,並非所有型別都可以實現Copytrait。例如,具有堆分配欄位(如StringVec<T>)的型別不能實現Copy

3. Clonetrait

與之相反,Clonetrait提供了一個clone方法,用於建立型別例項的深層副本。這意味著即使型別具有堆分配欄位(如StringVec<T>),也可以實現Clonetrait。

要為型別自動生成Clonetrait的實現,只需在型別定義之前新增#[derive(Clone)]即可。例如:

#[derive(Clone)]
struct Point {
    x: i32,
    y: i32,
}
複製程式碼

但是,並非所有型別都可以使用derive屬性自動生成Clonetrait的實現。如果型別的某些欄位沒有實現

4. CopyClonetrait之間的區別

儘管CopyClonetrait都允許您建立型別例項的副本,但它們之間存在一些重要的區別。

首先,當您使用賦值語句複製一個實現了Copytrait的型別時,複製操作是隱式執行的。而當您使用clone方法複製一個實現了Clonetrait的型別時,複製操作是顯式執行的。 例如:

#[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分別適用於不同的場景。對於那些具有簡單按位複製語義的型別(如標量型別和由它們組成的陣列和元組),使用Copytrait更為方便。而對於那些需要執行深層複製操作的型別(如具有堆分配欄位的型別),則應使用Clonetrait。from劉金,轉載請註明原文連結。感謝!

 

相關文章