``??`` 运算符是否使用短路？

Question

C# 中的 ?? 运算符在求值时是否使用短路？

var result = myObject ?? ExpressionWithSideEffects();

当myObject为非空时，ExpressionWithSideEffects()的结果不会被使用，但是ExpressionWithSideEffects()会被完全跳过吗？

Answer 1

是的，确实会短路。

以下是在 LinqPad 中测试的代码片段：

string bar = "lol";
string foo = bar ?? string.Format("{2}", 1);
foo.Dump();
bar = null;
foo = bar ?? string.Format("{2}", 1);
foo.Dump();

第一个合并工作时不会引发异常，而第二个合并会引发异常（格式字符串无效）。

Answer 2

是的，确实如此。一如既往，C# 语言规范是权威来源¹。

来自 C# 3 规范第 7.12 节（v3 而不是 4，因为 v4 规范涉及动态细节，这些细节与此处并不真正相关）：

表达式 a ?? 的类型b 取决于操作数类型之间可用的隐式转换。按照优先顺序， ?? 的类型b 是 A0、A 或 B，其中 A 是 a 的类型，B 是 b 的类型（前提是 b 具有类型），如果 A 是可空类型，则 A0 是 A 的基础类型，否则是 A 。具体来说，a ?? b 被处理为
如下：

• 如果 A 不是可为 null 的类型或引用类型，则会出现编译时错误
  发生。
• 如果 A 是可以为 null 的类型，并且存在从 b 到
  A0，结果类型为A0。在
  运行时，a 首先被评估。如果一个
  不为空，a 被解包以输入
  A0，这就是结果。
  否则，计算 b 并
  转换为 A0 类型，这变成
  结果。
• 否则，如果存在从 b 到 A 的隐式转换，则结果类型为
  A. 在运行时，首先评估 a。
  如果 a 不为空，则 a 变为
  结果。否则，计算 b 并
  转换为类型 A，就变成了
  结果。
• 否则，如果 b 具有类型 B 并且存在从 A0 到
  B，结果类型为B。运行时，
  a 首先被评估。如果 a 不是
  null，a 被解包为类型 A0
  （除非A和A0是同一类型）
  并转换为 B 型，这
  成为结果。否则，b 是
  评估并成为结果。
• 否则，a 和 b 不兼容，并且会出现编译时错误。

第二、第三和第四个项目符号是相关的。

---

¹ 关于您碰巧使用的编译器是否是实际真相来源，需要进行一场哲学讨论...某种语言的真相是什么 >打算做什么或者它目前做什么？

Answer 3

这就是我们进行单元测试的原因。

    [TestMethod]
    public void ShortCircuitNullCoalesceTest()
    {
        const string foo = "foo";
        var result = foo ?? Bar();
        Assert.AreEqual(result, foo);
    }

    [TestMethod]
    [ExpectedException(typeof(ArgumentException))]
    public void ShortCircuitNullCoalesceFails()
    {
        const string foo = null;
        var result = foo ?? Bar();
    }

    private static string Bar()
    {
        throw new ArgumentException("Bar was called");
    }

这些不是最好的测试名称，但您明白了。它表明空合并运算符按预期短路。