c# - 为什么 C# 编译器不抛出 null 的逻辑比较？

Question

昨天我和一个 friend 一起吃午饭，他们提示 C# 中的 null。他说 null 是不合逻辑的。我决定验证他的说法，所以我测试了一些简单的逻辑命题:

Console.WriteLine(null == null); //True
//Console.WriteLine(null == !!null); //BOOM

Console.WriteLine(10 >= null); //False
Console.WriteLine(10 <= null); //False

Console.WriteLine(!(10 >= null)); //True
Console.WriteLine(!(10 <= null)); //True

检查相等性似乎很简单，这正是我所期望的。然而，大于/小于语句是逻辑上的矛盾，我觉得这很令人困惑!这些不应该扔吗？否定操作如您所料抛出。

如果我尝试在 Ruby 或 Python 中使用 null 运行比较(除相等性之外)，我会收到类似“无法将数字与 nil 进行比较”的类型错误。为什么 C# 不这样做？

Answer 1

好问题。

尽量不要去想null作为一个特定的值，而是“这里没什么可看的”。 documentation定义 null作为

The null keyword is a literal that represents a null reference, one that does not refer to any object.

考虑到这一点，null不是一个对象意味着经典的思维法则并不完全适用于它(或者，至少，不适用于它的方式与它适用于实际对象的方式不同)。

也就是说，10 >= null和 10 <= null都是false严格来说，这并不矛盾——毕竟，null从字面上看，什么都不是。如果你说 10 >= (some actual thing)和 10 <= (some actual thing)都是假的，那么很明显那会是矛盾的，但是如果没有一些实际的对象，你就不可能在经典意义上有矛盾。亚里士多德形而上学对定律的定义如下:

It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect, and all other specifications that might be made, let them be added to meet local objections...

所以，从某种意义上说，我们这里有点“漏洞”。至少在亚里士多德制定不矛盾定律时，它是专门指对象的。当然，此时对不矛盾律有多种解释。

现在，转到 10 + null 的案例.我们可以说这与 null + 10 是一回事如果它更容易。那么，从某种意义上说，此时应该发生什么——应该 null “吞下”10，还是我们应该说“10 +(什么都没有)真的应该等于 10”？说实话，除了说“好吧，这是一种设计选择”之外，从逻辑的角度来看，我没有一个非常有说服力的答案。我怀疑语言设计者想要区分10 + null来自 10 + 0 ，但我没有文件证明这一点。 (事实上​​，如果它们相同，会有点奇怪；毕竟 0 是一个可以从自然数构造的实际值，但是 null 是“无值”)。