Scala 3上下文抽象与重载方法冲突引发编译异常问题咨询

1. 报错触发原因 #

Scala 3 的重载解析流程中，上下文函数的自动类型转换不会在重载匹配的前置阶段执行：

• 无重载时，编译器明确知道foo的入参类型为Double ?=> Unit，传入的代码块{ println("ok") }会被自动转换为符合要求的上下文函数实例，因此可以正常编译。
• 新增String参数的重载后，编译器需要先从两个重载方法中匹配入参类型，此时未加类型标注的代码块会被优先求值为Unit类型，既不匹配String也不匹配Double ?=> Unit，因此抛出匹配失败的报错。

2. 该行为是否为预期设计 #

是符合Scala 3规范的预期设计。
为了避免重载解析阶段出现不可预期的歧义匹配，上下文函数自动转换、自动eta扩展等类型适配操作，只会在确定唯一匹配的重载方法之后才会执行，不会参与重载方法的筛选过程。

3. 可行的解决方案 #

以下方案均可让代码在保留两个重载定义的前提下正常编译：

• 方案1：给传入的代码块显式添加上下文参数声明，明确类型为上下文函数

foo {
  (using Double) => println("ok")
}

• 方案2：给入参添加显式类型标注，告知编译器该代码块的目标类型

foo({
  println("ok")
}: Double ?=> Unit)

• 方案3：调整重载方法的参数列表特征，比如给其中一个重载添加额外的标记参数、或者调整参数数量，避免编译器在重载筛选阶段出现匹配混淆。

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