无法在 Scala 3 中执行上下文函数的扩展方法

Question

我在 Scala 3 中定义了上下文函数的扩展方法：

object Scope {
  extension [E, A](a: List[E] ?=> A) def extFoo: A = foo(a)
  
  private def foo[E, A](a: List[E] ?=> A) = {
    given s: List[E] = List.empty
    println(a)
    a
  }
}

但是，当我尝试使用它时，编译器会抱怨。以下

@main

：

@main def main(): Unit = {
  val i: List[String] ?=> Int = 1
  import Scope.extFoo
  i.extFoo
}

产生此错误：

No given instance of type List[String] was found for parameter of (List[String]) ?=> Int
  i.extFoo

如果我使用替代语法

extFoo(i)

调用扩展方法，一切都会正常工作。

这是预期的行为吗？

Answer 1

在

i.extFoo

中，无法编译的是

i

本身。

i

在范围内查找隐式

List[String]

，但没有找到这样的隐式。

这与文档一致

given ec: ExecutionContext = ...

def f(x: Int): ExecutionContext ?=> Int = ...

f(2)(using ec)   // explicit argument
f(2)             // argument is inferred

https://docs.scala-lang.org/scala3/reference/contextual/context-functions.html

....extFoo

是否可以解析取决于范围内是否存在扩展方法，但

.extFoo

无法修复

...

的编译。

https://scala-lang.org/files/archive/spec/3.4/07-implicits.html#views

如果您的意思是

i

不应该应用于范围内的隐式，那么您可以使用隐式 lambda

来指定它

val i: List[String] ?=> Int = 1
import Scope.extFoo
((_: List[String]) ?=> i).extFoo // compiles