Bir sayı C++ olup olmadığını kontrol edin. kod

Question

garip davranışları Ben bir öğretim bilgisayar bilimleri için asistan ve ben öğrencilerimden biri bir tamsayı tek veya çift olup olmadığını kontrol etmek için aşağıdaki kodu ibraz: (en azından benim için) Şaşırtıcı

int is_odd (int i) { 
    if((i % 2 == 1) && (i % 2 == -1)); 
    else; 
} 

bu kod verir doğru sonuç. 100000000'a kadar sayıları test ettim ve bu kodun neden olduğu gibi davrandığını açık bir şekilde açıklayamıyorum.

Biz bu yüzden tipik bir soru olmadığını biliyoruz

++ gcc v6.2.1 ve c kullanırken, ama bazı yardım bulmak istiyoruz. şey dönmeden bir fonksiyonun sonuna yola akan

Answer 1

bakılmaksızın aslında derleyici nasıl işlediğine dair tanımsız davranış vardır. Eğer GCC için -O3 geçmesi veya Clang kullanırsanız, o zaman farklı sonuçlar elde unutmayın. Eğer x86 okuyamıyorsanız

push rbp 
    mov  rbp, rsp 
    mov  DWORD PTR [rbp-4], edi 
    mov  eax, DWORD PTR [rbp-4] 
    cdq 
    shr  edx, 31 
    add  eax, edx 
    and  eax, 1 
    sub  eax, edx 
    cmp  eax, 1 
    nop 
    pop  rbp 
    ret 

Merak etmeyin:

aslında "doğru" cevabı bakın neden gelince, bu GCC 6.2 -O0 de üretir x86 düzeneğidir. Unutulmaması gereken önemli şey eax dönüş değeri için kullanılır ve if deyimi için tüm ara hesaplamalar kendi hedef olarak eax kullanmalarıdır. İşlev çıktığı zaman, eax sadece şube denetiminin sonucuna sahip olur. Tabii

, bunların hepsi sadece akademik tartışma; Öğrencinin kodu yanlıştır ve ne tür testler yaptığınızı geçip geçmediğine bakılmaksızın kesinlikle sıfır puan veririm.