унарные операторы в printf

Question

Может ли кто-нибудь объяснить мне вывод следующего. Я попытался все рассуждать и могу объяснить более позднюю часть, где «x» присваивается значение выражения, но не может понять, как ответ отличается в заявлении printf !!!

Различные компиляторы могут вести себя по-разному. Было бы здорово, если бы кто-нибудь мог объяснить это поведение для любого компилятора.

Я использую GCC (SUSE Linux) 4.6.2 на OpenSUSE 12.1 (Asparagus) (i586)

код:

#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); это не определено, является ли это эквивалентно следующему:

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

или это:

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 вызовов в вашей программе имеют ту же проблему.

(С99, 6.5.2.2) «Порядок оценки функционального назначения, фактические аргументы, и подвыражения в пределах фактических аргументов не определена, но существует точка последовательности до фактического вызова.»

Программа, выход которой зависит от неуказанного поведения, не является строго соответствующей программой (см. C99, 4.p5).