谜题1.3 逻辑操作符和增量操作符
请问,下面这个程序的输出是什么?
#define PRINT(int) printf("%d/n",int)
main()
{
int x, y, z;
x = 2; y = 1; z = 0;
x = x && y || z; PRINT(x); (1.3.1)
PRINT( x || ! y && z ); (1.3.2)
x = y = 1;
z = x ++ - 1; PRINT(x); PRINT(z); (1.3.3)
z += - x ++ + ++ y; PRINT(x); PRINT(z); (1.3.4) <-------
z = x / ++ x; PRINT(z); (1.3.5)
}
输出:
1 (1.3.1)
1 (1.3.2)
2 (1.3.3)
0
3 (1.3.4)
0
? (1.3.5)
解惑1.3 逻辑操作符和增量操作符
1.3.1
初始值:x=2,y=1,z=0 | |
x = x && y || z | |
x = (x && y) || z | 按照操作符的优先级和关联规则进行绑定。 |
(x = ((TRUE && TRUE) || z)) | 逻辑操作符的求值顺序是从左到右。逻辑操作符的操作数如果是0,则解释为FALSE;如果是非零值,则解释为TRUE。 |
(x = (TRUE || z)) | 只有两个操作数都是TRUE,逻辑与(&&)的结果才会是TRUE;其他情况的求值结果都将是FALSE。 |
(x = (TRUE || 任意值)) | 只要有一个操作数是TRUE,那么不管另一个操作数是什么,逻辑或(||)的结果都将是TRUE。因此,我们不必再对这个表达式继续求值了。 |
(x = TRUE) |
再谈define:这个程序里的define语句与前一个程序里的define语句有所不同:这个程序里的“PRINT”是一个带参数的宏。在遇到带参数的宏时,C语言的预处理器将分两步进行替换:先把宏定义里的形式参数替换为实际参数,再把宏调用替换为宏定义体。
在这个程序里,“PRINT”宏有一个形式参数int。“PRINT(x)”是使用实际参数“x”进行的“PRINT”调用。在扩展“PRINT”调用的时候,C语言预处理器会先把宏定义里的所有“int”替换为“x”,再把宏调用“PRINT(x)”替换为结果字符串“printf("%d/n", x)”。请注意,形式参数int并不是匹配单词“printf”里的“int”字符的。这是因为宏定义里的形式参数是标识符——具体到这个例子,形式参数int只对标识符int进行匹配和替换。
1.3.2
初始值:x=1,y=1,z=0 | |
x || ! y && z | |
x || (! y) && z | 对操作符和操作数进行绑定。 |
(TRUE || ((! y) && z)) | 按从左到右的顺序求值。 |
1.3.3
初始值:x=1,y=1 | |
z = x ++ - 1 | |
z = (x ++) – 1 | 对操作符和操作数进行绑定。 |
(z = (1 - 1)),此时x=2 (z = 0) | 出现在操作数右边的“++”操作符是所谓的“后”递增操作符:先在表达式里用该操作数完成有关的计算,再对它进行递增。 |
1.3.4
初始值:x=2,y=1,z=0 | |
z += - x ++ + ++ y | |
z += - (x ++) + (++ y) | 一元操作符的关联是从右到左,因而“++”操作符将先于一元操作符“-”得到绑定。(事实上,如果先去绑定“-”操作符的话,这个表达式将无法成立。这是因为“++”和“--”操作符都要求以一个变量(更准确地说,以一个“左值”)作为其操作数。“x”是一个左值,但“-x”不是。) |
z += (- (x ++)) + (++ y) | |
(z += ((-2) + 2)),此时x=3,y=2 | 按照从内到外的顺序依次求值。 |
关于记号:计算机程序的源代码文本是由一系列记号构成的,而编译一个程序的第一项工作就是把那些记号一个一个地分解开。这在绝大多数场合都没有什么困难,但有些字符序列可能会让人感到困惑。比如说,如果上面这个例子里的表达式有一部分根本没有空格——就像下面这样:
x+++++y
那么,这个没有空格的表达式与有空格的表达式还会是等价的吗?
为避免产生二义性,如果一个字符串能够解释为多个操作符,C语言编译器将按照“构成操作符的字符个数越多越好”的原则来作出选择。根据这一原则,“x+++++y”解释为:
x++ ++ + y
而这已经不是一个合法的表达式了。
1.3.5
初始值:x=3,z=0 | |
z = x / ++ x |
如果你还像以前那样按照从内到外的顺序对这个表达式进行求值,即先对x进行递增,然后作为除数、用x作被除数去进行除法计算。问题是:作为被除数的x到底是几?是3还是4?换个问法,被除数到底是递增前的x值,还是递增后的x值?请注意,C语言并没有对这种“副作用”作出明确的规定,而是由C编译器的编写者决定的。这个例子的教训是:如果你无法断定会不会产生副作用,那么就尽量不要写这样的表达式。
小结:
1. 编译器识别表达式遵循“大嘴法”或“贪心法”,即尽可能多的读入有意义的字符,注意空格可以分隔字符
2. z += - x ++ + ++ y :一元操作符的关联是从右到左,因而“++”操作符将先于一元操作符“-”得到绑定。
3. !优先级高于&&的优先级高于||,即!-->&&-->||
当&&左边为False时,不再计算右边,相应地,||左边为True时,不在计算右边。
4.未定义: (z = (x / (++ x)))