Scala 3中可变参数方法重载歧义问题原因与解决方案

复现代码 #

object example {

  def foo(a: Any) = "Object"

  def foo(a: String, args: String*) = "String"

  def main() = {
    println(foo("ABC")) // 预期输出 "String"
  }

}

不同版本/语言的行为差异 #

• Scala 2：代码可正常运行。单字符串参数调用foo时两个重载版本均合法，编译器判定接收String参数的可变参数版本更具体，自动选择该版本调用。
• Scala 3：相同调用直接抛出歧义重载错误，错误信息如下：

-- [E051] Reference Error: overloads.scala:9:12 --------------------------------------------------------------------
9 |    println(foo("ABC"))
  |            ^^^
  |            Ambiguous overload. The overloaded alternatives of method foo in object example with types
  |             (a: String, args: String*): String
  |             (a: Any): String
  |            both match arguments (("ABC" : String))

• Java：逻辑等价的代码（两个重载方法，其一为参数类型更具体的可变参数版本）可正常解析，无歧义错误。

规则调整说明与设计预期 #

Scala 3对重载解析规则中可变参数的优先级判定做了明确调整，该行为属于预期设计，并非编译器bug：
Scala 2的重载判定逻辑中，当可变参数方法接收到的实参数量等于签名中非可变参数的个数、可以通过传入空可变参数序列完成适配时，该可变参数方法会和固定参数方法一同参与类型特异性比较，参数类型更具体的版本直接获得优先级。
Scala 3为了修复旧规则下大量可变参数重载导致的隐蔽误匹配问题，新增了明确的判定约束：仅当调用方传入的实参数量覆盖到可变参数段（即可变参数位置至少传入一个实参）时，可变参数重载才会参与特异性优先级比较。如果调用时仅传入了可变参数方法的固定前缀参数、可变参数段为空，该可变参数方法不会因为固定前缀的参数类型更具体就获得优先级，会和其他可适配的固定参数方法处于同等权重，此时如果存在其他可适配的固定参数重载，编译器就会直接判定为歧义，不会自动做选择。
这个调整的核心目的是避免用户无感知地命中可变参数的空适配逻辑，减少重载选择不符合预期的问题。

无法修改上游签名时的解决方案 #

对接Java重载方法、无法修改方法签名时，可以通过以下方式显式指定调用版本：

• 若要调用可变参数版本，显式传入空的可变参数实参，明确告知编译器选择该签名：

  // 对应示例代码
  println(foo("ABC", Nil: _*))
  // 对接Java builder的append方法场景
  javaBuilder.append("target content", Nil: _*)
  

• 若要调用固定参数版本，将实参显式向上转型为固定参数签名对应的类型即可：

  println(foo("ABC": Any))
  

• 若该类调用在代码中出现频率较高，可以编写扩展方法做一层封装，避免每次手动写空可变参数：

  extension (builder: YourJavaBuilderType)
    inline def appendStr(content: String) = builder.append(content, Nil: _*)
  

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