符号付き/符号なしの比較

次のコードが指定された場所で警告を発行しない理由を理解しようとしています。

//from limits.h
#define UINT_MAX 0xffffffff /* maximum unsigned int value */
#define INT_MAX  2147483647 /* maximum (signed) int value */
            /* = 0x7fffffff */

int a = INT_MAX;
//_int64 a = INT_MAX; // makes all warnings go away
unsigned int b = UINT_MAX;
bool c = false;

if(a < b) // warning C4018: '<' : signed/unsigned mismatch
    c = true;
if(a > b) // warning C4018: '<' : signed/unsigned mismatch
    c = true;
if(a <= b) // warning C4018: '<' : signed/unsigned mismatch
    c = true;
if(a >= b) // warning C4018: '<' : signed/unsigned mismatch
    c = true;
if(a == b) // no warning <--- warning expected here
    c = true;
if(((unsigned int)a) == b) // no warning (as expected)
    c = true;
if(a == ((int)b)) // no warning (as expected)
    c = true;

バックグラウンドプロモーションと関係があると思いましたが、最後の2つはそうではないと言っているようです。

私の考えでは、最初の==比較は他の比較と同じくらい符号付き/符号なしの不一致ですか？

符号付きと符号なしを比較する場合、コンパイラは符号付きの値を符号なしに変換します。平等のために、これは重要ではありません、-1 == (unsigned) -1。他の比較については重要です。たとえば、次のことが当てはまります-1 > 2U。

編集：参照：

5/9 :(表現）

算術型または列挙型のオペランドを期待する多くの二項演算子は、同様の方法で変換を引き起こし、結果型を生成します。目的は、結果のタイプでもある共通のタイプを生成することです。このパターンは通常の算術変換と呼ばれ、次のように定義されます。

• いずれかのオペランドがlongdouble型の場合、もう一方はlongdoubleに変換されます。

• それ以外の場合、一方のオペランドがdoubleの場合、もう一方はdoubleに変換されます。

• それ以外の場合、一方のオペランドがfloatの場合、もう一方はfloatに変換されます。

• それ以外の場合、積分昇格（4.5）は両方のオペランドで実行されるものとします54）。

• 次に、一方のオペランドがunsigned longの場合、もう一方はunsignedlongに変換されます。

• それ以外の場合、一方のオペランドがlong intで、もう一方のunsigned intである場合、longintがunsignedintのすべての値を表すことができる場合、unsignedintはlongintに変換されます。それ以外の場合は、両方のオペランドがunsigned longintに変換されます。

• それ以外の場合、一方のオペランドが長い場合、もう一方はlongに変換されます。

• それ以外の場合、一方のオペランドが符号なしの場合、もう一方は符号なしに変換されます。

4.7 / 2 :(積分変換）

宛先タイプが符号なしの場合、結果の値はソース整数と合同な最小の符号なし整数です（モジュロ2 ⁿ、nは符号なしタイプを表すために使用されるビット数）。[注：2の補数表現では、この変換は概念的なものであり、ビットパターンに変更はありません（切り捨てがない場合）。]

EDIT2：MSVC警告レベル

MSVCのさまざまな警告レベルで警告されるのは、もちろん、開発者による選択です。私が見ているように、符号付き/符号なしの平等と大きい/小さい比較に関する彼らの選択は理にかなっています、これはもちろん完全に主観的です：

-1 == -1と同じ意味です-1 == (unsigned) -1-直感的な結果だと思います。

-1 < 2 と同じ意味ではありません-1 < (unsigned) 2-これは一見直感的ではなく、IMOは「早期の」警告に値します。

署名付き/署名なしの警告が重要であり、プログラマーがそれらに注意を払わなければならない理由は、次の例で示されています。

このコードの出力を推測しますか？

#include <iostream>

int main() {
        int i = -1;
        unsigned int j = 1;
        if ( i < j ) 
            std::cout << " i is less than j";
        else
            std::cout << " i is greater than j";

        return 0;
}

出力：

i is greater than j

びっくり？オンラインデモ：http：//www.ideone.com/5iCxY

結論：比較すると、一方のオペランドがunsigned、の場合、もう一方のオペランドはunsigned 、その型が符号付きの場合に暗黙的に変換されます。

==演算子は、ビット単位の比較を行います（0であるかどうかを確認するための単純な除算による）。

比較よりも小さい/大きいは、数値の符号に大きく依存します。

4ビットの例：

1111 = 15？または-1？

したがって、1111 <0001の場合、あいまいです...

しかし、あなたが1111 == 1111を持っているなら...あなたがそうするつもりはなかったけれども、それは同じことです。

2の補数（最新のプロセッサ）を使用して値を表すシステムでは、バイナリ形式でも値は等しくなります。これが、コンパイラがa == bについて文句を言わない理由かもしれません。

そして私には、奇妙なコンパイラが==（（int）b）について警告しないのです。整数の切り捨ての警告などが表示されるはずです。

問題のコード行は、Microsoftがそのケースを処理するために別の警告番号（つまりC4389）を使用しており、C4389がデフォルトで有効になっていない（つまりレベル3）ため、C4018警告を生成しません。

C4389のMicrosoftドキュメントから：

// C4389.cpp
// compile with: /W4
#pragma warning(default: 4389)

int main()
{
   int a = 9;
   unsigned int b = 10;
   if (a == b)   // C4389
      return 0;
   else
      return 0;
};

他の回答は、Microsoftが等式演算子から特別なケースを作成することを決定した理由を非常によく説明していますが、C4389またはVisual Studioでそれを有効にする方法に言及しない限り、これらの回答はあまり役に立ちません。

また、C4389を有効にする場合は、C4388を有効にすることも検討してください。残念ながら、C4388の公式ドキュメントはありませんが、次のような表現でポップアップするようです。

int a = 9;
unsigned int b = 10;
bool equal = (a == b); // C4388