Scala继承参数化构造函数

Question

我有一个带有几个可选参数的抽象基类：

abstract case class Hypothesis(
    requirement: Boolean = false,
    onlyDays:   Seq[Int] = Nil,
    …
) extends Something {…}

我真的需要明确地重复所有参数吗在顶部加上额外的关键字override val‽

case class SomeHypothesis(
    anotherArg: SomeType,
    override val requirement: Boolean = false,
    override val onlyDays:   Seq[Int] = Nil,
    …
) extends Hypothesis(
    requirement,
    onlyDays,
    …
) {…}

或者有没有类似的语法

case class SomeHypothesis(anotherArg: SomeType, **) extends Hypothesis(**) {…}

我什至不需要anotherArg，只是一种将所有关键字参数传递给超级构造函数的方法。

---

我真的很喜欢 Scala 关于构造函数的想法，但如果没有那个语法，我会失望的 :(

Answer 1

您可以在继承的类中只使用一个虚拟名称：

case class SomeHypothesis(anotherArg: SomeType, rq: Boolean = false, odays: Seq[Int] = Nil)
extends Hypothesis(rq, odays)

但您必须重复默认值。无需覆盖val。

编辑：

请注意，您的抽象类不应是案例类。扩展案例类现在是deprecated。你应该为你的抽象类使用extractor：

abstract class SomeHypothesis(val request: Boolean)

object SomeHypothesis {
  def unapply(o: Any): Option[Boolean] = o match {
    case sh: SomeHypothesis => Some(sh.request)
    case _ => None
  }
}

Answer 2

在我看来，默认值的策略不属于基类，但应该放在具体类中。我会改为执行以下操作：

trait Hypothesis {
  def requirement: Boolean
  def onlyDays: Seq[Int]
  /* other common attributes as necessary */
}

case class SomeHypothesis(anotherArg: SomeType,
                          requirement: Boolean = false,
                          onlyDays: Seq[Int] = Nil)
  extends Hypothesis

SomeHypothesis 的案例类字段将满足 Hypothesis trait 的要求。

正如其他人所说，您仍然可以使用提取器对公共部分进行模式匹配：

object Hypothesis {
  def unapply(h: Hypothesis): (Boolean, Seq[Int]) = (h.requirement, h.onlyDays)
}

Answer 3

我花了几天时间在桌子上敲我的头，试图理解为什么命名参数没有进入扩展类。

我尝试了 trait，copy() 你命名它 - 我和编译器总是不一致，当事情编译时，值永远不会被传递。

所以要清楚你是否有课

class A(someInt:Int = 0, someString: String ="xyz", someOtherString: String = "zyx")  

而你想扩展它：

class B extends A // does NOT compile 

class B(someInt: Int, someString: String, someOtherString: String) extends A // compiles but does not work as expected 

你会认为对 B 的调用是这样的：

case object X = B(someInt=4, someString="Boo", someOtherString="Who") 

实际上要么不能编译（遗憾的是它可以），要么实际上可以工作（它不能）

相反，您需要按如下方式创建 B（是的，这是对上述答案的重复，但起初谷歌将我带到这里时并不明显......）

class B(someInt: Int, someString: String, someOtherString: String) extends A(someInt, someString, someOtherString) 

现在

case object X = B(someInt=4, someString="Boo", someOtherString="Who") 

编译和工作

我还没有计算出可以在 B 类构造函数中放置默认值的内容/时间和位置的所有组合和排列，但我很确定可以在 B 类的定义中使用“预期”指定默认值“ 结果。

Answer 4

如果 Hypothesis 是一个抽象类，那么我就没有它的构造函数。 ID 将这些参数设置为抽象类的抽象属性。

但是，在这种情况下，您确实需要 override 修饰符。