Mengapa ini jika-pernyataan menggabungkan tugas dan pemeriksaan kesetaraan kembali benar?

Saya telah memikirkan beberapa kesalahan pemula dan saya berakhir dengan satu di ifpernyataan itu. Saya memperluas sedikit kode untuk ini:

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

Saya telah melihat bahwa ifpernyataan pengembalian yang benar, dan itu cout's isebagai 1. Jika iditugaskan 1dalam pernyataan if, mengapa i == 0kembali true?

Ini ada hubungannya dengan prioritas operator .

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

tidak

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

karena keduanya &&dan ==memiliki prioritas lebih tinggi daripada =. Apa yang benar-benar berhasil adalah

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

yang menetapkan hasil 1 && (i == 0)untuk i. Jadi, jika imulai saat 0itu i == 0adalah true, begitu 1 && truejuga true(atau 1), dan kemudian idiatur ke 1. Maka sejak 1itu benar, Anda memasukkan blok if dan mencetak nilai yang Anda tetapkan i.

Dengan asumsi kode Anda benar-benar terlihat seperti ini:

#include <iostream>
using namespace std;

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

Lalu ini:

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

mengevaluasi sebagai

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

dan idiatur ke 1.

Itu ada hubungannya dengan parsing hak untuk meninggalkan aturan. Misal y = x + 5.
Semua sub-ekspresi diberi bobot penting. Dua ekspresi sama pentingnya dievaluasi dari kanan ke kiri,. Sisi && ekspresi dilakukan terlebih dahulu, diikuti oleh LHS.

Masuk akal bagi saya.

Jawaban sebenarnya adalah:

1. Kompiler memberikan prioritas pada "i == 0", yang dievaluasi menjadi true.
2. Kemudian akan mengevaluasi i = 1 sebagai TRUE atau FALSE, dan karena operator penugasan yang dikompilasi tidak pernah gagal (jika tidak mereka tidak akan mengkompilasi), ia juga mengevaluasi ke true.
3. Karena kedua pernyataan dievaluasi sebagai benar, dan TRUE && TRUE mengevaluasi ke TRUE, pernyataan jika akan mengevaluasi ke TRUE.

Sebagai bukti, lihat saja asm output dari kompiler Anda untuk kode yang Anda masukkan (semua komentar adalah milik saya):

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

Output asm di atas berasal dari CLANG, tetapi semua kompiler lain yang saya lihat memberikan hasil yang serupa. Ini berlaku untuk semua kompiler di situs itu, apakah mereka adalah kompiler C murni atau C ++, semua tanpa pragma untuk mengubah mode kompiler (yang secara default adalah C ++ untuk kompiler C ++)

Perhatikan bahwa kompiler Anda tidak benar-benar mengatur i = 1, tetapi i = BENAR (yang berarti 32-bit bukan nilai integer nol). Itu karena operator && hanya mengevaluasi apakah pernyataan itu BENAR atau SALAH, dan kemudian menetapkan hasil sesuai dengan hasil itu. Sebagai bukti, coba ubah i = 1 ke i = 2 dan Anda dapat mengamati sendiri bahwa tidak ada yang akan berubah. Lihat sendiri menggunakan kompiler online di Compiler Explorer