为何Rust中指定左侧类型仍报‘multiple applicable items in scope’错误？

首先看示例代码：

struct Test<T>(T);

impl Test<(i32, i32)> {
    fn new(a: i32, b: i32) -> Self {
        Self((a, b))
    }
}

impl Test<(i32, i32, i32)> {
    fn new(a: i32, b: i32, c: i32) -> Self {
        Self((a, b, c))
    }
}

下面这段代码能正常编译运行：

_ = Test::<(_, _)>::new(1, 2);

但为什么这段代码会报错（提示multiple applicable items in scope）？

// multiple applicable items in scope
let _: Test<(_, _)> = Test::new(1, 2);

更进一步，为什么连这段代码也无法直接运行？

_ = Test::new(1, 2);

核心原因：Rust的方法解析顺序规则 #

Rust处理Test::new(1,2)时，遵循先收集所有同名方法，再尝试匹配约束的逻辑，问题就出在这个顺序上：

1. 两个new分属不同的Test<T>特化impl，解析器一开始不知道你要的是哪个Test<T>——它不会先看返回类型或参数数量来缩小范围，而是先把所有叫new的关联函数全列出来。
2. 即使你指定了返回类型Test<(_, _)>，Rust的规则是先确定用哪个impl的方法，再应用返回类型约束。解析器看到Test::new时，发现有两个impl都提供了new，直接判定歧义报错，不会再往后看返回类型来过滤。

而Test::<(_, _)>::new(1,2)能运行，是因为你明确指定了Test的类型参数，解析器直接定位到Test<(i32,i32)>对应的impl，自然能找到唯一匹配的new方法，参数也符合要求。

为什么Rust要做这样的限制？ #

核心是为了避免类型推断的复杂度和歧义：

• 如果允许根据返回类型反向推导impl，会让推断逻辑变得极度复杂，尤其是在多泛型、多层特化的场景下，很容易出现编译器无法确定的模糊情况。
• Rust的设计原则是「明确优于隐晦」，当存在多个可能的方法时，要求开发者明确指定类型参数，避免编译器做可能出错的猜测。

如果想避免每次都写类型参数，最简单的办法是给方法起不同的名字（比如new_pair和new_triple），或者用trait封装逻辑，绕过解析冲突。

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