为什么Rust默认类型参数需要使用完全限定语法？

问题重现 #

合法代码（Rust 1.79.0） #

trait T {
    type A;
}

struct S<
    C: T,
    F: Fn(C::A) = fn(<C as T>::A)
>(C, F);

修改后触发错误的代码 #

将默认参数中的<C as T>替换为C：

trait T {
    type A;
}

struct S<
    C: T,
    F: Fn(C::A) = fn(C::A)
>(C, F);

触发的编译错误：

error[E0220]: associated type `A` not found for `C`

问题核心 #

既然编译器在 trait 约束Fn(C::A)中能自动推断关联类型，为什么默认参数里必须写<C as T>::A这种冗余写法？这是暂未实现的推断逻辑，还是有更深层的技术原因？

解答 #

这其实是Rust类型推断的上下文作用域差异导致的，并非单纯未实现的功能：

• 在 trait 约束F: Fn(C::A)的上下文里，C已经被明确限定为T的实现者，编译器处于约束检查流程中，可以直接从C的约束里匹配到T::A，自动补全关联类型的归属。
• 但在泛型默认参数fn(C::A)的位置，它属于独立的类型表达式上下文。当前Rust的类型推断规则中，默认参数的类型解析不会自动继承泛型参数的约束上下文——编译器不会主动去查找C已有的trait约束来补全C::A的归属，必须通过<C as T>::A显式指定关联类型来自哪个trait。

这种设计并非疏漏，而是为了避免歧义：如果某个类型C同时实现了多个带有同名关联类型的trait，显式标注归属能明确指定使用哪个trait的关联类型，防止编译器做出错误推断。虽然当前案例没有歧义，但Rust的类型系统在泛型默认参数这类场景中倾向于要求显式标注，以保证规则的一致性和代码的可读性。

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