将短路运算符与常规运算符结合使用会改变表达式的结果吗？

Question

我一直认为使用条件布尔运算符（也称为短路）代替常规布尔运算符不会影响表达式的结果。

var result = true | false & false;

结果与

相同

var result = true || false && false

两个表达式的结果都是true。

但是，如果我将常规运算符和条件运算符混合使用会怎样？

var result1 = true || false & false;
var result2 = true | false && false;

你会期待什么？我希望这些仍然会返回true。但事实并非如此。结果 2 将是 false!

我知道这是因为operator precedence。优先顺序为& | && ||。这对我来说似乎违反直觉。我希望订单为& && | ||，在这种情况下，所有结果都是相同的（我认为）。

所以我想我真正的问题不是 如果 短路可以改变结果。问题是为什么优先顺序是这样的，短路可以改变结果。

Answer 1

相关运算符的优先级似乎直接从 C（和 C++）编程语言中的优先级复制而来。

现在在 C 中，它们不会对整数和布尔值使用不同的类型。例如，他们可以写：

if (i | j && x > 0)      // cf. the result2 of your question

这应该意味着“整数i 和j 按位或'ed 给出非零并且数字x 是正数”。所以| 和& 应该主要在操作数被认为是整数（多位数）时使用，而|| 和&& 应该主要在操作数被认为是时使用布尔值。

所以在 C 中| 的绑定比&& 更严格似乎很自然。

在 C# 中，我们具有更高程度的类型安全性，并且没有从 Int32 到 Boolean 或从 Boolean 到 Int32 的转换。因此，不再可能“混合”事物，优先级也不再自然。

我猜理论上在 C# 中，可以制作运算符

public static bool operator |(bool b, bool c)

与运算符有一个不同的优先级

public static int operator |(int i, int j)

但它真的不会让事情变得更好吗？

我认为人们在同一个表达式中使用 boolean 非短路运算符如| 和短路运算符如&& 是非常罕见的，但当他们这样做时，他们应该要么对优先级非常小心，要么把括号 () 放在那里（这也会使意图更清楚）。

Answer 2

&和|运算符评估两个参数（可能涉及调用方法），然后返回与或或操作的结果。

&& 和 ||运算符只评估他们的参数，直到最终结果完全确定。

例如： true | SomeMethod() 和 false & SomeMethod() 调用 SomeMethod() 函数 true || SomeMethod() 和 false && SomeMethod()不要。

这个例子中的true和false当然也可以是变量，我只是简单地使用了常量，让例子更容易理解。

Answer 3

var result2 = true | false && false;

计算为：

var result2 = (true | false) && false;

因为| 在&& 之前。现在(true | false) 计算结果为true，而true && false 为假。

至于为什么，见this question：

&& 和 ||后来添加了运算符，因为它们的“短路”行为。 Dennis Ritchie 回想起来承认，当添加逻辑运算符时，应该更改按位运算符的优先级。但由于当时存在数百 KB 的 C 源代码和三台计算机的安装基础，Dennis 认为 C 语言的变化太大了......