加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

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

发布时间:2020-12-16 09:25:28 所属栏目:安全 来源:网络整理
导读:我想有一个更高阶的函数,它接受一个接受特定隐式参数的函数的参数. 更确切地说,我正在尝试创建一个函数,该函数采用依赖于隐式上下文的Future创建方法,并返回不依赖于上下文的方法. 更具体地说,让我说我有这样的事情: def foo(a: Int)(implicit ctx: Executi
我想有一个更高阶的函数,它接受一个接受特定隐式参数的函数的参数.

更确切地说,我正在尝试创建一个函数,该函数采用依赖于隐式上下文的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是隐式的,但是我不能让编译器理解它.

解决方法

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

一种解决方法是写这样的东西:

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

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

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读