java - 继承 Scala 中的通用属性

Question

鉴于以下class和trait，我想要实现的是创建一个具有自己的特定类型的子类，即Engage和事件。这是我现在所拥有的:

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

我能够实现以下目标，但没有多大用处(因为该类仍然是抽象的)

// 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]

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

在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，因此必须实现它才能具有值；因此，任何未实现它的子类型都必须是抽象的(特征或抽象类)。您的示例的 Java 版本中缺少此成员。

在此解决方案中，我在 BaseSchema 中为其指定了 None 值，因为没有指示应如何定义它。如果您可以提供一个示例来说明它应该是什么样子，那将会有所帮助。

顺便说一句，在Scala中，如果你有一个不带参数的抽象类，那么它可以被定义为trait，这使事情变得更加灵活，因为它可以混合并作为基类。下面是一个在 Scala REPL 中完成的示例(请注意，SubClass 不再是抽象):

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类，那么这就是你要走的路；只需在 SubClass 定义前添加 final case(所有 case 类都应声明为 final):

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

或者，您可以为 BaseSchema 设置 data 和 parent 参数，在这种情况下，它必须定义为抽象类(如果您不希望按原样实例化它)或类；在这两种情况下，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

然后您可以像这样子类化任一定义:

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