ternary có điều kiện và toán tử gán ưu tiên

Question

Tôi đang bối rối về phân công trực tiếp và ternary có điều kiện khai thác được ưu tiên:

#include<stdio.h> 
int main(void) 
{ 
    int j, k; 

    j = k = 0; 
    (1 ? j : k) = 1; // first 
    printf("%d %d\n", j, k); 

    j = k = 0; 
    1 ? j : k = 1; // second 
    printf("%d %d\n", j, k); 
    return 0; 
} 

Tôi mong chờ đầu ra là:

1 0 
1 0 

Nhưng nó sẽ xảy ra là:

1 0 
0 0 

Plus Tôi nhận được cảnh báo này:

main.cpp: 20: cảnh báo: tuyên bố không có tác dụng

đó là khoảng dòng tôi nhận xét như thứ hai.

Vì toán tử gán trực tiếp có ít ưu tiên hơn toán tử điều kiện bậc ba, tôi đã mong các dòng được nhận xét là đầu tiên và thứ hai là tương đương. Nhưng không phải vậy.

Tôi cố gắng này với g ++ --version (Ubuntu 4.4.3-4ubuntu5) 4.4.3

Answer 1

Nhà điều hành được ưu tiên trong thư mục C/C++ ngôn ngữ không được định nghĩa bằng một bảng hoặc số, nhưng bằng ngữ pháp. Đây là ngữ pháp cho toán tử có điều kiện từ C++0x draft chương 5.16 Toán tử điều kiện [expr.cond]:

 
conditional-expression: 
    logical-or-expression 
    logical-or-expression ? expression : assignment-expression 

Bảng ưu tiên như this one Do đó đúng khi bạn sử dụng phân ở phía bên trái của doublecolon, nhưng không phải khi sử dụng trên bên phải. Lý do cho sự không đối xứng này tôi không có ý tưởng. Nó có thể là một lý do lịch sử: trong C kết quả có điều kiện không phải là lvalue, do đó gán một cái gì đó cho nó không có ý nghĩa, và cho phép chuyển nhượng được chấp nhận mà không có dấu ngoặc đơn có vẻ thông minh tại thời điểm đó.

Answer 2

Dòng thứ hai là tương đương với:

1 ? (j) : (k = 1); 

Đó là giống như:

j; 

Tương tự như:

; 

Điều quan trọng là hai toán hạng của toán tử điều kiện bậc ba có thể là các biểu thức , do đó, toán tử ưu tiên không có liên quan ở đây. Đơn giản là toán hạng thứ hai là biểu thức gán k = 1.

Answer 3

Trong trường hợp thứ hai,

1 ? j : k = 1; 

được đánh giá là:

(1) ? (j) : (k = 1); 

và từ một đánh giá để true, khái niệm để đánh giá j mà không làm gì.

Answer 4

(1 ? j : k) = 1; 

tương đương với,

if(true) j = 1; 
else k = 1; 

Và,

1 ? j : k = 1; 

tương đương với,

if(true) j; // warning: statement has no effect 
else k = 1;