为什么“bool”上没有提升的短路运算符？

Question

为什么 bool? 不支持提升的 && 和 ||？他们本可以提升 true 和 false 运算符，从而间接添加提升的 && 和 || 。

运算符 | 和 & 已被提升并实现正确的 三值逻辑。当然，它们并不像 || 和 && 那样短路。

问题是为什么他们决定在创建规范时不取消这些操作员。所以“它是这样的，因为规范是这么说的”并不是“为什么？”的答案。

当提升 true 和 false 以使 null 既不是 true 也不是 false

public static bool operator true(bool? x) 
{
    return x.HasValue && x.Value
}

public static bool operator false(bool? x) 
{
  return x.HasValue && !x.Value
}

时 ：会导致 && 和 || 的行为就像它们的非短路对应项一样。除了 false &&任何内容 和true ||任何东西都会短路（在这两个示例中，false 和 true 不是编译时常量）。

这与 MSDN 上的 DBBool 示例非常相似。

我认为提升这些操作员不会带来任何令人惊讶或危险的行为。我错过了什么吗？

我已经阅读了另一个SO问题，但没有找到令人满意的答案。

---

Jeff Yates 的回答给出了为什么提升 true/false 运算符不是最佳选择的一个很好的理由，它没有解释为什么提升 && 和 || 直接是不好的。由于运算符提升是编译器的魔法，特殊情况 Nullable 它不需要遵循普通类型的重载规则，因此能够提供 && >/|| 而不提升 true。

Answer 1

您的建议将为可为空类型创建两种不同的使用模式。

请考虑以下代码：

bool? a = null;

// This doesn't currently compile but would with lifted true/false operators.
if (a)
{
}

// Whereas this provides a consistent use of nullable types.
if (a ?? false)
{
}

为了保持可空类型使用的一致性，不要在 bool 上提升 true 和 false 运算符是有意义的。我不知道这是否是未完成的真正原因，但这对我来说是有道理的。

Answer 2

由于您表明提升 true 和 false 在技术上是可能的，因此您的问题只有两个可能的答案（“他们”是编写编译器/规范的人） ：

1. 这是规范中的错误，即。他们没有想到这一点。 （有可能，但我对此表示怀疑）
2. 他们认为解除短路运算符可能容易出错。这可能与为什么 C# 完全基于类（没有 C++ 中的唯一函数）或为什么像 if (myNullVar) { ... } 这样的语句（使用 myNullVar 作为参考）在 C# 中不起作用（但在 C/C++ 中起作用）。

我认为在让编程语言变得更强大和减少出错之间总是需要取得平衡。

更新：只是为了您的兴趣，这就是官方文档 说：

这是不允许的，因为不清楚 null 在条件上下文中意味着什么。

Answer 3

假&& everything 与 false 相同。但是，如果您期望 false &&仅当 anything 为 false 时，anything 才为 true，那么 !anything 就是您想要的。

另外，true || everything 与 true 相同。 ...而且我不确定如何让它在任何条件下返回 false，因为让“这个或那个”什么都不返回是没有意义的！

...既然条件如此简单明了，为什么还要增加额外的权重呢？

我通常不擅长“因为就是这样”，但我看不到添加此类功能的优势。