scala - `A >: Null` 的含义？

Question

我试图编写一个函数，如果 null 将无法编译通过:

$scala
Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_101).
Type in expressions for evaluation. Or try :help.

scala> :t null
Null

scala> def f[A >: Null](x: A):A = x
f: [A >: Null](x: A)A

但是，它并没有像我预期的那样工作:

scala> f( null )
res1: Null = null

Answer 1

正如已经指出的，A >: Null允许 A成为 Null本身，但这在这里甚至无关紧要。即使 A必须是 Null 的严格父类(super class)型，仍然可以通过 null至 f如 null是这些类型的有效值(直接来自 Null 是它们的子类型这一事实)。

如果您不想接受可为空类型，A需要是 AnyVal 的子类型.请注意，这将阻止传递任何引用类型的值 - 不仅仅是 null本身。

没有办法接受引用类型而不接受 null。