scala - 为什么我不能将case对象用作多态类型

Question

以下代码无法编译:

  case object O

  trait Show[A] {def show(a: A) : String}

  class OShow extends Show[O] {
    override def show(a: O): String = "ahoy"
  }

编译错误是

Error: not found: type O
  class OShow extends Show[O] {

那么，如何将案例对象用作多态类型呢？
^

Answer 1

就像@endeneu提到的那样，对于案例对象，您需要使用.type，也称为单例类型注释:

class OShow extends Show[O.type] {
  override def show(a: O.type): String = "ahoy"
}