很久以前，我在一个论坛上偶然发现了一个有趣的问题，我想知道答案.
考虑以下C函数:
f1.C
#include <stdbool.h>
bool f1()
{
int var1 = 1000;
int var2 = 2000;
int var3 = var1 + var2;
return (var3 == 0) ? true : false;
}
从var3 == 3000开始，这应该始终返回false.main函数如下所示:
主要的C
#include <stdio.h>
#include <stdbool.h>
int main()
{
printf( f1() == true ? "true\n" : "false\n");
if( f1() )
{
printf("executed\n");
}
return 0;
}
因为f1()应该总是返回false，所以人们希望程序只在屏幕上打印一个false.但编译并运行后，executed也会显示:
$ gcc 主要的C f1.C -o test
$ ./test
false
executed
为什么？这段代码是否有某种未定义的行为？
注:我是用gcc (Ubuntu 4.9.2-10ubuntu13) 4.9.2编译的.