Microsoft 更喜欢 False 值？

Question

我正在读乔恩·斯基特的书。 (#4)

但有一件事（除其他外）引起了我的注意：

主题：布尔？

他在一张表中写道：（X，Y 是布尔值？）

X      |    Y     |   X & Y
---------------------------
true        null       null

好吧……所以 null 是决定者。 这里的 bool 操作数丢失了。

X      |    Y     |   X & Y
---------------------------
false      null       false

为什么？ 为什么这里要考虑 bool 操作数，而在前面的示例中，是 null 决定结果......？

看来真假有朋友在不同的地方......:)

Answer 1

将null发音为未知。

true  & unknown => unknown
false & unknown => false       because the second operand does not matter. 

当然还有 OR 的镜像表：

true  | unknown => true        because the second operand does not matter. 
false | unknown => unknown       

它也适用于 && 和 || 。

Answer 2

如此设计的原因是为了与实现的三值逻辑保持一致在许多其他平台上，包括 SQL。在 Kleene 逻辑（三值逻辑所基于的）中，TRUE AND UNKNOWN 给出 UNKNOWN，而 FALSE AND UNKNOWN 给出 FALSE。

您可以参考标题为“布尔值？ 使用可空类型（C# 编程指南） 中的“type”有关 C# 中结果的解释和枚举。

Answer 3

根据微软的说法，这是...

确保&产生的结果和|运算符与SQL中的三值布尔类型一致

按位运算的真值表可以在此页面上找到可为 null 的布尔值。

Answer 4

原因是您现在正在处理三值逻辑。

• 对于 AND 运算符（无论是 & 或 &&），可以在第一次匹配 FALSE 时确定表达式结果。
• 对于 OR 运算符（无论是 | 或 ||），可以在第一次匹配 TRUE 时确定表达式结果。
• 对于最左边操作数为 NULL 的任何布尔运算，都将返回 NULL。

因此，您列出的表格并不完整：您需要更多条目来查看何时会发生什么，因为有 8 种可能的输入组合（如果算上 null 运算符 null 组合，则有 9 种）。

AND：

X      |    Y     |   X & Y
---------------------------
true       null        null
null       true        null
false      null       false
null       false       null

true       false      false
true       true        true
false      true       false
false      false      false

OR：

X      |    Y     |   X | Y
---------------------------
true       null        true
null       true        null
false      null        null
null       false       null

true       false       true
true       true        true
false      true        true
false      false      false

使用您的朋友类比，您可以说，对于三值逻辑，AND 倾向于 FALSE 和 NULL 作为结果，而 OR 倾向于 TRUE 和 NULL。

Answer 5

&&和 ||运营商均根据短路评估进行评估。这意味着一旦确定复杂表达式为假，则不会检查其余表达式。由于第二个表达式中的假值足以确定逻辑与的结果，因此直接将结果确定为假。