Question

我写了一个程序，它具有特征Animal和结构Dog来实现特征。它还有一个结构AnimalHouse，将动物存储为特征对象Box<Animal>。

trait Animal {
    fn speak(&self);
}

struct Dog {
    name: String,
}

impl Dog {
    fn new(name: &str) -> Dog {
        return Dog {
            name: name.to_string(),
        };
    }
}

impl Animal for Dog {
    fn speak(&self) {
        println!{"{}: ruff, ruff!", self.name};
    }
}

struct AnimalHouse {
    animal: Box<Animal>,
}

fn main() {
    let house = AnimalHouse {
        animal: Box::new(Dog::new("Bobby")),
    };
    house.animal.speak();
}

它返回＆＃34; Bobby：ruff，ruff！＆＃34;正如所料，但如果我尝试克隆house，编译器将返回错误：

fn main() {
    let house = AnimalHouse {
        animal: Box::new(Dog::new("Bobby")),
    };
    let house2 = house.clone();
    house2.animal.speak();
}

error[E0599]: no method named `clone` found for type `AnimalHouse` in the current scope
  --> src/main.rs:31:24
   |
23 | struct AnimalHouse {
   | ------------------ method `clone` not found for this
...
31 |     let house2 = house.clone();
   |                        ^^^^^
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `clone`, perhaps you need to implement it:
           candidate #1: `std::clone::Clone`

我尝试在#[derive(Clone)]之前添加struct AnimalHouse并收到另一个错误：

error[E0277]: the trait bound `Animal: std::clone::Clone` is not satisfied
  --> src/main.rs:25:5
   |
25 |     animal: Box<Animal>,
   |     ^^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `Animal`
   |
   = note: required because of the requirements on the impl of `std::clone::Clone` for `std::boxed::Box<Animal>`
   = note: required by `std::clone::Clone::clone`

如何使结构AnimalHouse可克隆？一般来说，主动使用特征对象是不是习惯性的？

Answer 1

有一些问题。首先，没有任何要求Animal也实现Clone。您可以通过更改特征定义来解决此问题：

trait Animal: Clone {
    /* ... */
}

这会导致Animal不再是对象安全的，这意味着Box<Animal>将无效，因此不是很好。

可以做的是插入一个额外的步骤。要白衣（添加@ChrisMorgan's comment）。

trait Animal: AnimalClone {
    fn speak(&self);
}

// Splitting AnimalClone into its own trait allows us to provide a blanket
// implementation for all compatible types, without having to implement the
// rest of Animal.  In this case, we implement it for all types that have
// 'static lifetime (*i.e.* they don't contain non-'static pointers), and
// implement both Animal and Clone.  Don't ask me how the compiler resolves
// implementing AnimalClone for Animal when Animal requires AnimalClone; I
// have *no* idea why this works.
trait AnimalClone {
    fn clone_box(&self) -> Box<Animal>;
}

impl<T> AnimalClone for T
where
    T: 'static + Animal + Clone,
{
    fn clone_box(&self) -> Box<Animal> {
        Box::new(self.clone())
    }
}

// We can now implement Clone manually by forwarding to clone_box.
impl Clone for Box<Animal> {
    fn clone(&self) -> Box<Animal> {
        self.clone_box()
    }
}

#[derive(Clone)]
struct Dog {
    name: String,
}

impl Dog {
    fn new(name: &str) -> Dog {
        Dog {
            name: name.to_string(),
        }
    }
}

impl Animal for Dog {
    fn speak(&self) {
        println!("{}: ruff, ruff!", self.name);
    }
}

#[derive(Clone)]
struct AnimalHouse {
    animal: Box<Animal>,
}

fn main() {
    let house = AnimalHouse {
        animal: Box::new(Dog::new("Bobby")),
    };
    let house2 = house.clone();
    house2.animal.speak();
}

通过引入clone_box，我们可以解决尝试克隆特征对象的问题。

Answer 2

我的objekt crate实现了DK.'s answer的可重用版本。有了它，您可以使您的原始代码在最少的更改下工作。

导入包装箱的一行。
将objekt::Clone添加为Animal的超级行的一行，要求每个动物实施都可以克隆。
为Clone生成标准库Box<Animal>的实现的一行。

#[macro_use] extern crate objekt;

trait Animal: objekt::Clone {
    fn speak(&self);
}

clone_trait_object!(Animal);

#[derive(Clone)]
struct Dog {
    name: String,
}

impl Dog {
    fn new(name: &str) -> Dog {
        Dog { name: name.to_owned() }
    }
}

impl Animal for Dog {
    fn speak(&self) {
        println!{"{}: ruff, ruff!", self.name};
    }
}

#[derive(Clone)]
struct AnimalHouse {
    animal: Box<Animal>,
}

fn main() {
    let house = AnimalHouse {
        animal: Box::new(Dog::new("Bobby")),
    };
    let house2 = house.clone();
    house2.animal.speak();
}

Answer 3

previous answer正确回答了有关存储盒装特征对象的问题。

关于标题的主题，但不是关于使用特征对象的惯用方法，替代解决方案可以使用Rc智能指针而不是Box：这可以避免解决方法绕过物体安全：

#[derive(Clone)]
struct AnimalHouse {
    animal: Rc<Animal>,
}

fn main() {
    let house = AnimalHouse { animal: Rc::new(Dog::new("Bobby")) };
    let house2 = house.clone();
    house2.animal.speak();
}

注意：Rc<T>仅用于单线程场景;还有Arc<T>。

Answer 4

我尝试使用来自 Dk 和 dtolnay 的解决方案，在这种情况下，我需要一个结构体，该结构体在生成的任务（通过 tokio）中包含一个带框的成员。在那里我收到结构未发送和同步的错误。为了避免这种情况，可以在 Dk 克隆特征中添加发送和同步。也许这也可以添加到 dyn_clone。

如何克隆存储盒装特征对象的结构？

4 个答案: