scala - 在 Scala 中，内例类如何一致地重写方法？

Question

我最近发现 Scala 编译器对于 case class 有一个有趣的功能:由于它同时生成类和对象签名，如果定义为内部类，它可以用于覆盖抽象类型定义和函数定义它的父类(super class)具有最少的样板代码，下面是一个示例:

object InnerCaseClassOverridingBoth {

  trait AALike

  trait SS {
    type AA <: AALike
    def AA(): AnyRef
  }

  trait SS_Clear extends SS {
    def AA(): AnyRef
  }

  class SSA extends SS_Clear {
    case class AA() extends AALike
  }
  object SSA extends SSA {}
}

这将编译没有任何错误。然而，快捷方式到此为止，如果函数定义 def AA 被参数化，那么内部案例类和内部对象都无法覆盖它:内部的 apply 函数对象不会自动扩展为其外部类的方法:

  trait SS_Parameterised extends SS {
    def AA(ii: Int): AnyRef
  }

  class SSB extends SS_Parameterised {
    case class AA(ii: Int) extends AALike
  }
  object SSB extends SSB {}

这会产生错误:

class SSB needs to be abstract, since method AA in trait
SS_Parameterised of type (ii: Int)AnyRef is not defined
    class SSB extends SS_Parameterised {

我的问题是，这种情况下有捷径吗？为什么Scala编译器被设计为链接情况1而不是情况2？

Answer 1

它根本不是特别设计的；或者，确实如此，但不是你想象的那样。您不是用构造 AA 的方法重写 def AA()，而是用 对象 AA 本身重写它。通知

trait T {
   type I <: AnyRef
   def I(): AnyRef
}
object O extends T {
   case class I(val i: Int)
}

这很好用。

> (O: T).I()
I
> (O: T).I().getClass
class O$I$
> O.I(5)
I(5)
> O.I(5).getClass
class O$I

显着的设计选择是“object可以覆盖无参数def”(val也可以， var，当然还有无参数 def)和“case class自动生成object”。 “内部case class使用其构造函数覆盖其外部类中同名的方法”不是Scala 的规则之一。 object O包含一个case class I和一个object I，抽象的def I(): AnyRef是重写以返回所述对象 I。 object I 的内容并不重要，因为 def I() 只需返回一个 AnyRef，这意味着没有任何限制。这是完全有道理的

trait U {
   type I <: AnyRef
   def I(i: Int): AnyRef
}
object P extends U {
   case class I(i: Int)
}

那么失败了。 对象 P 包含一个 case 类 I 和一个关联的对象 I，但它还需要一个 def I(i: Int): AnyRef，它所缺少的。