Rust中使用Into配合+=运算符无法推断类型参数T的原因及解决方法

你的Sequence实现的是泛型版本的AddAssign<T>，约束为T: Into<u64>，这意味着Sequence可以和任意满足Into<u64>约束的类型执行+=运算，而非只能接收u64类型的右值。
Rust的类型推断没有反向推导的能力：当你写seq += rhs.into()时，编译器需要先确定rhs.into()的返回类型，再匹配对应的AddAssign实现；但into()本身是泛型方法fn into<T>(self) -> T where Self: Into<T>，此时没有任何上下文约束指定into()的目标类型——编译器无法确定你是要把rhs转成u64直接匹配AddAssign<u64>，还是转成其他满足Into<u64>的类型X再匹配AddAssign<X>，存在无限多的合法可能性，因此抛出类型标注缺失的错误。

u64::from(rhs)明确指定了转换的目标类型为u64，返回值类型固定为u64，编译器可以直接匹配到AddAssign<u64>的实现，无需额外推导。

你尝试的.into::<u64>(rhs)语法是错误的，into是实例方法，泛型参数为返回值类型，正确的指定方式有以下几种：

• 使用完全限定语法调用trait方法：

  seq += Into::<u64>::into(rhs);
  

• 用类型转换明确标注目标类型：

  seq += rhs.into() as u64;
  

• 先赋值给带类型标注的变量再传入：

  let rhs_u64: u64 = rhs.into();
  seq += rhs_u64;
  

另外如果你的业务场景中Sequence只需要支持和u64类型做+=运算，也可以直接修改AddAssign的实现为非泛型版本：

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

修改后编译器可以从+=的右值类型约束反推rhs.into()的目标类型为u64，原来的seq += rhs.into()写法可以直接正常运行。

内容的提问来源于stack exchange，提问作者Evan Carroll