Rust 为实现带const参数trait的类型实现另一trait报E0207原因？

Rust 有明确的泛型参数约束规则：impl 块中声明的所有泛型参数（包括类型参数、生命周期参数、const 泛型参数），必须至少出现在以下两个位置之一：

• 被实现的目标类型的参数列表中
• 要实现的 trait 的参数列表中

你代码里的 const 泛型参数 N 既没有出现在要实现的 Foo trait 的参数列表里，也没有出现在被实现的目标类型 T 的参数列表里，仅出现在 T 的 trait 约束 T: FooConst<N> 中，因此触发 E0207 错误。

这个规则的核心是避免歧义：假设存在一个类型同时实现了 FooConst<1> 和 FooConst<2>，编译器无法确定应该选择哪个 N 来为该类型实现 Foo，因此会在编译期直接拦截这种写法。

方案1：给 Foo trait 添加 const 泛型参数 #

如果业务逻辑允许 Foo 携带泛型，把 N 放到 Foo 的参数列表中即可符合规则：

trait FooConst<const N: usize> {}
trait Foo<const N: usize> {}

impl<T: FooConst<N>, const N: usize> Foo<N> for T {}

方案2：将 FooConst 的 const 泛型改为关联常量 #

如果不需要 Foo 携带泛型，可以把 N 调整为 FooConst 的关联常量，不需要在 impl 块额外声明泛型参数：

trait FooConst {
    const N: usize;
}
trait Foo {}

impl<T: FooConst> Foo for T {}

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