пост-оператор инкремента: Неожиданное поведение

Question

Можно создать дубликат:
Could anyone explain these undefined behaviors (i = i++ + ++i , i = i++, etc…)

Мой код выглядит следующим образом:

#include <stdio.h> 
int main() 
{ 
    int x = 10, y = 0; 
    x = x++; 
    printf("x: %d\n", x); 
    y = x++; 
    printf("y: %d\n", y); 
} 

Учитывая характер постинкремента, я будет ожидать следующий выход:

x: 10 
y: 10 

Мое рассуждение состоит в том, что в строкедолжно быть назначено его начальному значению после того,

Вместо этого, однако, я получаю это:

x: 11 
y: 11 

Порывшись в сборке, это выглядит как осознанный выбор мне:

LCFI2: 
     movl $10, -4(%rbp) // this is x 
     movl $0, -8(%rbp) // this is y 
     incl -4(%rbp)  // x is simply incremented 
     movl -4(%rbp), %esi 
     leaq LC0(%rip), %rdi 
     movl $0, %eax 
     call _printf 
     movl -4(%rbp), %eax // now x is saved in a register, 
     movl %eax, -8(%rbp) // copied to y, 
     incl -4(%rbp)  // and finally incremented 
     movl -8(%rbp), %esi 
     leaq LC1(%rip), %rdi 
     movl $0, %eax 
     call _printf 

Что здесь происходит? Является ли GCC пытаться спасти меня от себя? У меня нет ссылки на язык, но я бы подумал, что это нарушает предполагаемую семантику.

Answer 1

Поведение не определено, так как нет промежуточной точки последовательности в x = x++, см., Например, C FAQ.

Answer 2

Остается неопределенным на языке C относительно того, когда происходит сообщение post/pre-in/decment. Таким образом, такие заявления, как x = x++, не сформированы - избегайте их.

Answer 3

Когда у вас есть:

a = b++; 

, что происходит в том, что б сохраняется к и после того, как распайка делается б увеличивается на единицу. Так что если вы делаете:

x = x ++; 

и ранее х было 10, что будет происходить в 10 будет сохранен х и после (до вашего Printf делается) х увеличивается на единицу до 11. Вот почему 11 печатается.

Answer 4

Стандарты в сторону (поскольку это не определено в отношении стандарта), то, как он работал, так я ожидал.

Мое правило заключается в том, что для линии с x++, вы заменяете x++ с x и поставить x += 1 на следующей строке (или предыдущей линии для преинкремента).

После этого правило, ваш код должен быть написан так

#include <stdio.h> 
int main() 
{ 
    int x = 10, y = 0; 
    x = x; // x: 10 
    x += 1; // x: 11 
    printf("x: %d\n", x); 
    y = x; // y: 11 
    x += 1; // x: 12 
    printf("y: %d\n", y); 
}