Có các điểm trình tự trong biểu thức a^= b^= a^= b hay không xác định?

Question

Cách bị cáo buộc "thông minh" (nhưng thực sự không hiệu quả) của trao đổi hai biến số nguyên, thay vì sử dụng lưu trữ tạm thời, thường liên quan đến dòng này:

int a = 10; 
int b = 42; 

a ^= b ^= a ^= b; /*Here*/ 

printf("a=%d, b=%d\n", a, b); 

Nhưng tôi tự hỏi, hợp chất toán tử gán như ^= là không phải là điểm chuỗi, đúng không? Điều này có nghĩa là nó thực sự là hành vi không xác định?

Answer 1

a ^= b ^= a ^= b; /*Here*/ 

Hành vi không xác định.

Bạn đang sửa đổi một đối tượng (a) nhiều hơn một lần giữa hai điểm chuỗi.

(C99, 6.5p2) "Giữa các điểm trình tự trước và bên cạnh một đối tượng có trách nhiệm đã được lưu trữ giá trị của nó biến đổi cùng lúc nhiều nhất bởi việc đánh giá một biểu thức.

bài tập đơn giản cũng như phức hợp bài tập không giới thiệu một điểm theo thứ tự. ở đây có một điểm chuỗi trước khi biểu thức tuyên bố thể hiện và sau khi báo cáo kết quả biểu hiện.

điểm trình tự được liệt kê trong Phụ lục C (Tham khảo) của c99 và C11 Standard.

Answer 2

^= không điểm theo thứ tự, là họ

Họ không phải.

Điều này có nghĩa là hành vi thực sự không xác định?

Vâng. Không sử dụng kỹ thuật "thông minh" này.

Answer 3

Không có điểm chuỗi trong biểu thức đó, do đó, nó tạo ra hành vi không xác định.

Bạn có thể sửa chữa nó trivially và giữ lại hầu hết các tính cô đọng bằng cách sử dụng toán tử dấu phẩy, mà không giới thiệu điểm trình tự:

a ^= b, b ^= a, a ^= b; 

Answer 4

Thứ tự của các đánh giá của các nhà khai thác ^= cũng được xác định. Những gì không được xác định rõ ràng là thứ tự trong đó a và b được sửa đổi.

a ^= b ^= a ^= b; 

tương đương với

a ^= (b ^= (a ^= b)); 

Một nhà điều hành không thể được đánh giá trước đối số của nó được đánh giá, vì vậy nó chắc chắn sẽ thực hiện a ^= b đầu tiên.

Lý do để có hành vi không xác định này là, để cho trình biên dịch linh hoạt hơn trong việc tối ưu hóa, nó được phép sửa đổi các giá trị biến theo bất kỳ thứ tự nào nó chọn.Nó có thể chọn để làm điều này:

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a1; 
a = a2; 
b = b1; 

hay này:

int a1 = a^b; 
int b1 = b^a1; 
a = a1; 
int a2 = a^b1; 
a = a2; 
b = b1; 

hoặc ngay cả điều này:

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a2; 
a = a1; 
b = b1; 

Nếu trình biên dịch chỉ có thể chọn một trong ba cách để làm điều gì đó, điều này sẽ chỉ là hành vi "không xác định". Tuy nhiên, tiêu chuẩn đi xa hơn và làm cho hành vi này là "không xác định", về cơ bản cho phép trình biên dịch giả định rằng nó thậm chí không thể xảy ra.