Post-Tăng điều hành: Hành vi bất ngờ

Question

thể trùng lặp:
Could anyone explain these undefined behaviors (i = i++ + ++i , i = i++, etc…)

Mã của tôi là như sau:

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

Do tính chất của bài thặng dư, tôi mong đợi kết quả sau:

x: 10 
y: 10 

Lý do của tôi là ở dòng 5, x nên được gán cho giá trị ban đầu của nó sau khi gia tăng diễn ra.

Thay vào đó, tuy nhiên, tôi có được điều này:

x: 11 
y: 11 

Đào vào lắp ráp, điều này trông giống như một sự lựa chọn có chủ ý với tôi:

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 

gì đang xảy ra ở đây? Có phải GCC đang cố gắng cứu tôi khỏi chính tôi? Tôi không có một tài liệu tham khảo ngôn ngữ tiện dụng nhưng tôi đã có thể nghĩ rằng điều này phá vỡ các ngữ nghĩa dự định.

Answer 1

Hành vi này không được xác định vì không có điểm chuỗi can thiệp trong x = x++, xem ví dụ: số C FAQ.

Answer 2

Nó không được xác định bởi ngôn ngữ C như khi nào chính xác một bài đăng/trước/giảm xảy ra. Do đó, các câu lệnh như x = x++ không được định dạng tốt - tránh chúng.

Answer 3

Khi bạn có:

a = b++; 

những gì đang xảy ra là b sẽ được lưu vào một và sau khi assigment được thực hiện b được tăng lên một. Vì vậy, nếu bạn làm:

x = x ++; 

và trước đó x là 10 gì sẽ xảy ra là 10 sẽ được lưu vào x và sau (trước khi printf của bạn được thực hiện) x được tăng lên bởi một đến 11. Đó là lý do tại sao 11 được in ra.

Answer 4

Tiêu chuẩn sang một bên (vì điều này không xác định đối với tiêu chuẩn), cách nó chạy là cách tôi mong đợi nó.

Quy tắc của ngón tay cái là đối với một phù hợp với x++, bạn thay thế x++ với x và đưa x += 1 trên dòng sau (hoặc trước dòng cho pre-increment).

Tiếp theo đó quy tắc của ngón tay cái, mã của bạn sẽ được viết như

#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); 
}