编译器和解释器会对源代码运算数和不同运算符的组合感到困惑,用优先级解决先算什么后算什么。相同优先级的组合也会让编译器困扰应该先做什么,结合性应运而生。
优先级基本原则
编译型语言一般遵循如下优先级原则:
- 单目运算符优先于双目运算符,双目运算符优先于三目运算符。
- 算术运算符优先于关系运算符,关系运算符优先于逻辑运算符。
- 大部分编程语言的运算符都是从左至右结合的,但是也有一些是从右至左结合的。例如,单目运算符(前缀后缀需要区分开)、三目运算符和赋值运算符是从右至左结合的。
- 大体规则:初级运算符( )、[ ]、->、. > 单目运算符(包含逻辑非!) > 算术运算符(先乘除后加减) > 关系运算符 > 逻辑运算符(不包括!, && > ||) > 条件运算符 > 赋值运算符 > 逗号运算符。
C++支持运算符重载,运算符优先级不受运算符重载影响。
正则表达式优先级
- 正则表达式元字符不止一种,依然存在优先级问题。比如,方括号比后向引用优先级更高。
条件运算符
不少人都困惑为什么a ? b : c结合性是从右向左?事实上,大家可能按照从左向右来推导,先判断a是否为真,为真得到b, 否则得到c. 这是计算过程的方向,和优先级结合性没半毛钱关系。结合性判断的是如下表达式:a ? b : c ? d : e是先算a ? b : c还是先算 c ? d : e. 现在大家都知道应该先算后面了。
两种"括号"运算符
- (int)p->data的括号和(int)(p->data)的第二个括号是完全两种运算符,前者是类型转换(type), 后者(p->data)是纯正的括号运算符,优先级很高。
(int)p->data 不要被理解为先将p转换成int类型,而是先计算p->data, 然后强制转换为int.
运算符优先级易错示例
- C
- a << 2 - b ===> a << (2 - b)
- if (status & ENALBE != 0) ===> if (status & (ENABLE != 0))
- while (c = getchar() != EOF) ===> while (c = (getchar() != EOF))
- PHP && || 和 and or
- and和or虽然也是逻辑与和或,它们的优先级是小于&&和||的,需要特别注意。
- and和or虽然也是逻辑与和或,它们的优先级是小于&&和||的,需要特别注意。