None 比 null 更邪恶吗？

Question

在 F# 中，他们没有空值并且不想支持它是一件大事。程序员仍然必须为 None 提供案例，类似于 C# 程序员必须检查 != null。

None 真的比 null 更邪恶吗？

Answer 1

null 的问题在于您几乎可以在任何地方使用它，即引入无效状态，这既不是预期也不是有道理。。

拥有'a option始终是一件明确的事情。您声明操作可以产生 Some 有意义的值或 None，编译器可以强制正确检查和处理这些值。

通过不鼓励 null 而支持 'a option 类型，您基本上可以保证程序中的任何值在某种程度上都是有意义的。如果某些代码被设计为使用这些值，则您不能简单地传递无效值，并且如果存在 option 类型的函数，您将必须涵盖所有可能性。

Answer 2

当然是少邪恶啦！

如果您不检查 None，那么大多数情况下您的应用程序中都会出现类型错误，这意味着它将无法编译，因此它不会因 NullReferenceException 而崩溃（因为 None 会转换为 null）。

例如：

let myObject : option<_> = getObjectToUse() // you get a Some<'T>, added explicit typing for clarity
match myObject with
| Some o -> o.DoSomething()
| None -> ... // you have to explicitly handle this case

仍然可以实现类似 C# 的行为，但不太直观，因为您必须明确地说“忽略这可能是 None”：

let o = myObject.Value // throws NullReferenceException if myObject = None

在 C# 中，您不必考虑变量的情况为空，因此您可能只是忘记进行检查。与上面相同的示例：

var myObject = GetObjectToUse(); // you get back a nullable type
myObject.DoSomething() // no type error, but a runtime error

编辑：Stephen Swensen 是绝对正确的，我的示例代码有一些缺陷，是匆忙编写的。固定的。谢谢你！

Answer 3

假设我向您展示了这样一个函数定义：

val getPersonByName : (name : string) -> Person

当您传入数据存储中不存在的人的name 时，您认为会发生什么？

• 该函数是否抛出 NotFound 异常？
• 它返回 null 吗？
• 如果人不存在，它会创造人吗？

如果不阅读代码（如果您有权访问它）、阅读文档（如果有人好心地编写了它），或者只是调用该函数，您将无从得知。这基本上就是空值的问题：它们的外观和行为就像非空值一样，至少在运行时是这样。

现在，假设您有一个带有此签名的函数：

val getPersonByName : (name : string) -> option<Person>

这​​个定义非常明确地表明了所发生的情况：您要么会带回一个人，要么不会，并且此类信息以函数的数据类型进行传达。 通常，与潜在的空值相比，您可以更好地保证处理选项类型的两种情况。

我想说选项类型比空值要仁慈得多。

Answer 4

在 F# 中，他们没有空值并且不想支持它，这是一件大事。程序员仍然必须为 None 提供案例，类似于 C# 程序员必须检查 != null。

None 真的比 null 更邪恶吗？

每次在 C# 中取消引用对象时，null 都会引入潜在的运行时错误源 (NullRefereceException)，而 None 会强制您创建源F# 中显式的运行时错误。

例如，对给定对象调用 GetHashCode 会导致 C# 静默注入运行时错误源：

class Foo {
  int m;
  Foo(int n) { m=n; }
  int Hash() { return m; }
  static int hash(Foo o) { return o.Hash(); }
};

相比之下，F# 中的等效代码预计不会产生 null ：

type Foo =
  { m: int }
  member foo.Hash() = foo.m

let hash (o: Foo) = o.Hash()

如果您确实想要在 F# 中使用可选值，那么您将使用 option 类型，并且必须显式处理它，否则编译器将给出警告或错误：

let maybeHash (o: Foo option) =
  match o with
  | None -> 0
  | Some o -> o.Hash()

您仍然可以获得 NullReferenceException 在 F# 中通过绕过类型系统（这是互操作所必需的）：

> hash (box null |> unbox);;
System.NullReferenceException: Object reference not set to an instance of an object.
   at Microsoft.FSharp.Core.LanguagePrimitives.IntrinsicFunctions.UnboxGeneric[T](Object source)
   at <StartupCode$FSI_0021>.$FSI_0021.main@()
Stopped due to error