rust - 使用 PhantomData 时不满足 trait bound `T: std::default::Default`

Question

这个问题在这里已经有了答案:





Deriving a trait results in unexpected compiler error, but the manual implementation works

(2 个回答)


1年前关闭。




在我当前的项目中，我正在尝试编写可以由这个最小示例表示的内容:

#[derive(Default)]
struct A<T> {
    field: std::marker::PhantomData<T>
}

struct B;

fn main() {
    let a = A::<B> {
        ..Default::default()
    };
}

但是，此代码无法编译。

error[E0277]: the trait bound `B: std::default::Default` is not satisfied
  --> src/main.rs:10:11
   |
10 |         ..Default::default()
   |           ^^^^^^^^^^^^^^^^ the trait `std::default::Default` is not implemented for `B`
   |
   = note: required because of the requirements on the impl of `std::default::Default` for `A<B>`
   = note: required by `std::default::Default::default`

error: aborting due to previous error

这对我来说有点奇怪，如 Default派生自 A和 PhantomData<T> ，那么如果不为 B 实现它又有什么关系呢？ ?

Answer 1

查看来自@mcarton 的链接，因为 manually implementing the default trait does compile .

//#[derive(Default)]
struct A<T> {
    field: std::marker::PhantomData<T>
}

struct B;

impl<T> Default for A<T> {
    fn default() -> Self {
        Self { field: Default::default() }
    }
}

fn main() {
    let a = A::<B> {
         ..Default::default()
    };
}