编译器如何评估C中的条件

Question

我有一个关于编译器如何评估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) 

Answer 1

根据C标准(6.5.13逻辑AND运算符)

4与按位二进制和运算符不同,&&运算符保证从左到右的评估; 如果计算第二个操作数,则在第一个和第二个操作数的计算之间存在一个序列点.如果第一个操作数比较等于0,则不计算第二个操作数.

至于逻辑OR运算符(6.5.14 Logical OR运算符)

4与按位|不同 运算符,|| 运营商保证从左到右的评估; 如果计算第二个操作数,则在第一个和第二个操作数的计算之间存在一个序列点.如果第一个操作数比较不等于0,则不计算第二个操作数.