将元组与 null 匹配

Question

我不明白为什么以下情况不匹配。 Null 应该是 Any 的实例，但它不匹配。有人可以解释发生了什么事吗？

val x = (2, null)
x match {
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v))
    case _ => println("catch all")
}

prints catch all

谢谢。

Answer 1

这与指定的完全一样。

Type patterns consist of types, type variables, and wildcards.
A type pattern T is of one of the following forms:

* A reference to a class C, p.C, or T#C.
This type pattern matches any non-null instance of the given class.

有趣的是，如此多的相关性都归因于 null 作为 Any 的成员。它是除 AnyVal 和 Nothing 之外的所有类型的成员。

Answer 2

您是否尝试过使用 v 占位符来表示任何内容？

val x = (2, null)
x match {
    case (i:Int, v) => println("got tuple %s: %s".format(i, v))
    case _ => println("catch all")
}

Answer 3

这是指定的（Scala 参考 2.7，第 8.2 节）：

对 C、pC 或 T#C 类的引用。
此类型模式与给定类的任何非空实例匹配。
注意类的前缀，如果
它是给定的，与
确定类实例。为了
例如，模式 PC 仅匹配
类 C 的实例是
使用路径 p 作为前缀创建。

Answer 4

我只是在这里猜测，因为我不是 scala 专家，但根据 scala 中 Any 类的文档 我认为，由于 null 不是一个对象，因此它不是从 Any 派生的，因此与第一个列出的情况不匹配。

添加下面的代码示例。运行时它会打印“其他内容”。

val x = (2, null)  
x match {  
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v))  
    case (i:Int, null) => println("something else %s".format(i))
    case _ => println("catch all")  
}  

经过更多研究后，似乎 null 应该与 文档 的任何意义相匹配 表示它扩展了 AnyRef，而 AnyRef 又扩展了 Any。

编辑：就像其他人所说的那样。第一种情况故意不匹配 null。它在文档中指定。