为什么我不能将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] {

那么,如何将case对象用作多态类型？^

Answer 1

正如@endeneu所提到的,对于case对象,你需要使用.type,也称为singleton类型注释:

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