Sử dụng hợp lệ toán tử có điều kiện?

Question

Hãy xem xét các đoạn mã sau:

int i, k, m; 
k = 12; 
m = 34; 
for (i = 0; i < 2; i++) ((i & 1) ? k : m) = 99 - i; 
printf("k: %ld m: %ld\n\n", k, m); 

Trong ví dụ ngớ ngẩn này, khái niệm nhà điều hành có điều kiện là một phím tắt cho:

if (i & 1) k = 99 - i; else m = 99 - i; 

trình biên dịch của tôi không phàn nàn và thực hiện các đoạn mã này cung cấp cho các sản lượng được mong đợi

k: 98 m: 99 

Câu hỏi của tôi, liệu đây có phải là mã hợp lệ theo tiêu chuẩn C không? Tôi chưa bao giờ thấy bất cứ điều gì giống như nó được sử dụng trước đây.

Answer 1

Footnote 110 trong tiêu chuẩn C11:

Một biểu thức điều kiện không mang lại một giá trị trái.

Và 6.5.16 đoạn 2:

Một toán tử gán sẽ có một giá trị trái sửa đổi như toán hạng trái của nó.

Vì vậy, không, mã đó không tuân thủ tiêu chuẩn C.

Trong C++ 11, nó là hợp lệ:

Nếu toán hạng thứ hai và thứ ba là lvalues ​​và có cùng loại, kết quả là loại đó và là một giá trị trái.

Vì vậy, đây là một trong những góc bụi khác nơi C và C++ khác nhau đáng kể. Nếu trình biên dịch của bạn không tạo ra lỗi, thì tôi đoán bạn đang sử dụng trình biên dịch C++ với "chế độ C", chứ không phải trình biên dịch C thích hợp; MSVC?

Answer 2

Nó có giá trị sử dụng có điều kiện như một lval trong C++, nhưng không phải trong C.

Trong C++ (IEC ISO 14882: 1998 (E) 5.16.4)

Nếu thứ hai và toán hạng ba là các giá trị và có cùng loại, kết quả là loại đó và là một giá trị.

gợi ý Nếu bạn muốn sử dụng thủ thuật tương tự như trong C, bạn nên sử dụng:

ISO/IEC 9899: TC2, 6.5.14.6

Nếu cả hai toán hạng thứ hai và thứ ba là con trỏ hoặc một là một hằng số con trỏ null và con trỏ khác là một con trỏ, kiểu kết quả là một con trỏ đến một loại có đủ điều kiện với tất cả các loại vòng loại của các loại được trỏ tới bởi cả hai toán hạng.

*((i & 1) ? &k : &m) = 99 - i; 

Answer 3

Đây không phải là hợp pháp C và trình biên dịch chấp nhận sai.Tuy nhiên, bạn có thể làm điều tương tự với:

*((i & 1) ? &k : &m) = 99 - i; 

và nó trở thành quy phạm pháp luật C.