空合并运算符的右结合如何表现？

Question

null 合并运算符是右结合的，表示形式为

第一？？第二个??第三个

被评估为

第一？？ （第二个？？第三个）

基于上述规则，我认为下面的翻译是不正确的。

发件人：

Address contact = user.ContactAddress;
if (contact == null)
{
    contact = order.ShippingAddress;
    if (contact == null)
    {
        contact = user.BillingAddress;
    }
}

收件人：

Address contact = user.ContactAddress ??
                  order.ShippingAddress ??
                  user.BillingAddress;

相反，我认为以下是正确的（如果我错了，请纠正我）

Address contact = (user.ContactAddress ?? order.ShippingAddress) ??
                   user.BillingAddress;

Answer 1

这个规范实际上是自相矛盾的。

C# 4 规范的第 7.13 节指出：

null 合并运算符是右关联的，这意味着操作是从右到左分组的。例如，a ?? b ?? c 形式的表达式被计算为a ?? (b ?? c)。

另一方面，正如已经指出的那样，7.3.1 声称：

除了赋值运算符，所有二元运算符都是左结合的

我完全同意，对于简单的情况，如何进行分组并不重要......但在某些情况下，由于隐式类型转换会在操作数的情况下做一些有趣的事情，可能有不同的类型。

我会进一步考虑，ping Mads 和 Eric，并在深度 C# 的相关部分添加勘误表（这激发了这个问题）。

编辑：好的，我现在有一个例子，它确实很重要......并且空合并运算符绝对是正确-关联的，至少在MS C# 4 编译器。代码：

using System;

public struct Foo
{
    public static implicit operator Bar(Foo input)
    {
        Console.WriteLine("Foo to Bar");
        return new Bar();
    }

    public static implicit operator Baz(Foo input)
    {
        Console.WriteLine("Foo to Baz");
        return new Baz();
    }
}

public struct Bar
{
    public static implicit operator Baz(Bar input)
    {
        Console.WriteLine("Bar to Baz");
        return new Baz();
    }
}

public struct Baz
{
}


class Test
{
    static void Main()
    {
        Foo? x = new Foo();
        Bar? y = new Bar();
        Baz? z = new Baz();

        Console.WriteLine("Unbracketed:");
        Baz? a = x ?? y ?? z;
        Console.WriteLine("Grouped to the left:");
        Baz? b = (x ?? y) ?? z;
        Console.WriteLine("Grouped to the right:");
        Baz? c = x ?? (y ?? z);
    }
}

输出：

Unbracketed:
Foo to Baz
Grouped to the left:
Foo to Bar
Foo to Bar
Bar to Baz
Grouped to the right:
Foo to Baz

换句话说，

x ?? y ?? z

行为与

相同

x ?? (y ?? z)

但不与

相同

(x ?? y) ?? z

我目前不确定为什么在使用 (x ?? y) ?? z 时会有两次从 Foo 到 Bar 的转换 - 我需要更仔细地检查一下...

编辑：我现在有 another question 来涵盖双重转换...

Answer 2

乔恩的回答是正确的。

要明确一点：C# 中的?? 运算符是右结合。我刚刚检查了二元运算符解析器并验证了解析器将?? 视为右关联。

正如 Jon 所指出的，规范说 ?? 运算符是右关联的，并且除了赋值之外的所有二元运算符都是左关联的。由于规范自相矛盾，显然只有其中一个是正确的。我会将规范修改为：

除了简单赋值、复合赋值和空合并运算符外，所有二元运算符都是左结合的

更新：如 cmets 中所述，lambda 运算符 => 也是右关联的。

Answer 3

我看不出这两者有什么关系：

(a ?? b) ?? c

和

a ?? (b ?? c)

结果一样！

Answer 4

两者都按预期工作并且有效相同，因为表达式涉及简单类型（谢谢@Jon Skeet）。它将在您的示例中从左到右链接到第一个非空值。

将此运算符与operators of different precedence 结合使用时，优先级（感谢@Ben Voigt）更有趣：

value = A ?? B ? C : D ?? E;

基本上，关联性通过运算符优先级或用户引入的子表达式（括号）固有地表达。