这是Scala中类型擦除的一个例子吗

Question

这是Scala中类型擦除的一个例子吗？

(None: Option[Int]) == (None: Option[String]) // true

Answer 1

这是来自scala源的：case object None extends Option[Nothing]

在擦除之前，两者都将是None[Nothing]，因为仅存在None的单个实例。是的，这是一个擦除的例子，但不是一个真正好的例子。