Question

C语言中表达式1 | | （表达式2） &&表达式3 为什么先执行表达式1？

C语言中表达式1 | | （表达式2） &&表达式3 为什么先执行表达式1

Answer 1

按照C语言优先级, A || B && C相当于A || (B && C), 所以你可能默认了先执行B && C.
但是需要注意C语言的标准采用逻辑表达式短路求值: 对于d=X||Y, 如果X成立则不执行Y而直接得到d=1; 对于d=X&&Y若X不成立同样跳过Y直接得到d=0.
在你的例子里 A || (B && C) 先得到了A成立, 所以就跳过了余下的表达式.

追问

那为什么不先执行A&&B你没有回答

追答

因为根本就没有A&&B, 只有B&&C

追问

不是，我的意思是为什么没有先执行表达式2和3

追答

因为从左到右, 先执行了A已经能确定整个表达式的值了, 所以没有必要再执行B&&C, C语言规定了这样的情况下能省则省

追问

可是&&优先级不是更高嘛

追答

&&比||优先级高, 说明A||(B&&C)的括号可以去掉, 直接写成A||B&&C是一样的

但是优先级高不代表先运算, 这里的运算次序是(在不破坏优先级的情况下)从左到右
比如1+2+3+4*5, 运算的次序是先算1+2=3, 再算(1+2)+3=6, 再算4*5=20而不能算6+4, 这时候才体现出*比+高, 但之前的+都可以先算

追问

我让我朋友在Linux机器上关掉优化测试了，确实先执行&&；先执行语句一是因为编译器优化了

追答

我在Linux上用gcc -O0编译, 得到的是a=2 b=3 c=2 d=1
如果你的朋友得到了不同的结果, 那么说明那个编译器关闭了编译优化之后反而没有遵守C语言标准

Answer 2

||是C语言“逻辑或”操作符，A||B||C，它的执行顺序就是从左到右，当其中一个为真的时候，就不会执行后面的语句了，比如若A=1的话，B和C的都不会执行

Answer 3

根据运算符优先级A || B && C等效于A || (B && C)
即表达式整体是一个||表达式
||运算符是顺序点,要求先求左表达式值,若左表达式为0(假),在进行右表达式求值;脱左表达式值为非零(真),则右表达式不进行求值,表达式整体值为真(1)

Answer 4

d = c-- || (b=6) && a++; 等价于 d = c-- || ( (b=6) && a++ );
这把表达式就相当于 给了一个右边为真的逻辑或； 然后判断逻辑或左边是否为真；左边为真即整个表达式为真，右边的算术和赋值都不会再执行了；