scala中的空值相等，odersky书的解释好像和scala代码不一样？

Question

在Odersky的书《Scala编程》第二版第89页第5.7节中，“==”运算符解释如下：

“如您所见，==经过精心设计，因此在大多数情况下，您可以获得所需的相等性比较。这是通过一个非常简单的规则完成的：首先检查左侧是否为 null，如果它不是 null，则调用 equals 方法...由于存在自动空检查，因此您不必自己进行检查（7）”

然后备注“7”：

"自动检查不会查看右侧，但任何合理的equals方法如果其参数为null，都应该返回false。"

如果空检查不查看RHS，我希望null==任何东西总是评估为假…但是我试过了，null==null评估为真。

这本书基于scala 2.8。是语言在某个时候发生了变化，还是我误解了解释？

在我使用的drools引擎中，==被解释为如果LHS为空，而RHS不为空，RHS的equals方法将被传递给LHS。尽管大多数合理的equals方法应该在nulls上返回false，但我喜欢drools引擎处理这种情况的方式。在SQL中，我习惯了null！= null。

Answer 1

这样做的原因是，== 是如何在 AnyRef 中实现的。

final def ==(that: AnyRef): Boolean =
    if (this eq null) that eq null
    else this equals that

eq是一种检查两个变量是否引用同一个对象的方法，因此在这种情况下null==null都eq null在片段的第三行中检查返回true。

Answer 2

在我看来，引用的文本只说了如果 LHS 不为空会发生什么，所以这部分没有矛盾。当 LHS 为空时会发生什么的描述可能在您没有引用的文本的某些部分或完全丢失。

Note（7）解释说，如果LHS不是null，则不会对RHS执行检查，RHS只是传递给equals。因此，当比较某些表达式==null之类的东西时，Scala首先检查某些表达式是否为null，然后调用someExpression.equals（null）。

我认为Scala的< code>term1 == term2被转换成了Java的

(term1 != null) ? term1.equals(term2) : (term2 == null)

（请注意，这是一个Java代码片段，因此上面一行中的==表示Java的引用相等。）