c - C 組み合わせ if 論理演算の優先順位の評価

Question

違法な NULL ptr デリファレンスがないように、次のコードは常にコンパイルされるのでしょうか?

私の懸念は、「b」が NULL かどうかを最初に確認する前に、コンパイラが b->value かどうかを確認する可能性があることです。

typedef struct
{
    int value;
} mystruct;

int func(mystruct * b)
{
    if((NULL == b) || (b->value == 0))
    {
        return -1;
    }

    printf("value: %d\n", b->value);
}

Answer 1

はい、(NULL != b)前にテストされ(b->value == 0)ます。

あなたがしたことは、短絡評価と呼ばれます。

Answer 2

bis NULLthen(NULL != b)がfalseの場合、2 番目の側がチェックされます。(短絡評価を参照してください)、NULL ptr デリファレンスが発生する可能性があります。

||に変更&&

Answer 3

心配する必要はありません。最初の条件によって結果がまだ決定されていない限り、2 番目の条件は実行されません。