C言語のコンパイラ警告 C4706 について解説

#include <stdio.h>
int main(void) {
    int a = 0, b = 1;
    // 条件式内での代入により、aにbの値が代入され、その結果で条件が評価されます
    if ( a = b ) {
        printf("条件は真です。\n");
    }
    return 0;
}

条件は真です。

#include <stdio.h>
int main(void) {
    int a = 0, b = 1;
    // 二重括弧を使っても、代入式として認識され、警告が発生する可能性があります
    if ( (a = b) ) {
        printf("条件は真です。\n");
    }
    return 0;
}

条件は真です。

#include <stdio.h>
int main(void) {
    int result;
    // 変数resultに10を代入
    result = 10;
    // 代入演算子の返り値を利用して、resultに新たな値を設定し、その結果を条件として利用しています
    if ( (result = 20) ) {
        printf("result は %d です。\n", result);
    }
    return 0;
}

result は 20 です。

#include <stdio.h>
int main(void) {
    int x = 5, y = 5;
    // 「==」を使用することで、xとyが等しいかどうかを正しく判定します
    if ( x == y ) {
        printf("x と y は等しいです。\n");
    }
    return 0;
}

x と y は等しいです。

#include <stdio.h>
int main(void) {
    int a = 0, b = 2;
    // if文内で代入演算子を誤って使用すると、aにbの値が設定され、警告が生成される可能性があります
    if ( a = b ) {
        printf("a に b の値が代入され、条件は真になります。\n");
    }
    return 0;
}

a に b の値が代入され、条件は真になります。

#include <stdio.h>
int main(void) {
    int num1 = 3, num2 = 4;
    // 二重括弧を使用しても、num1 に num2 の値が代入されるため、警告が発生する場合があります
    if ( (num1 = num2) ) {
        printf("num1 に num2 の値が代入され、条件は真になります。\n");
    }
    return 0;
}

num1 に num2 の値が代入され、条件は真になります。

#include <stdio.h>
int main(void) {
    int a = 0, b = 5;
    // 代入後、aがゼロでない場合に条件が成立するように明示的にチェックしています
    if ( (a = b) != 0 ) {
        printf("a に b の値が代入され、かつ a の値はゼロではありません。\n");
    }
    return 0;
}

a に b の値が代入され、かつ a の値はゼロではありません。

#include <stdio.h>
int main(void) {
    int result, input = 10;
    // input の値を result に代入し、resultがゼロでないかを検証しています
    if ( (result = input) != 0 ) {
        printf("result に input の値が代入され、かつ result はゼロではありません。\n");
    }
    return 0;
}

result に input の値が代入され、かつ result はゼロではありません。

#include <stdio.h>
int main(void) {
    int a = 0, b = 1;
    // /W4 オプションが有効な場合、この代入によって C4706 警告が表示される可能性があります
    if ( a = b ) {
        printf("警告が有効な環境でコンパイル時に C4706 が表示されます。\n");
    }
    return 0;
}

警告が有効な環境でコンパイル時に C4706 が表示されます。