如何使用具有未绑定类型参数的成员定义案例类？

Question

给定带有绑定类型参数的类定义,Animal[A <: String]似乎Scala编译器不会推断B <: String出Animal[B].是否允许推理？如何帮助编译器进行推理？

下面是一个案例类的具体示例,其中缺少此推断是一个问题.

考虑以下案例类层次结构:

sealed trait Person[+T <: Person[T]]
case class Student() extends Person[Student]
case class Professor() extends Person[Professor]

我需要定义一个case类University,我可以用类型的变量实例化Person[_],例如val p: Person[_] = Student().我认为这可以使用以下定义:

case class University(p: Person[_])

但这无法编译错误:

type arguments [Any] do not conform to trait Person's type parameter bounds [+T <: Person[T]]

如果我绑定University它编译的case类的类型参数(如果我删除case关键字,它也会使用无界参数编译,但在我的情况下这不是一个选项):

case class BoundUniversity[P <: Person[P]](p: Person[P])

但是这个参数化版本无法使用类型的无界变量进行实例化Person[_]:

val p: Person[_] = Student()
BoundUniversity(p)

编译失败:

inferred type arguments [_$1] do not conform to method apply's type parameter bounds [P <: Person[P]]

具有绑定参数的方法会发生相同的错误,例如:

def general[P <: Person[P]](p: P) = println(p)

所以这不是类构造函数特有的.

两个问题:

1. Person使用参数边界定义类型Person[+T <: Person[T]],以便保证此类型的每个实例都遵守这些边界:val p: Person[P]暗示P <: Person[P]; 还是我错过了什么？那么我怎样才能让编译器明白这一点,以免它抱怨？

2. 如何/我可以定义具有未绑定类型参数的成员的案例类case class University(p: Person[_])吗？

Answer 1

类型X[_]几乎不是您想要的。当您在类型上使用时_，您基本上是在说您不关心该参数是什么，因为您永远不需要使用它。

无论如何，这可以编译。它很可能会在路上咬你，存在主义类型是很棘手的东西，但是......

case class University(p: Person[t] forSome { type t <: Person[t] })