scala - T 和 List[T] 的类型参数边界

Question

我有一个带有 2 个类型参数的案例类

case class Relation[T <: Model, RT] (model: T) 

类型 T 显然是一种类属性“模型”。类型 RT 可以与 T 相同，也可以是 List[T](取决于我们创建的关系类型是 OneToOne 还是 OneToMany)。那么我该如何限制 RT，它不允许传递除 T 或 List[T] 之外的其他内容。

PS 我正在阅读有关协变 和逆变 的内容，但了解不多。它适用于我的情况吗？如果是，能否请您举个例子。如果没有 - 那么请展示其他工具来达到它。我什至无法理解 T 和 List[T] 之间的关系？ T <: List[T] 或 List[T] <: T?

提前致谢

Answer 1

思考T <: List[T] , List[T] <: T和协方差，您正在尝试使用 OOP/子类型多态性来解决您的问题。

在 Scala 2 中你可以尝试一个类型类(即席多态性)

case class Relation[T <: Model, RT](model: T)(implicit sel: Selector[T, RT])

trait Selector[T <: Model, RT]
object Selector {
  implicit def single[T <: Model]: Selector[T, T] = null
  implicit def multiple[T <: Model]: Selector[T, List[T]] = null
}

How to define "type disjunction" (union types)?