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

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节，有关其他讨论，请参阅此问题 。

一个解决方法是写这样的东西：

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

我不确定一个更通用的解决方案是否可行（至少没有某种反射等），因为我们甚至不能在没有隐式范围的情况下引用foo （除了在方法调用中）。