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

【问题标题】：How does the compiler evaluate a condition in C编译器如何评估 C 中的条件
【发布时间】：2015-10-04 20:48:05
【问题描述】：

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

【解决方案1】：

根据 C 标准（6.5.13 逻辑与运算符）

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

至于逻辑或运算符（6.5.14 逻辑或运算符）则

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

【讨论】：

【解决方案2】：

正如其他人已经说过的那样 && 是一个短路运算符，在&& 的情况下，一旦知道结果就会终止评估（这发生在 L-> 任何操作数的计算结果为零/假就足够了从 0 && a = 0) 停止进一步评估的条件

简单来说就是你的伪代码：

if( (today is Thursday) && (Month is July) )
{
 //do something
}

等价于：

if (today is Thursday)
{
    if (Month is July)
    {
        //do something
    }
}

【讨论】：

【解决方案3】：

使用此图表：

http://www.swansontec.com/sopc.html

你会看到 && 运算符是从左到右计算的。

一旦在 && 中遇到“假”表达式，执行“快捷方式”退出其余的求值。

所以如果第一个表达式为假，则不计算第二个表达式

【讨论】：

【解决方案4】：

&& 运算符在 C 下短路。这意味着如果评估的第一个条件失败并且足以决定表达式的结果，它将在那里终止。

【讨论】：