二进制 std::ops 的 From 和 Into：无法推断类型参数“T”的类型？

Question

当我这样做时

seq += u64::from(rhs);

一切正常。但我更喜欢rhs.into() 的语法，因为我目前正在使用，

error[E0283]: type annotations needed
  --> src/sequence.rs:50:5
   |
19 | seq += rhs.into();
   |     ^^ ---------- this method call resolves to `T`
   |     |
   |     cannot infer type for type parameter `T`
   |
   = note: cannot satisfy `_: Into<u64>`
   = note: required because of the requirements on the impl of `AddAssign<_>` for `Sequence`

这种.into() 语法通常有效。为什么类型推断不适用于二元运算符+=，如果 LHS 仅实现 AddAssign<u64>，RHS 将强制执行？此外，除了使用from 向.into 提供编译器需要的这种类型信息的语法（如果可能的话）是什么？我已经尝试过.into::<u64>(rhs) 之类的东西，而且不工作。

---

我正在像这样实现AddAssign，

impl<T: Into<u64>> AddAssign<T> for Sequence {
  fn add_assign(&mut self, rhs: T) {...}
}

和From 这样，

impl From<Sequence> for u64 {
  fn from(seq: Sequence)-> u64 { ... }
}

Answer 1

你有一个双重Into 间接，可能是错误的。由于您的类型已经实现了AddAssign<T> where T: Into<u64>，因此无需将.into() 添加到您的右手成员。应该预期add_assign（您的示例中未提供）的实现将在下面调用into。

seq += rhs;

事实上，添加它只会带来歧义，因为编译器被告知要在类型 X 上调用 Into<X>::into(rhs)，而该类型从未在任何地方提及或限制。唯一的约束是Into<u64>，但有多种类型可以满足它。

一个完整的例子：

use std::ops::AddAssign;

struct Sequence;

impl<T: Into<u64>> AddAssign<T> for Sequence {
    fn add_assign(&mut self, rhs: T) {
        let value: u64 = rhs.into();
        // use value
    }
}

fn main() {
    let mut x = Sequence;
    x += 6_u32;
}

将这种类型信息提供给编译器需要的 .into 的语法是什么（如果可能）？

同样，这不是必需的。但是使用所谓的fully qualified syntax 是可能的。

另见：

• Why can't Rust infer the resulting type of Iterator::sum?