编译器如何评估C中的条件
我有一个关于编译器如何评估c中“AND”条件的问题。
说，我写一个声明就像
if( (today is Thursday) && (Month is July) ) { //do something } 假设今天不是星期四，但月份确实是七月。
编译器是否检查两个条件，并执行1＆0 == 0？ 或者，一旦它看到今天不是星期四，它就会跳出来，甚至懒得查看月份状况，因为它无关紧要。
我正在使用以下gcc
Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.6 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --enable-objc-gc --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5)
根据C标准（6.5.13逻辑AND运算符）
4与按位二进制和运算符不同，&&运算符保证从左到右的评估; 如果评估第二个操作数，则在第一个和第二个操作数的评估之间存在一个序列点。 如果第一个操作数比较等于0，则不计算第二个操作数。
至于逻辑OR运算符（6.5.14逻辑OR运算符）
4与按位|不同 运算符，|| 运营商保证从左到右的评估; 如果评估第二个操作数，则在第一个和第二个操作数的评估之间存在一个序列点。 如果第一个操作数比较不等于0，则不计算第二个操作数 。
&&运算符在C下短路。这意味着如果评估的第一个条件失败并且足以决定表达式的结果它将在那里终止。
正如其他人已经说过&&是一个短路算子，在&&情况下，一旦结果已知就会终止评估（当L->任何操作数评估为零/假时发生这种情况，这是停止进一步评估的充分条件因为0 && a = 0）
不久你的伪代码：
if( (today is Thursday) && (Month is July) ) { //do something }
相当于：
if (today is Thursday) { if (Month is July) { //do something } }
使用此图表：
http://www.swansontec.com/sopc.html
您将看到&&运算符从左到右进行求值。
一旦在&&中遇到’false’表达式，执行’快捷方式’就会超出评估的其余部分。
因此，如果第一个表达式为false，则不计算第二个表达式