我可以重现 Scala 的 == 行为吗？

Question

在《Scala 编程》中，我可以读到 == 运算符的行为就好像它是这样定义的：

final def == (that: Any): Boolean = if (null eq this) {null eq that} else {this equals that}

但实际上必须有编译器魔法来避免空指针异常，对吧？有什么方法可以让我用纯 Scala 复制这种行为吗？即，如果接收者为空，则让运算符/方法返回一件事，如果不是，则返回另一件事？我的意思是 null eq this 的实际实现。

我想我可以编写一个“pimp”，然后在包装类上定义方法，但是有没有更直接的方法来做到这一点？

Answer 1

我不这么认为。 据我所知，空值没有魔法。（请参阅更新）

我认为你能做的最好的事情就是将任何对象包装到选项中，这样你就可以从中使用一堆有用的东西：

implicit def toOption[T](target: T) = Option(target)

val q: String = null
val q1: String = "string"

println(q getOrElse "null") // prints: null
println(q1  getOrElse "null") // prints: string

更新

我找到了这个文档：

http://www.scala -lang.org/api/2.7.7/scala/Null.html

根据它：

Null 类与 Nothing 类一起位于 Scala 类型层次结构的底部。

因此，即使 null 也有从 AnyRef 继承的方法，例如 eq、== 等......而且您也可以使用它们：

val q: String = null
val q1: String = "string"

println(null eq q) // prints: true
println(null eq q1) // prints: false

Answer 2

“null”是称为 Null 的特征的唯一实例 - 所以它只是一个普通对象，没有魔法可以调用 ==

您绝对应该检查 Option 并尽一切努力将 null 排除在代码之外:)

Answer 3

如果不对 null 情况进行特殊处理，似乎没有任何方法可以做到这一点。如果对象为 null，Java 将不允许调用方法。这与像 python 这样的语言相比，其中 None 是一个正确的对象。我认为最好的办法就是尝试忽略 null 存在的事实。

使用隐式来模拟 ==

class Equals2(v:AnyRef){
  def ===(that:AnyRef) =  if(v eq null) {that eq null }else {v equals that}
}
implicit def equals2(v:AnyRef) = new Equals2(v) 

不幸的是，以下内容不起作用，因为 null 不是 AnyRef 的子类

null === "Something"

Answer 4

null 没有什么魔力，但 scala 确实有一些魔力可以让数字相等对称。
诀窍是扩展 ScalaNumber 特征...

http://www .scala-lang.org/node/6387

update

只是为了澄清一点......这意味着如果你写 a == b 和 < code>b 派生自 ScalaNumber 或（我相信）是 AnyVal，那么编译器将测试 b == a >。

这不仅解决了 null 情况，而且如果您想要将基元与可以被视为数字的其他类型进行比较，但对于隐式转换会导致这种情况，它也会使事情变得容易得多。鲁莽地不安全。这是 BigInteger 等使用的方法。

Answer 5

null 是 Null 的唯一实例，因此在 Scala 中是一个完整的对象。

如果您按照上面在类 A 中发布的精神定义函数，那么您所要做的就是提供从 Null 到 A 的隐式转换code> 将 null 映射到某个虚拟实例。

Answer 6

您可以使用选项。

scala> Option("a")
res0: Option[java.lang.String] = Some(a)

scala> Option(null)
res1: Option[Null] = None