GCCとの奇妙な警告動作および署名/符号なしの比較

Question

私は、次のコードを持っている：

unsigned int a; 
if (a > numeric_limits<int>::max()) 
    do_stuff(); 

コンパイル、gccはおよそ

警告が文句：

"との比較を符号付きと符号なし"

OK、分かりました

ただし、次のコードを使用してください：

unsigned int a; 
if (a > (numeric_limits<int>::max())) 
    do_stuff(); 

は、そのような行動のための論理的な理由があるのか​​、私が何か間違ったことをやっている...警告は表示されなくなり、私は本当に理由を知りません！

Answer 1

回答は、gccがintとunsigned intを処理する方法にあります。

unsigned intおよびintは、両方とも2バイト値を格納する。それらの違いは、unsigned intは負の値をサポートしていないことです。 0〜65,535の値しか格納できません。 GCCがintとunsigned intの比較を見ると、intを正の数に変換します。たとえば、intの値が-2の場合、2に変換されます。ただし、intには（）演算子が前に付いています。 （int）。 GCCはそれを正の数として解釈しますが（それでもそれを変換します）、警告は表示されません。

Answer 2

これはバグです。 bug 50012

Answer 3

を参照してください。私は現在、これをテストするためのC++コンパイラへのアクセスを持っていないが、私は、これは警告なしに働くかもしれないと思う：

しようとした

unsigned int a; 
if (a > numeric_limits<unsigned int>::max()) 
    do_stuff();