Question

我有一个结构，它包含一个像这样的特征对象成员：

trait Contract {}

#[derive(Debug)]
struct Foo {
    x: Box<Contract>,
}

我希望该结构派生Debug，但编译器不喜欢它：

error[E0277]: `Contract + 'static` doesn't implement `std::fmt::Debug`
 --> src/main.rs:5:5
  |
5 |     x: Box<Contract>,
  |     ^^^^^^^^^^^^^^^^ `Contract + 'static` cannot be formatted using `:?`; add `#[derive(Debug)]` or manually implement `std::fmt::Debug`
  |
  = help: the trait `std::fmt::Debug` is not implemented for `Contract + 'static`
  = note: required because of the requirements on the impl of `std::fmt::Debug` for `std::boxed::Box<Contract + 'static>`
  = note: required because of the requirements on the impl of `std::fmt::Debug` for `&std::boxed::Box<Contract + 'static>`
  = note: required for the cast to the object type `std::fmt::Debug`

我不确定如何解决这个问题。我理解为什么编译器不能为特征实现Debug，因为它无法分辨哪些类型会实现它，但同样的原因是我不能手动为特征实现它（甚至不确定是否是甚至可能）。

获得我想要的行为的好方法是什么？

Answer 1

特征不能使用#[derive()]属性;你需要手动实现它：

trait Contract {}

impl std::fmt::Debug for Contract {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        write!(f, "{}", "derp")
    }
}

由于特质对象丢失了有关类型（type erasure）的信息，您可以使用Contract实现的功能，但您无法访问基础类型或其特定实现{ {1}}。

但是，如果您使Debug依赖于Contract特征，请确保其所有实施者也必须实施Debug：

Debug

您trait Contract: std::fmt::Debug {} #[derive(Debug)] foo无需手动为Debug实施Contract。

我如何得出另一个特征的特征？

1 个答案: