Dart 3.0中switch expression为何无法单独作为语句编译？

Dart和Rust在这里的差异，核心是两种语言对表达式语句的语法规则不同：

Dart的语法限制 #

Dart规范中，只有特定类型的表达式才能直接作为独立语句（即表达式语句），包括：

• 赋值表达式（比如x = 1;）
• 自增/自减表达式（x++;、--y;）
• 函数/方法调用表达式（print('hello');）
• 标识符（比如直接写变量名foo;）
• 字面量（像3;这种数字、字符串字面量）

switch表达式虽然是表达式，但不属于上述被允许的类型，因此单独写成switch (...) { ... };会触发语法错误。而当你把它赋值给变量（哪怕是占位符_）时，整个结构变成了赋值表达式，符合Dart对表达式语句的要求，因此可以正常编译。

官方文档中“可在任何允许使用表达式的场景中使用”的描述，指的是表达式能出现的位置（比如赋值右侧、函数返回值、作为函数参数等），独立的语句位置并不属于这个范畴——因为Dart对表达式语句有额外的类型限制。

Rust的语法规则 #

Rust的表达式语句规则更宽松：任何表达式只要末尾加分号，就可以作为语句使用（此时表达式的返回值会被丢弃）。因此Rust中的match表达式（对应Dart的switch表达式）可以直接作为独立语句存在，无需绑定到变量。

内容的提问来源于stack exchange，提问作者ynn