なぜこのifステートメントと代入および等式チェックの組み合わせがtrueを返すのですか？

私はいくつかの初心者の間違いを考えていました、そして私はif声明にあるもので終わりました。私はコードをこれに少し拡張しました：

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

私はそれが見てきたif文はtrueを返し、それはcout「S iのように1。場合はi割り当てられている1if文で、なぜやりました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。次に、1trueなので、ifブロックを入力して、割り当てた値を出力しますi。

コードが実際に次のようになっていると仮定します。

#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)) {

にi設定されてい1ます。

これは、右から左へのルールの解析に関係しています。たとえば、y = x + 5。
すべての部分式は重要度に重み付けされています。重要度が等しい2つの式は、右から左に評価されます。&&式の側が最初に行われ、次にLHSが続きます。

私には理にかなっています。

実際の答えは：

1. コンパイラーは"i == 0" を優先し、trueと評価されます。
2. 次に、i = 1をTRUEまたはFALSEとして評価します。コンパイルされた代入演算子は失敗しない（そうでなければコンパイルされない）ので、trueと評価されます。
3. どちらのステートメントもtrueと評価され、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 ++コンパイラーであるかに関係なく、コンパイラーのモードを変更するプラグマはありません（デフォルトではC ++コンパイラーのC ++です）。

コンパイラは実際にはi = 1ではなく、i = TRUEを設定したことに注意してください（ゼロ以外の32ビットの整数値を意味します）。これは、&&演算子はステートメントがTRUEかFALSEかを評価するだけであり、その結果に従って結果を設定するためです。証明として、i = 1をi = 2に変更してみてください。何も変更されないことが自分で確認できます。Compiler Explorerでオンラインコンパイラを使用して自分の目で確かめてください