Question

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

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

Answer 1

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

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