在 Scala 中继承通用属性

Question

鉴于以下 class 和 trait，我想要实现的是创建一个子 class 具有自己的特定类型，即 Engage 和 Event。这是我目前拥有的：

trait ATrait extends scala.AnyRef {
   val test: Option[String]
}

我能够实现以下但用处不大（因为 class 仍然是 abstract）

// this is made 'abstract' by me (can be edited)
abstract class BaseSchema[T, P] extends ATrait {
  val test: Option[String]
  val data: T
  val parent: P
}

abstract class SubClass(override val data: Engage,
                        override val parent: Event
                       ) extends BaseSchema [Engage, Event]

如果我将子类转换为 class 或 case class，我将不得不实现所有抽象成员。

在 scala 中处理这个问题的正确方法是什么？在Java，一个人可以做到

abstract class BaseSchema<T,P> {
    T data;
    P parent;
}

class SubClass extends BaseSchema<Engage, Event> {
}

class Engage{} class Event{}

SubClass subClass = new SubClass();
Engage eng = subClass.data;

Answer 1

我认为这里的问题是您没有定义 ATrait.test 的实现。因为这是一个 val ，它必须被实现才能有一个值；因此，任何未实现它的子类型都必须是 abstract（trait 或 abstract class）。您示例的 Java 版本中缺少该成员。

在这个解决方案中，我在 BaseSchema 中给了它 None 的值，因为没有指示应该如何定义它。如果你能提供一个应该是什么样子的例子，那会有所帮助。

顺便说一句，在 Scala 中，如果你有一个没有参数的 abstract class，那么它可以被定义为一个 trait，这使得事情更灵活一点，因为它既可以混合也可以作为基础 class。这是一个在 Scala REPL 中完成的示例（请注意 SubClass 不再是 abstract）：

C:\SomeDir>scala
Welcome to Scala 2.13.1 (OpenJDK 64-Bit Server VM, Java 1.8.0_222).
Type in expressions for evaluation. Or try :help.

scala> class Engage
defined class Engage

scala> class Event
defined class Event

scala> trait ATrait {
     |   val test: Option[String]
     | }
defined trait ATrait

scala> trait BaseSchema[T, P] extends ATrait {
     |   override val test: Option[String] = None
     |   val data: T
     |   val parent: P
     | }
defined trait BaseSchema

scala> class SubClass(override val data: Engage, override val parent: Event) extends BaseSchema[Engage, Event]
defined class SubClass

如果你想让SubClass成为case class，那么这就是你要走的路；只需在 SubClass 的定义前添加 final case (all case classes should be declared final):

scala> final case class SubClass(override val data: Engage, override val parent: Event) extends BaseScheme[Engage, Event]
defined class SubClass

或者，您可以使 BaseSchema 的 data 和 parent 参数，在这种情况下，它必须定义为 abstract class（如果您不想它被实例化原样 ) 或 class;在这两种情况下，data 和 parent 都不是抽象的。以下两个定义均有效：

scala> abstract class BaseSchema[T, P](val data: T, val parent: P) extends ATrait {
     |   override val test: Option[String] = None
     | }
defined class BaseSchema

或

scala> class BaseSchema[T, P](val data: T, val parent: P) extends ATrait {
     |   override val test: Option[String] = None
     | }
defined class BaseSchema

然后您可以像这样子class任一定义：

scala> class SubClass(d: Engage, p: Event) extends BaseSchema[Engage, Event](d, p)
defined class SubClass

确实，由于可以从参数推断出泛型类型，这也可以简化为：

scala> class SubClass(d: Engage, p: Event) extends BaseSchema(d, p)
defined class SubClass

在 Scala 中继承通用属性

Inherit generic attributes in Scala

java

generics

scala

type-inference