Scala 3右结合扩展方法为何与普通方法目标对象相反？

这不是Bug，而是Scala3在扩展方法设计上的有意决策，目的是让扩展方法的定义和调用更符合直觉，和传统类方法的右结合规则做了明确区分。

1. 传统类方法的右结合规则 #

Scala从早期版本开始就规定：以冒号结尾的方法是右结合的。也就是说，对于类中定义的?:方法，S("foo") ?: I(1)会被编译器自动转换为I(1).?:(S("foo"))——因为右结合方法的调用对象是右侧的实例，左侧的是参数。这就是你例子中第一个调用返回"On I"的原因，完全符合Scala的传统规则。

2. Scala3扩展方法的设计变化 #

Scala3的扩展方法重新定义了冒号结尾方法的调用逻辑：扩展方法不遵循类方法的右结合反转规则。当你定义：

extension (s1: S)
  def +:(i1: I): String = "On S"

你本质是在给S类型添加一个接受I类型参数的+: 方法。调用S("foo") +: I(1)时，编译器会直接匹配这个扩展方法，等价于extension_+:(S("foo"), I(1))，而不会像类方法那样反转调用对象。这就是为什么这个调用返回"On S"——完全符合你“给S加方法”的定义直觉。

3. Scala2隐式类的差异 #

Scala2的隐式类本质是语法糖，它仍然遵循类方法的右结合规则。对于S("foo") %: I(1)，编译器先按右结合规则反转成I(1).%:(S("foo"))，再寻找能把I转换成带%:方法的隐式类（也就是I1），所以最终调用I1(I(1)).%:(S("foo"))，返回"On I"。这是因为Scala2没有专门的扩展方法机制，只能复用类方法的调用规则。

4. 如何理解两种行为的合理性与无歧义性 #

要区分两种场景的规则：

• 类中的冒号结尾方法：严格遵循右结合，调用时x : y → y.:(x)，这是Scala的历史规则，保证老代码的兼容性。
• Scala3扩展方法中的冒号结尾方法：调用时x : y直接匹配extension (x的类型) def :(y的类型)的定义，不会反转对象，这是为了让扩展方法的定义和调用逻辑一致——你给哪个类型加方法，就用哪个类型的实例触发调用，更符合直觉。

只要记住这两条明确的规则，两种行为就完全没有歧义，都是语言设计的合理选择：类方法保留传统规则兼容旧代码，扩展方法采用更直观的逻辑提升开发体验。

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