如果条件简化

Question

我正在重构一个代码片段，在其中我看到了以下条件，我想知道它是否被简化了。

data.RecordId != 0 || (data.RecordId == 0 && data.SerialNum == "0000")

不是data.RecordId == 0 || data.SerialNum == "0000"一样吗？

如果可能的话，怎么可能？能详细点吗？

Answer 1

是的，这是可能的，假设你有一个错字（！= 不是 ==）...

让 Wolfram Alpha 解释一下：

R!=0 ? （R = 0？S = 0）

被简化为：

R!=0 ? S = 0

一步一步的解释：

x v (y ? z) = (x ? y) ? (x ? z)

在你的情况下：

R! ? (R ? S) = (R! ? R) ? (R! ? S)

where(R! ? R)始终为真，您可以将其省略为 and 逻辑中的第一个操作数：

R! ? (R ? S) = true ? (R! ? S)

R! ? (R ? S) =  (R! ? S)

瞧

但是我看到了另一种运行时差异，它处理的快捷方式评估&&：

如果 data.RecordId == 0 在较长的表达式中为 false，则不会使用 data.SerialNum 评估正确的部分，这可以避免获得 null ref。