6

给定具有绑定类型参数的类定义，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]

例如，我需要定义一个案例类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 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是用参数 bounds 定义的Person[+T <: Person[T]]，因此该类型的每个实例都可以确保遵守这些界限：val p: Person[P]暗示P <: Person[P]; 还是我错过了什么？那么我怎样才能让编译器明白这一点，这样它就不会抱怨呢？

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

4

1 回答 1

2

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

无论如何，这编译。它可能会在路上咬你一口，存在主义类型是它们的棘手问题，但是......

case class University(p: Person[t] forSome { type t <: Person[t] })
于 2012-04-05T13:49:26.560 回答