Question

我希望有一个更高阶的函数，它接受一个接受特定隐式参数的函数的参数。

更确切地说，我正在尝试创建一个函数，该函数采用依赖于隐式上下文的Future创建方法，并返回一个不依赖于上下文的方法。

更具体地说，让我说我有这样的事情：

def foo(a: Int)(implicit ctx: ExecutionContext): Future[Float] = future { somelongBar... }

我想有一个像这样的方法：

def provideCtx[A](func: ExecutionContext => A): A = {
     val ctx = setupCtx
     func(ctx)
}

但如果我调用provideCtx(foo)，编译器会抱怨缺少隐式执行上下文。

我正在处理ExecutionContext并不是很重要。我想要找到的是如何编写参数类型以接受具有特定类型的隐式参数的函数。我理解隐式部分是一个curryed参数，所以实际上我有一个像这样的函数：ExecutionContext => Int => Future[Float]，我很确定在运行时，jvm不知道ExecutionContext是隐式的，但我不能让编译器明白这一点。

Answer 1

问题是foo是一个方法，而不是一个函数，并且在隐式应用之前不会尝试eta-expansion（将方法转换为函数）。有关详细信息，请参阅语言规范的第6.26.2节;有关其他讨论，请参阅this issue。

一种解决方法是编写类似这样的内容：

provideCtx((ctx: ExecutionContext) => (a: Int) => foo(a)(ctx))

我不确定是否可以使用更通用的解决方案（至少没有某种反射等），因为我们甚至不能引用foo（当然除了方法调用之外）没有隐含的范围。

Scala中具有Implicit参数的函数的类型

1 个答案: