ทำไมคำสั่ง if-if ที่รวมการมอบหมายและการตรวจสอบความเท่าเทียมกลับมาจริงหรือไม่

ฉันได้รับความคิดของความผิดพลาดเริ่มต้นบางอย่างและฉันจบลงด้วยหนึ่งในifคำสั่ง ฉันขยายโค้ดเล็กน้อยถึงสิ่งนี้:

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

ฉันได้เห็นว่าifผลตอบแทนที่คำสั่งจริงและมันcoutก็เป็นi 1หากiได้รับมอบหมาย1ในงบถ้าทำไมไม่i == 0กลับมาtrue?

นี้จะทำอย่างไรกับความสำคัญประกอบ

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

ไม่ใช่

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

เพราะทั้งสอง&&และมีความสำคัญสูงกว่า== =สิ่งที่ได้ผลจริงๆคือ

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

ซึ่งกำหนดผลมาจากการ1 && (i == 0) iดังนั้นถ้าiเริ่มต้นที่0แล้วi == 0คือtrueเพื่อให้1 && trueเป็นtrue(หรือ1) แล้วได้รับการตั้งค่าi 1แล้วตั้งแต่เป็นจริงคุณป้อนถ้าบล็อกและพิมพ์ค่าที่คุณได้รับมอบหมายให้1i

สมมติว่ารหัสของคุณมีลักษณะเช่นนี้:

#include <iostream>
using namespace std;

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

จากนี้:

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

ประเมินว่า

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

และเพื่อให้มีการตั้งค่า i1

มันเกี่ยวข้องกับการแยกวิเคราะห์กฎจากขวาไปซ้าย เช่น y = x + 5
การแสดงออกย่อยทั้งหมดมีความสำคัญ สองสำนวนที่มีความสำคัญเท่ากันจะถูกประเมินจากขวาไปซ้าย,. ด้าน && การแสดงออกจะทำก่อนจากนั้นตามด้วย LHS

ทำให้รู้สึกถึงฉัน

คำตอบที่แท้จริงคือ:

1. คอมไพเลอร์ให้ความสำคัญกับ "i == 0" ซึ่งประเมินว่าเป็นจริง
2. จากนั้นมันจะประเมินค่า i = 1 เป็น TRUE หรือ FALSE และเนื่องจากตัวดำเนินการที่ได้รับมอบหมายที่รวบรวมไว้จะไม่ล้มเหลว
3. เนื่องจากทั้งสองข้อความประเมินว่าเป็นจริงและ TRUE && TRUE ประเมินเป็น TRUE ข้อความสั่ง if จะประเมินเป็น TRUE

เพื่อเป็นการพิสูจน์ให้ดูที่เอาต์พุต asm ของคอมไพเลอร์ของคุณสำหรับโค้ดที่คุณป้อน (ความคิดเห็นทั้งหมดเป็นของฉันเอง):

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

เอาต์พุต asm ด้านบนมาจาก CLANG แต่คอมไพเลอร์อื่น ๆ ทั้งหมดที่ฉันดูให้เอาต์พุตเหมือนกัน สิ่งนี้เป็นจริงสำหรับคอมไพเลอร์ทั้งหมดในไซต์นั้นไม่ว่าจะเป็นคอมไพเลอร์ C หรือ C ++ ล้วน แต่ไม่มี pragmas ใด ๆ เพื่อเปลี่ยนโหมดของคอมไพเลอร์ (โดยค่าเริ่มต้นคือ C ++ สำหรับคอมไพเลอร์ C ++)

โปรดทราบว่าคอมไพเลอร์ของคุณไม่ได้ตั้งค่า i = 1 แต่ i = TRUE (ซึ่งหมายถึงค่าจำนวนเต็ม 32- บิตไม่เป็นศูนย์) นั่นเป็นเพราะผู้ประกอบการ && ประเมินเฉพาะว่าข้อความเป็น TRUE หรือ FALSE จากนั้นตั้งค่าผลลัพธ์ตามผลลัพธ์ เพื่อพิสูจน์ลองเปลี่ยน i = 1 เป็น i = 2 และคุณสามารถสังเกตด้วยตัวคุณเองว่าไม่มีอะไรเปลี่ยนแปลง ดูตัวเองด้วยการใช้คอมไพเลอร์ออนไลน์ที่Compiler Explorer