Question

我有一个特性，为了实现这个特性，我想要求实现者实现AddAssign;然而，这样做会导致我的特征似乎需要Sized：

trait Foo: ::std::ops::AddAssign {}

trait Bar: Iterator {}

^(playground)

Bar编译好; Foo但是：

error[E0277]: the trait bound `Self: std::marker::Sized` is not satisfied
 --> src/main.rs:1:1
  |
1 | trait Foo: ::std::ops::AddAssign {}
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Self` does not have a constant size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `Self`
  = help: consider adding a `where Self: std::marker::Sized` bound
  = note: required by `std::ops::AddAssign`

如果我将+ Sized添加到特征边界，一切都很好，但是......为什么我需要这样做？为什么AddAssign不需要这个？

Answer 1

让我们看一下特质的定义：

pub trait AddAssign<Rhs = Self> {
    fn add_assign(&mut self, rhs: Rhs);
}

也就是说，trait Foo: ::std::ops::AddAssign相当于trait Foo: ::std::ops::AddAssign<Foo>而add_assign需要Rhs作为其第二个参数，因此Rhs需要调整大小。

请注意，trait Foo: ::std::ops::AddAssign<u32>不需要Foo的大小。

为什么要求AddAssign作为超级特征的特征也要求它是大小的？

1 个答案: