Scala 嵌套案例类自边界继承

Question

我目前正在研究 Scala 中的 A* 实现。为了完成一个干净的结构，我想使用一个实现自界特征的嵌套案例类结构。但是，我在 Scala IDE 中实现此功能时遇到了一些问题。以下代码将无法编译：

trait A[T <: A[T]]

class B {

    case class C(int: Int) extends A[C] // A[this.C] won't work either

    def make = C(5)

}

object D {

    def foo[T <: A[T]](some: T) = {}

    val c = new B().make

    foo(c) // this does not compile

}

有什么办法可以让这个结构正常工作吗？

Answer 1

不知道你为什么想要这个，但这就是它不能按原样工作的原因：

D.c 的类型是B#C。它是一个依赖路径的类型，我们不知道它属于B 的哪个实例。但是，C 扩展了A[C]，这与在该上下文中说的A[this.C] 相同，它绑定到B 的特定实例。 foo 将类型参数T 视为B#C，对于某些b，这与b.C 不同。

您有两个选项可以编译。

放松A到B#C的约束：

trait A[T <: A[T]]

class B {

    case class C(int: Int) extends A[B#C]

    def make = C(5)

}

object D {

    def foo[T <: A[T]](some: A[T]) = {}

    val c = new B().make

    foo(c)

}

或者处理依赖路径的类型，让c拥有b.C类型：

trait A[T <: A[T]]

class B {

    case class C(int: Int) extends A[C]

    def make = C(5)

}

object D {

    def foo[T <: A[T]](some: A[T]) = {}

    val b = new B
    val c: b.C = b.make

    foo(c)

}