ท้าทาย

รับวิธี C # ต่อไปนี้:

private static bool Test(bool a, bool b)
{
    if (a && b) return false;
    if (a) if (b) return true;
    return false;
}

ระบุค่าaและbอื่น ๆ ที่trueส่งคืน

สภาพการชนะ

รายการแรกที่สามารถให้ข้อโต้แย้งที่ถูกต้องเพื่อให้วิธีการที่กำหนดประเมินผลให้trueชนะ

static void Main(string[] args)
{
    bool a, b;
    unsafe
    {
        int* pa = (int*)&a;
        int* pb = (int*)&b;
        *pa = 1;
        *pb = 2;
    }

        Console.Write(Test(a, b));
}

สิ่งนี้พิมพ์Trueสำหรับฉันด้วยการนำ C # ที่มาพร้อมกับ Visual Studio 2015 มาใช้จริงฉันไม่รู้ C # ใด ๆ แต่ฉันคิดว่าฉันจะลองเขียนโค้ด C และดูว่ามันทำงานได้หรือไม่ ฉันหวังว่าคอมไพเลอร์จะคิดว่า True เป็นตัวแทนเสมอ 1 และใช้ bitwise AND ในโหมดดีบั๊กนี่เป็นกรณีแน่นอน (สามารถใช้งานได้กับรีลีสด้วย) มันใช้ค่าบิตและในเงื่อนไขแรกและสองเปรียบเทียบกับศูนย์สำหรับวินาที:

            if (a && b) return false;
002C2E92  movzx       eax,byte ptr [ebp-3Ch]  
002C2E96  movzx       edx,byte ptr [ebp-40h]  
002C2E9A  and         eax,edx  
002C2E9C  and         eax,0FFh  
002C2EA1  mov         dword ptr [ebp-44h],eax  
002C2EA4  cmp         dword ptr [ebp-44h],0  
002C2EA8  je          002C2EB2  
002C2EAA  xor         edx,edx  
002C2EAC  mov         dword ptr [ebp-48h],edx  
002C2EAF  nop  
002C2EB0  jmp         002C2EE4  
            if (a) if (b) return true;
002C2EB2  movzx       eax,byte ptr [ebp-3Ch]  
002C2EB6  mov         dword ptr [ebp-4Ch],eax  
002C2EB9  cmp         dword ptr [ebp-4Ch],0  
002C2EBD  je          002C2EDC  
002C2EBF  movzx       eax,byte ptr [ebp-40h]  
002C2EC3  mov         dword ptr [ebp-50h],eax  
002C2EC6  cmp         dword ptr [ebp-50h],0  
002C2ECA  je          002C2EDC  
002C2ECC  mov         eax,1  
002C2ED1  and         eax,0FFh  
002C2ED6  mov         dword ptr [ebp-48h],eax  
002C2ED9  nop  
002C2EDA  jmp         002C2EE4  
            return false;
002C2EDC  xor         edx,edx  
002C2EDE  mov         dword ptr [ebp-48h],edx  
002C2EE1  nop  
002C2EE2  jmp         002C2EE4  
        }
002C2EE4  mov         eax,dword ptr [ebp-48h]  
002C2EE7  lea         esp,[ebp-0Ch]  
002C2EEA  pop         ebx  
002C2EEB  pop         esi  
002C2EEC  pop         edi  
002C2EED  pop         ebp  
002C2EEE  ret