Ödev ve eşitlik kontrolünü birleştiren bu if-ifadesi neden doğrudur?

Yeni başlayanlar için bazı hatalar düşünüyordum ve ififadenin sonunu buldum . Bu kodu biraz genişletti:

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

Bunu gördük ifdeyimi döndürür gerçek ve cout's iolarak 1. Eğer iatanan 1niye eğer açıklamada, i == 0dönüşü true?

Bu operatörün önceliği ile ilgilidir .

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

değil

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

Her iki yüzünden &&ve ==daha yüksek önceliğe sahiptir =. Gerçekten işe yaradığı şey

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

bunlardan sonucu atar 1 && (i == 0)için i. Yani, eğer iat başlar 0sonra i == 0ise true, yani 1 && truebir true(veya 1), ardından iayarlı alır 1. Sonra 1doğru olduğundan if bloğunu girip atadığınız değeri yazdırırsınız i.

Kodunuzun aslında şu şekilde olduğunu varsayarsak:

#include <iostream>
using namespace std;

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

Sonra bu:

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

olarak değerlendirir

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

ve böylece iolarak ayarlanır 1.

Bu, sağdan sola kuralların ayrıştırılmasıyla ilgilidir. Örneğin y = x + 5.
Tüm alt ifadeler önem taşır. Eşit öneme sahip iki ifade sağdan sola değerlendirilir. Önce && ifade tarafı, ardından LHS yapılır.

Bana mantıklı geldi.

Asıl cevap:

1. Derleyici, doğru olarak değerlendirilen "i == 0" a öncelik verir .
2. Daha sonra i = 1'i TRUE veya FALSE olarak değerlendirir ve derlenmiş atama işleçleri hiçbir zaman başarısız olmaz (aksi takdirde derlemezler), true olarak da değerlendirilir.
3. Her iki ifade de doğru olarak değerlendirildiğinden ve TRUE && TRUE, TRUE olarak değerlendirdiğinden, if ifadesi TRUE olarak değerlendirilir.

Kanıt olarak, girdiğiniz kod için derleyicinizin asm çıkışına bakın (tüm yorumlar benimdir):

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

Yukarıdaki asm çıktısı CLANG'dan geliyordu, ancak baktığım diğer tüm derleyiciler benzer çıktı verdi. Bu, o sitedeki tüm derleyiciler için, ister saf C veya C ++ derleyicileri olsun, hepsi derleyicinin modunu değiştirmek için herhangi bir pragmasız (bu varsayılan olarak C ++ derleyicileri için C ++)

Derleyicinizin aslında i = 1 değerini ayarlamadığını, ancak i = TRUE değerini (sıfır olmayan tamsayı değeri olmayan 32 bit anlamına gelir) ayarladığını unutmayın. Çünkü && operatörü yalnızca bir ifadenin DOĞRU veya YANLIŞ olup olmadığını değerlendirir ve ardından sonuçları bu sonuca göre ayarlar. Kanıt olarak, i = 1'i i = 2 olarak değiştirmeyi deneyin ve hiçbir şeyin değişmeyeceğini kendiniz görebilirsiniz. Compiler Explorer'da herhangi bir çevrimiçi derleyiciyi kullanarak kendiniz görün