新的 C# 8.0 switch 表达式的运算符优先级是什么?

What is the operator precedence for the new C# 8.0 switch expressions?

我刚刚将当前项目升级到新发布的 .NET Standard 2.1 和 C# 8.0,并决定将一些大型 switch 语句转换为新的、更紧凑的 expression syntax

由于返回值在某些计算中被进一步使用,我想知道当输入变量位于运算符旁边时新 switch 表达式的行为方式。

字符串连接的例子如下:

string input = Console.ReadLine();
string output = "Letter: " + input switch
{
    "1" => "a",
    "2" => "b",
    _ => "else"
};
Console.WriteLine(output);

我猜想 switchinput 变量的绑定非常紧密,因此首先被评估。事实上,当我输入 1.

时,它会打印 Letter: a

但我现在的问题是:这种行为是否适用于任何运算符?

根据我的实验,我无法确定上述假设不成立的情况,但这显然并不意味着我没有遗漏任何情况。文档似乎也没有在 switch 表达式的上下文中提及运算符优先级。还是我这里有更深层次的误解?

Roslyn 源表明 switch 表达式确实具有相当高的优先级,但有些东西具有更高的优先级,例如范围、一元运算符和强制转换。请参阅 Roslyn 源中的 here and here

演示 SyntaxKind.LogicalNotExpression (Precende.Unary) 更高优先级的示例代码:

var foo = false;
var bar = !foo switch {
    true => "true",
    false => "false"
};
Console.WriteLine(bar); // writes "true"