继承 Scala 中的通用属性

Question

鉴于以下classand trait，我想要实现的是创建一个具有特定类型的子类 ie Engageand Event。这是我目前所拥有的：

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

我能够实现以下目标但没有太大用处（因为课程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]

如果我将 SubClass 转换为 aclass或 a，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它必须被实现才能有一个值；因此，任何未实现它的子类型都必须是抽象的（atrait或 an abstract class）。您的示例的Java版本中缺少此成员。

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

顺便说一句，在Scala 中，如果你有一个abstract class没有参数的an ，那么它可以被定义为 atrait代替，这使事情变得更加灵活，因为它可以混合并成为一个基类。这SubClass是abstract在Scala REPL中完成的示例（并注意不再是）：

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，那么这就是要走的路；只需final case在SubClass（应声明所有案例类final）的定义前添加：

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

或者，您可以 makedata和parent参数 of BaseSchema，在这种情况下，它必须定义为 an abstract class（如果您不希望它按原样实例化）或 a 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

然后你可以像这样子类化任一定义：

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