是否有不可能用泛型实现的Scala抽象类型使用的例子？

发布时间：2020-12-16 09:20:01 所属栏目：安全来源：网络整理

导读：有两种可能的方式来表达抽象类型. abstract class Buffer { type T val element: T} 而是泛型,例如 abstract class Buffer[T] { val element: T} 我了解在不同上下文中使用不同方法的可用性的好处. 但是,对于将抽象类型版本转换为通用版本是绝对不可能的例子

有两种可能的方式来表达抽象类型.

abstract class Buffer {
  type T
  val element: T
}

而是泛型,例如

abstract class Buffer[T] {
  val element: T
}

我了解在不同上下文中使用不同方法的可用性的好处.
但是,对于将抽象类型版本转换为通用版本是绝对不可能的例子,我感兴趣.

欢迎PS代码片段.

解决方法

抽象类型可以绑定到类型参数不可能的路径依赖类型.因此,您可以实现一个具有内在类的抽象类型：

trait A { type T }
class B extends A { class T }

或者明确地将其绑定到类范围内的路径依赖类型：

class C { type T = this.type }
class D { object Q; type T = Q.type }

（编辑：李大同）

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