Tại sao câu lệnh if này kết hợp phép gán và kiểm tra đẳng thức trả về đúng?

Tôi đã nghĩ về một số sai lầm của người mới bắt đầu và tôi đã kết thúc với một trong những if tuyên bố. Tôi đã mở rộng một chút mã này:

int i = 0;
if (i = 1 && i == 0) {
    std::cout << i;
}

Tôi đã thấy rằng iftuyên bố trả về đúng và nó coutlà inhư vậy 1. Nếu iđược gán 1trong câu lệnh if, tại sao i == 0lại trả về true?

Điều này phải làm với ưu tiên nhà điều hành .

if (i = 1 && i == 0)

không phải

if ((i = 1) && (i == 0))

bởi vì cả hai &&và ==có độ ưu tiên cao hơn =. Những gì nó thực sự làm việc là

if (i = (1 && (i == 0)))

mà gán kết quả của 1 && (i == 0)để i. Vì vậy, nếu ibắt đầu lúc 0đó i == 0là true, 1 && truethì true(hoặc 1), và sau đó iđược đặt thành 1. Sau đó 1là đúng, bạn nhập khối if và in giá trị bạn đã gán i.

Giả sử mã của bạn thực sự trông như thế này:

#include <iostream>
using namespace std;

int main()  {
    int i = 0;
    if (i = 1 && i == 0) {
        cout << i;
    }
}

Thì đây:

if (i = 1 && i == 0) {

đánh giá như

 if (i = (1 && i == 0)) {

và như vậy iđược đặt thành 1.

Nó phải làm với việc phân tích cú pháp từ phải sang trái. Ví dụ: y = x + 5.
Tất cả các biểu thức phụ được coi trọng. Hai biểu thức có tầm quan trọng như nhau được đánh giá từ phải sang trái ,. Phía biểu thức && được thực hiện trước, tiếp theo là LHS.

Có nghĩa với tôi.

Câu trả lời thực tế là:

1. Trình biên dịch ưu tiên "i == 0", đánh giá là đúng.
2. Sau đó, nó sẽ đánh giá i = 1 là TRUE hoặc FALSE và vì các toán tử gán được biên dịch không bao giờ thất bại (nếu không chúng sẽ không biên dịch), nó cũng đánh giá là đúng.
3. Vì cả hai câu lệnh đều đánh giá là đúng và TRUE && TRUE đánh giá là TRUE, nên câu lệnh if sẽ đánh giá thành TRUE.

Để chứng minh, chỉ cần nhìn vào đầu ra asm của trình biên dịch của bạn cho mã bạn đã nhập (tất cả các nhận xét là của riêng tôi):

mov     dword ptr [rbp - 8], 0    ; i = 0;
cmp     dword ptr [rbp - 8], 0    ; i == 0?
sete    al                        ; TRUE (=1)
mov     cl, al
and     cl, 1                     ; = operator always TRUE
movzx   edx, cl
mov     dword ptr [rbp - 8], edx  ; set i=TRUE;
test    al, 1                     ; al never changed,
                                  ; so final ans is TRUE

Đầu ra asm ở trên là từ CLANG, nhưng tất cả các trình biên dịch khác mà tôi đã xem đều cho đầu ra tương tự. Điều này đúng với tất cả các trình biên dịch trên trang web đó, cho dù chúng là trình biên dịch C hay C ++ thuần túy, tất cả đều không có bất kỳ trình duyệt nào để thay đổi chế độ của trình biên dịch (theo mặc định là C ++ cho trình biên dịch C ++)

Lưu ý rằng trình biên dịch của bạn không thực sự đặt i = 1, nhưng i = TRUE (có nghĩa là bất kỳ giá trị nguyên 32 bit nào không bằng 0). Đó là bởi vì toán tử && chỉ đánh giá xem một câu lệnh là TRUE hay FALSE, sau đó đặt kết quả theo kết quả đó. Để chứng minh, hãy thử thay đổi i = 1 thành i = 2 và bạn có thể tự quan sát rằng không có gì thay đổi. Xem cho chính mình bằng bất kỳ trình biên dịch trực tuyến nào tại Compiler Explorer