用抽象类型扩展trait的case类

您不需要2个级别,可以替换 trait 具有 abstract class 要使用其构造函数:

sealed abstract class Property[T](val prop: T) {
  val id: Long
}

case class Size(id: Long, size: Int) extends Property[Int](size)
case class Title(id: Long, title: String) extends Property[String](title)

每个案例都有一个 id 所需的值 Property 类,但您希望它们具有不同的名称 prop ,您可以将它们传递给 所有物 构造函数作为 道具 价值

然后它可以用作

val size = Size(101L, 42)
val title = Title(202L, "Foo")

这是一个简单的解决方案。对于更一般的情况,我建议您这样做:

sealed trait AnyProperty {
  val id: Long

  type Prop
  val prop: Prop
}

sealed abstract class Property[T](
  val prop: T
) extends AnyProperty {
  type Prop = T
}

(其余相同)

这种方法的优点是,您可以使用top trait来引用 任何 属性,例如

def foo[P <: AnyProperty](p: P): Long = p.id
foo(size) // 101L

您可以参考 Prop 例如,键入成员

def buh[P <: AnyProperty](p: P): P#Prop = p.prop
buh(title) // "Foo"