scala - 将 case 对象字面量声明为其父类型？

Question

我有一个单例 Banana 类，并且希望避免将 .type 后缀到其所有用法，因此我将其定义如下:

sealed trait Banana
case object Banana extends Banana

现在我可以拥有干净的方法签名，例如 defpeel(foo: String): Banana

不过有一个小烦恼 - 我很难引用 case 对象 Banana，同时希望它实际上是父类型。观察:

scala> sealed trait Banana; case object Banana extends Banana
trait Banana
object Banana

scala> Banana
val res0: Banana.type = Banana

scala> val banana: Banana = Banana
val banana: Banana = Banana

在上面，res0 的类型是 Banana.type，这不是我要找的类型!另一方面，banana确实是我想要的类型。是否有可能获得 后者 类型的香蕉文字，而无需先将其分配给值？

显然 Banana.asInstanceOf[Banana] 可以工作，但绕过了整个讨厌的“编译时安全”问题。

Answer 1

意识到这有效:

type Banana = Banana.type
object Banana {
  // ...
}

最好一开始就不使用你的黑客技术。

如果您确实使用了 hack，请注意 expr: Type 是一个表达式(称为类型归属):

sealed trait Banana; case object Banana extends Banana
def f[T](x: T)(implicit eq: T =:= Banana): T = x
// f(Banana) // tries to call with T = Banana.type, fails
f(Banana: Banana) // calls f with the right T = Banana instead of T = Banana.type