Scala中具有隐式参数的函数类型答案

【问题标题】：Type of a function with Implicit parameters in ScalaScala中具有隐式参数的函数类型
【发布时间】：2013-09-03 22:52:42
【问题描述】：

我想要一个高阶函数，它接受一个接受特定隐式参数的函数。

更准确地说，我正在尝试创建一个函数，该函数采用依赖于隐式上下文的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 是隐式的，但我可以不要让编译器明白这一点。

【问题讨论】：

标签： scala implicit currying higher-order-functions

【解决方案1】：

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

一种解决方法是这样写：

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

我不确定是否有更通用的解决方案（至少没有某种反射等），因为如果没有隐含在范围内。

【讨论】：

确实，我现在写的东西很相似，只是有点麻烦。