Scala 3中基于隐式的扩展方法编译失败问题分析

问题场景 #

下面这段代码在Scala 2.13.12能正常编译，但到了Scala 3.3.1就编译失败：

import scala.language.implicitConversions

object Types {
  trait Vector3f
  implicit class Vector3fOps(v: Vector3f) {
    def *(rhs: Double): Vector3f = ???
  }
}

import Types._

object Compute {
  case class Matrix3f(col1: Vector3f, col2: Vector3f, col3: Vector3f) {
    def * (x: Double): Vector3f = col1 * x
  }

  implicit class Vec3Ops(v: Vector3f) {
    def * (m: Matrix3f): Vector3f = ???
  }
}

编译报错 #

Found: (x : Double)
Required: Compute.Matrix3f [14:42]

临时修复方案 #

• 将Types与Compute合并为同一个对象
• 把import Types._移入Compute对象内部
• 移除Vec3Ops隐式类

原因分析 #

这不是Scala 3的编译器bug，而是隐式解析规则优化后的预期行为，核心差异在于Scala 3对隐式的优先级排序做了更严格的定义：

• 在Scala 2中，编译器会把所有可见的隐式转换放在同一优先级层面匹配，不管它是当前作用域定义的还是外部导入的。所以之前的代码里，编译器能同时找到Vector3fOps的*(Double)和Vec3Ops的*(Matrix3f)，并选择匹配参数类型的那个。
• 而Scala 3调整了隐式解析的优先级：当前作用域内直接定义的隐式，优先级高于外部导入的隐式。在原代码里，Compute内部的Vec3Ops作用域更近，编译器会优先尝试用它的*方法，而这个方法只接受Matrix3f类型的参数，自然就和传入的Double不匹配，导致报错。

这种调整是为了减少隐式歧义，让隐式解析的逻辑更可预测，但也要求开发者更注意隐式的作用域管理。

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