在RedBook中Actor的简化实现中,他们对Actor使用了基于节点的MPSC节点队列。他们通过这行代码定义节点:
private class Node[A](var a: A = null.asInstanceOf[A]) extends AtomicReference[Node[A]]
但是我们如何使用 Node[A]
作为 AtomicReference
的类型参数,因为我们还没有 class Node[A]
?它是在 Scala 中声明递归类型的一种方式吗?
最佳答案
您可以在类/特征定义中使用递归:
abstract class Example[A] extends (A => Example[A])
def example(prefix: String): Example[String] = new Example[String] {
def apply(s: String): Example[String] = {
val t = prefix + s
println(t)
example(t)
}
}
example("1")("2")("3")
//12
//123
如果您有 X extends F[X]
,那么您最终会得到 C++ 开发人员所知的 curiously recurring template pattern。在类型理论中一般为 F-bounded types .
你甚至可以在 Java 中找到它,因为每个 enum X
都在 abstract class X extends Enum[X]
之下。
关于scala - 为什么我们可以在 Scala 中使用新类作为父类的类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56274171/