Scala是一种更好的表达“自递归泛型”的方法吗？

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

导读：有一个常见的Java成语(例如在Enum中看到)来声明必须匹配实际派生类型的泛型类型变量。 class EnumE extends EnumE {...} 或者，如果需要更通用的参数： abstract class FooT,Actual extends FooT,Actual { //now we can refer to the actual type abstract A

有一个常见的Java成语(例如在Enum中看到)来声明必须匹配实际派生类型的泛型类型变量。

class Enum<E extends Enum<E>> {
...
}

或者，如果需要更通用的参数：

abstract class Foo<T,Actual extends Foo<T,Actual>> {
    //now we can refer to the actual type
    abstract Actual copy();
}
class Concrete<T> extends Foo<T,Concrete<T>> {
    Concrete<T> copy() {...}
}

事情可以很快地得到很详细的描述，所以我想象，Scala可能比以上例子的文字翻译好一些。

有没有更优雅的方式来实现这一点？

解决方法

一个替代公式是使用抽象类型的成员：

trait Foo { self => 
  type A <: Foo {type A = self.A}
}

以你的例子：

trait Foo { self =>
  type T
  type Actual <: Foo {type T = self.T; type Actual = self.Actual}
}

trait Concrete extends Foo { self =>
  type T
  type Actual = Concrete {type T = self.T}
}

虽然这种重新设计在trait / class声明中并不是更好，但是在使用traits / classes时，可能更简单。 (据我所知，没有另外一种方法可以重新形成递归类型)。

（编辑：李大同）

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