printf 中的一元运算符

Question

谁能解释一下以下的输出。我试图推理一切，并可以解释后面的部分，其中“x”被分配了表达式的值，但无法理解 printf 语句中的答案有何不同！

不同的编译器可能表现不同。如果有人能为任何编译器解释这种行为，那就太好了。

我在 openSUSE 12.1 (Asparagus) (i586) 上使用 gcc (SUSE Linux) 4.6.2

代码：

#include<stdio.h>

int main()
{
unsigned int x=0;
printf("expr= %d x=%d\n",(x^x),x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",(x^x)||x++,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",(x^x)||x++||++x,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",(x^x)||x++||++x||x++,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",x++,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",++x||x++,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",x++||++x||x++,x);
printf("x=%d\n",x);
x=0;
printf("expr= %d x=%d\n",(x^x)||x++||++x||x++,x);
printf("x=%d\n",x);
x=0;
(x^=x);
printf("x=%d\n",x);
x=0;
(x^=x)||x++;
printf("x=%d\n",x);
x=0;
(x^=x)||x++||++x;
printf("x=%d\n",x);
x=0;
(x^=x)||x++||++x||x++;
printf("x=%d\n",x);

return 0;
}

输出：

expr= 0 x=0
x=0
expr= 0 x=1
x=1
expr= 1 x=2
x=2
expr= 1 x=2
x=2
expr= 0 x=1
x=1
expr= 1 x=1
x=1
expr= 1 x=2
x=2
expr= 1 x=2
x=2
x=0
x=1
x=2
x=2

谢谢

Answer 1

您正在调用未指定的行为。

在像 func(a,b) 这样的表达式中，C 标准没有指定应该首先计算哪个参数；编译器可以自由地执行任一操作。

所以现在考虑 func(x++,x);未指定它是否等同于 this:

a = x++;
b = x;
func(a,b);

或 this:

b = x;
a = x++;
func(a,b);

Answer 2

printf("expr= %d x=%d\n",(x^x)||x++||++x,x);

此函数显示未指定的行为。 (x^x)||x++||++x 和 x 之间的求值顺序未指定。

程序中的大多数其他 printf 调用都存在相同的问题。

(C99, 6.5.2.2) “函数指示符、实际参数和的求值顺序
实际参数中的子表达式未指定，但有一个序列点
在实际调用之前。”

输出依赖于未指定行为的程序不是严格符合的程序（参见 C99，4.p5）。