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

Question

我有一個特點，為了實現這個特性，我想要求實現者實現AddAssign ; 然而，這樣做會導致我的特質似乎需要Sized ：

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

trait Bar: Iterator {}

^（操場）

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大小。