scala – 类型成员的隐式转换

发布时间：2020-12-16 08:44:00 所属栏目：安全来源：网络整理

导读：给定： implicit class WithRetType[T,U](x: T = U) { type Ret = U} 这个： val foo = (_: Int) * 2val x: foo.Ret = 3 收益率： error: type Ret is not a member of Int = Intval x: foo.Ret = ??? ^ 然而,以下工作： val foo = (_: Int) * 2val fooR = n

给定：

implicit class WithRetType[T,U](x: T => U) {
  type Ret = U
}

这个：

val foo = (_: Int) * 2
val x: foo.Ret = 3

收益率：

error: type Ret is not a member of Int => Int
val x: foo.Ret = ???
          ^

然而,以下工作：

val foo = (_: Int) * 2
val fooR = new WithRetType(foo)
val x: fooR.Ret = 3

对于类型成员的访问,是否不进行隐式转换？

解决方法

隐式转换不能用于访问类型成员.无论实现细节如何,这都可以看作规范中两个项目的逻辑结果：

>导致路径依赖类型的路径必须只有稳定的元素(规范中的Paths)
>隐式转换是一种方法/函数,其结果始终不稳定

因此,这两者是不兼容的：您不能在导致路径依赖类型的路径上进行隐式转换,因为转换本身不稳定,使路径无效.

（编辑：李大同）

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