我偶然发现了以下一对C ++语法规则:
conditional-expression:
logical-or-expression
logical-or-expression ? expression : assignment-expression
^^^^^^^^^^^^^^^^^^^^^
assignment-expression:
conditional-expression
^^^^^^^^^^^^^^^^^^^^^^
unary-expression assignment-operator assignment-expression
throw assignment-expression_opt
注意规则是如何相互递归的:条件表达式是指赋值表达式(规则2),赋值表达式是指到条件表达式(规则1)。
这对运营商优先级意味着什么?通常,强绑定运算符的非终端出现在弱绑定运算符的规则的右侧,但不是相反,对吧?这就是困扰我的,特别是:
一方面,a = b ? c : d
表示a = (b ? c : d)
,表示?:
绑定更强。
另一方面,a ? b : c = d
表示a ? b : (c = d)
,表示=
绑定更强。
传统意义上的运算符优先级的概念在这里不适用吗?为什么呢?