scala – 如果没有类型在类层次结构的底部,为什么我不能调用任何

Scala类型Nothing表示(据我所知)类型层次结构的底部,也用符号⊥表示.也就是说,没有任何给定类型的子类型.对于我们没有理论背景的人来说,对于没有类型的要求是 explained well by James Iry的要求！

所以我的问题是,如果Nothing是每种类型的子类型,为什么我不能在Nothing上调用任何类型的方法？显然,我不能实例化没有,但是为什么下面的编译呢？

var n: Nothing = _

def main(args: Array[String]) {
  println(n.length) //compile error: value length is not a member of Nothing
}

当然没有什么是String的子类型应该可以吗？请注意以下编译很好！

var n: Nothing = _

def foo(s: String) : Int =  s.length

def main(args: Array[String]) {
  println(foo(n))
}

一样：

def main(args: Array[String]) {
  println(n.asInstanceOf[String].length) 
}