Rust如何为所有实现Into<u64>的类型实现Add trait？

正确实现语法 #

你之前的写法错误在于将 trait 直接作为Add的泛型参数触发了 trait 对象规则，正确写法如下：

use std::ops::Add;

// 此处为示例Sequence定义，可替换为你实际的类型定义
struct Sequence(u64);

impl<T: Into<u64>> Add<T> for Sequence {
    type Output = Self;
    fn add(self, rhs: T) -> Self::Output {
        // 替换为你实际的加法逻辑
        Sequence(self.0 + rhs.into())
    }
}

错误原因说明 #

• 你最初的写法将Into<T>放到Add<>的参数位置时，Rust会默认将其解析为动态 trait 对象dyn Into<T>，而Into trait 本身要求Self: Sized，不满足 trait 对象安全要求，直接触发编译错误。
• 后续你为dyn对象添加Sized约束的操作也无法生效，因为所有动态 trait 对象本身默认就是不满足Sized约束的，而Add trait 的右值泛型参数默认要求实现Sized，永远无法匹配。
• 正确写法将泛型约束T: Into<u64>声明在impl块的泛型参数位置，代表为所有实现了Into<u64>的具体类型T实现加法，无需用到 trait 对象，自然规避了上述所有问题。

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