Làm cách nào để triển khai Clone/Copy cho một enum chứa String?

Question

Tôi có một enum trong Rust có một giá trị mất String. Điều này có thể được chứng minh bằng ví dụ đơn giản này:

#[derive(Clone, Copy)] 
enum Simple { 
    Error(String), 
    Okay, 
    Foo([u32; 5]), 
} 

fn main() { 
    let x = Simple::Error(String::from("blah")); 
    let y = x.clone(); 
} 

Giá trị enum Foo trên đại diện cho khoảng 10 enums khác tôi sử dụng mà phải mất loại copyable hoặc mảng trong số họ. Trình biên dịch dường như không phàn nàn về họ, chỉ có Error(String) mà nguyên nhân này:

error: the trait `Copy` may not be implemented for this type; variant `Error` does not implement `Copy` [E0205] 
#[derive(Clone, Copy)] 
       ^~~~ 

note: in this expansion of #[derive_Copy] (defined in src\main.rs) 
help: run `rustc --explain E0205` to see a detailed explanation 

Đối với một số lý do String không copyable. Tôi không hiểu. Làm thế nào để thực hiện Clone cho một enum cho chỉ là một loại trong đó có một vấn đề trong khi sử dụng impl mặc định cho phần còn lại?

Answer 1

Copy chỉ định các loại để tạo bản sao bitwise tạo một phiên bản hợp lệ mà không làm mất hiệu lực phiên bản gốc. Điều này không đúng với String, bởi vì String chứa con trỏ tới dữ liệu chuỗi trên heap và giả sử nó có quyền sở hữu duy nhất của dữ liệu đó và do đó khi bạn thả một String, nó sẽ phân phối dữ liệu trên heap và nếu bạn đã tạo bản sao bit của String, khi đó cả hai trường hợp sẽ cố gắng phân phối cùng một khối bộ nhớ, là hành vi không xác định. Vì String không triển khai Copy, , enum của bạn không thể triển khai Copy hoặc, bởi vì trình biên dịch thực thi các loại Copy chỉ gồm Copy thành viên dữ liệu.

Clone chỉ cung cấp phương thức chuẩn clone và tùy thuộc vào từng người triển khai để quyết định cách triển khai. String thực hiện Clone, vì vậy, bạn có thể đặt #[derive(Clone)] trên enum của mình.