为什么 Some(null) 不被视为 None？

Question

我很好奇：

scala> Some(null) == None
res10: Boolean = false

为什么 Some(null) 不转换为 None？

Answer 1

您应该使用Option(null)来达到所需的效果并返回None。

Some(null) 只是创建一个具有定义值（因此是 Some）的新 Option，该值实际上是 null，并且几乎没有正当理由在实际代码中创建这样的代码。

Answer 2

不幸的是，null 对于任何 AnyRef 类型来说都是有效值——这是 Scala 与 Java 互操作性的结果。因此，如果一个方法采用 A 类型的对象，并在内部将其存储在 Option 中，则很可能需要在其中存储 null选项。

例如，假设您有一个方法，它获取列表的头部，检查该头部是否对应于存储中的键，如果是则返回 true。人们可能会这样实现它：

def isFirstAcceptable(list: List[String], keys: Set[String]): Boolean =
    list.headOption map keys getOrElse false

所以，事情是这样的...如果 list 和 keys 中的内容来自某个 Java API，它们很可能都包含 空！如果 Some(null) 不可能，则 isFirstAcceptable(List[String](null), Set[String](null)) 将返回 false< /code> 而不是 true。

Answer 3

我认为线程中的其他人很好地解释了为什么 Some(null) “应该”存在，但是如果您碰巧在某个地方得到 Some(null) 并且想要将其转换为 None 的快速方法，我之前已经这样做过：

scala> val x: Option[String] = Some(null)
x: Option[String] = Some(null)

scala> x.flatMap(Option(_))
res8: Option[String] = None

当起始 Option 是合法的非空值时，事情会按照您可能想要的方式工作：

scala> val y: Option[String] = Some("asdf")
y: Option[String] = Some(asdf)

scala> y.flatMap(Option(_))
res9: Option[String] = Some(asdf)

Answer 4

Scala 的大部分问题都可以归因于它与 Java 兼容的需要。 null 在 Java 中经常用作值，表示可能不存在值。例如，如果键不匹配，hashMap.get(key) 将返回 null。

考虑到这一点，请考虑将 null 返回方法包装在 Option 中的以下可能值：

if (b) Some(hashMap.get(key)) else None
// becomes -->
None // the method was not invoked;
Some(value) // the method was invoked and a value returned; or
Some(null) // the method was invoked and null was returned.

Some(null) 似乎与 None 完全不同在这种情况下，需要保证在该语言中允许它。

当然，如果您不希望这样做，那么只需使用：

if (b) Option(hashMap.get(key)) else None
// becomes -->
None // the method was not invoked or the mapped value was null; or
Some(value) // the method was invoked and a value returned

Answer 5

作为一个简单的思想实验，考虑两个字符串列表，一个长度为 5，另一个长度为 20。

因为我们在 JVM 上运行，所以可以将 null 作为有效元素插入到其中之一这些列表 - 因此将其作为元素 #10 放入长列表中

那么，以下两个表达式返回的值应该有什么区别？

编辑：将get交换为lift，我正在考虑地图......

shortList.lift(10) //this element doesn't exist
longList.lift(10)  //this element exists, and contains null

Answer 6

因为 Option 被认为是 Functor，并且作为 Functor 意味着：

1. 在 Scala 中具有 unit 函数（apply 或只是 Option("blah") )
2. 具有 map 函数，可从 T=>B 转换值，但不遵循上下文
3. 遵守 2 个函子法则 - 恒等法则和结合法则

在本主题中，主要部分是 #2 - Option(1).map(t=>null) 无法转换上下文。 一些应该保留。否则它会破坏结合律！

只需考虑以下定律示例：

def identity[T](v: T) = v
def f1(v: String) = v.toUpperCase
def f2(v: String) = v + v
def fNull(v: String): String = null

val opt = Option("hello")

//identity law
opt.map(identity) == opt //Some(hello) == Some(hello)

//associative law
opt.map(f1 _ andThen f2) == opt.map(f1).map(f2) //Some(HELLOHELLO) == Some(HELLOHELLO)
opt.map(fNull _ andThen f2) == opt.map(fNull).map(f2) //Some(nullnull) == Some(nullnull)

但是如果 Option("hello").map(t=>null) 产生 None 会怎样？结合律将被打破：

opt.map(fNull _ andThen f2) == opt.map(fNull).map(f2) //Some(nullnull) != None

这是我的想法，可能是错误的