Swift中运算符可直接传入函数却需括号包裹赋值的语法产生式规则问询

咱们来拆解这两种场景背后的Swift语法产生式规则，搞清楚为什么一个能省略括号，另一个必须加：

1. 函数调用参数场景：直接用+合法的原因 #

你已经找到的这条规则是关键：

function-call-argument → operator | identifier ':' operator

在函数调用的参数列表里，function-call-argument这个语法节点直接允许使用operator作为合法选项。也就是说，当你写foo(+)时，编译器会直接把+匹配到function-call-argument的operator分支上，不需要任何额外包装就能识别这是对加法运算符对应函数的引用，完全符合语法规则。

2. 赋值场景：必须用(+)的原因 #

赋值语句的右侧要求是一个合法的表达式（expression），但Swift的语法产生式里，单独的operator本身并不属于expression的直接分支。

那(+)为什么合法？这要从primary-expression（基础表达式）的规则说起：

• primary-expression是expression的核心组成部分，它包含了parenthesized-expression（括号表达式）这个分支，定义是：

  parenthesized-expression → '(' expression-list? ')'
  

• 当括号里只放一个运算符时，编译器会把它解析为对该运算符对应函数的引用，此时(+)就成为了一个合法的primary-expression，自然也就符合赋值右侧对expression的要求。

错误原因解析 #

当你写let f: (Int, Int) -> Int = +时，编译器会尝试把+当作表达式，但找不到对应的语法规则匹配：

• 第一个错误Expected initial value after '='：因为+不是合法的表达式，编译器认为你没给变量提供有效的初始值；
• 第二个错误Unary operator cannot be separated from its operand：编译器退而求其次，把+当作了一元运算符，而一元运算符必须紧跟操作数，所以提示你它和操作数分离了。

总结两种场景的语法路径 #

• foo(+)：函数调用 → 参数列表 → 调用参数 → 运算符，完全匹配语法规则；
• let f = (+)：表达式 → 基础表达式 → 括号表达式 → 运算符，通过括号把运算符转换成了合法的表达式；
• let f = +：找不到任何合法的语法路径匹配，因此报错。

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