Question

我需要一些有关Scala通用特征的帮助。

我有一个带有返回T类型的方法的类。在类的每个实现中，我都希望返回T的子类，该子类可以使用。

基本上，在我的抽象类中，我需要一个返回Configs对象的方法，每个实现都将拥有自己的Configs对象实现。另外，我想用另一个抽象类对抽象类进行子类化，从而进一步限制了该Configs对象（原始Configs对象的子类）。无论我做什么，都会出现编译错误。

这是我尝试过的：

case class MyConfigs()

trait WithMyConfigs {
  def myConfigs: MyConfigs
}

case class LimitConfigs(myConfigs: MyConfigs, limit: Int) extends WithMyConfigs

case class TextConfigs(myConfigs: MyConfigs, text: String) extends WithMyConfigs


    trait AbstractClass {
      def configs[B <: WithMyConfigs]: B
    }

    class ImplLimitClass extends AbstractClass {
      override def configs[B <: WithMyConfigs]: B = LimitConfigs(MyConfigs(), 5)
    }

    class ImplSizeClass extends AbstractClass {
      override def configs[B <: WithMyConfigs]: B = TextConfigs(MyConfigs(), "test")
    }

    trait WithRestrictedConfigs extends WithMyConfigs {
      def additionalIntField: Int
    }

    trait RestrictedAbstractClass extends AbstractClass {
      override def configs[B <: WithRestrictedConfigs]: B
    }

    case class RestrictedConfigs(myConfigs: MyConfigs, additionalIntField: Int) extends WithRestrictedConfigs

    class ImplRestrictedClass extends RestrictedAbstractClass {
      override def configs[B <: WithRestrictedConfigs]: B = RestrictedConfigs(MyConfigs(), 5)
    }

这样我得到错误“ TextConfigs / LimitConfigs类型的表达不符合预期的类型B”。

我也尝试了以下方法：

case class MyConfigs()

trait WithMyConfigs {
  def myConfigs: MyConfigs
}

case class LimitConfigs(myConfigs: MyConfigs, limit: Int) extends WithMyConfigs

case class TextConfigs(myConfigs: MyConfigs, text: String) extends WithMyConfigs


trait AbstractClass {

  type B <: WithMyConfigs

  def configs: B
}

class ImplLimitClass extends AbstractClass {
  override def configs: B = LimitConfigs(MyConfigs(), 5)
}

class ImplSizeClass extends AbstractClass {
  override def configs: B = TextConfigs(MyConfigs(), "test")
}

trait WithRestrictedConfigs extends WithMyConfigs {
  def additionalIntField: Int
}

trait RestrictedAbstractClass extends AbstractClass {
  override type B <: WithRestrictedConfigs
  override def configs: B
}

case class RestrictedConfigs(myConfigs: MyConfigs, additionalIntField: Int) extends WithRestrictedConfigs

class ImplRestrictedClass extends RestrictedAbstractClass {
  override def configs: B = RestrictedConfigs(MyConfigs(), 5)
}

然后我得到“ XXX类型的表达式不符合预期的ImplRestrictedClass.this.B类型”。

如果有人知道如何提供帮助，那就太好了：）

Answer 1

您需要在实现中定义实际的类型。看看scala-doc。

这是一个编译示例：

case class MyConfigs()

trait WithMyConfigs {
  def myConfigs: MyConfigs
}

case class LimitConfigs(myConfigs: MyConfigs, limit: Int) extends WithMyConfigs

case class TextConfigs(myConfigs: MyConfigs, text: String) extends WithMyConfigs


trait AbstractClass {
  type T <: WithMyConfigs
  def configs :T
}

class ImplLimitClass extends AbstractClass {
  type T = LimitConfigs
  override def configs: T = LimitConfigs(MyConfigs(), 5)
}

class ImplSizeClass extends AbstractClass {
  type T = TextConfigs
  override def configs: T = TextConfigs(MyConfigs(), "test")
}

trait WithRestrictedConfigs extends WithMyConfigs {
  def additionalIntField: Int
}

trait RestrictedAbstractClass extends AbstractClass {
  type T <: WithRestrictedConfigs
  override def configs: T
}

case class RestrictedConfigs(myConfigs: MyConfigs, additionalIntField: Int) extends WithRestrictedConfigs

class ImplRestrictedClass extends RestrictedAbstractClass {
  type T = RestrictedConfigs
  override def configs: T = RestrictedConfigs(MyConfigs(), 5)
}

[更新]

您将需要在某处指定您的类型。如果使用类型参数，您将得到类似的信息：

trait AbstractClass[T <: WithMyConfigs] {
  def configs: T
}

class ImplLimitClass extends AbstractClass[LimitConfigs] {
  override def configs = LimitConfigs(MyConfigs(), 5)
}

class ImplSizeClass extends AbstractClass[WithMyConfigs] {
  override def configs = TextConfigs(MyConfigs(), "test")
}

当然，您可以指定特征本身以获得更通用的配置（请参见上面的ImplSizeClass）然后隐藏带有额外特征的type参数。

trait SpecAbstractClass extends AbstractClass[WithMyConfigs]

如果您仍然不想指定显式类型，为什么不使用老式的使用接口的方式：

case class MyConfigs()

trait WithMyConfigs {
  def myConfigs: MyConfigs
}

case class LimitConfigs(myConfigs: MyConfigs, limit: Int) extends WithMyConfigs

case class TextConfigs(myConfigs: MyConfigs, text: String) extends WithMyConfigs


trait AbstractClass {
  def configs: WithMyConfigs
}

class ImplLimitClass extends AbstractClass {
  override def configs = LimitConfigs(MyConfigs(), 5)
}

class ImplSizeClass extends AbstractClass {
  override def configs = TextConfigs(MyConfigs(), "test")
}

trait WithRestrictedConfigs extends WithMyConfigs {
  def additionalIntField: Int
}

trait RestrictedAbstractClass extends AbstractClass {
  override def configs: WithRestrictedConfigs
}

case class RestrictedConfigs(myConfigs: MyConfigs, additionalIntField: Int) extends WithRestrictedConfigs

class ImplRestrictedClass extends RestrictedAbstractClass {
  override def configs = RestrictedConfigs(MyConfigs(), 5)
}

在Scala通用类中实现字段

1 个答案: