Scala 中的类型参数化和继承

Question

我有遵循以下模式的 Scala 代码。

class T

class A1[S <: T](private val arg1: String, private val arg2: S)
class A2[S <: T](private val arg1: String, private val arg2: S)
  extends A1[S]
class A3[S <: T](private val arg1: String, private val arg2: S)
  extends A2[S]

等等

我希望有一些方法可以缩短上面的代码，因为这里有很多重复。我希望A1 的子类隐式具有类型参数化[S <: T] 和构造函数(private val arg1: String, private val arg2: S)。有什么方法可以做到这一点，还是有必要为我定义的每个子类重复这个文本？

Answer 1

你能用一个AImpl替换A1、A2和A3吗？

sealed trait Condition
case object One   extends Condition
case object Two   extends Condition
case object Three extends Condition

sealed trait AParent[A]
case class AImpl[A, B <: A](private val arg1: String, 
                            private val arg2: B, 
                            c: Condition) extends AParent[A]