c - intN_t と uintN_t の比較

Question

私は困惑しています。例：

int x=-1; 
unsigned y=0;
(x<y) ----> false

int8_t x=-1;
unint8_t y=0;
(x<y) ----> true

さらに、コンパイラは最初の比較で警告を出しますが、2 番目の比較では出ません。どうやら

なぜこのような振る舞いをするのですか？のように... 本当に？

score 3 · Accepted Answer

2 項算術演算子 (比較を含む) をより短い数値型のペアに適用すると、C は演算を実行する前にint両方のオペランドをに変換します。int

サイズが同じで符号が一致せず、より短くない数値型のペアにバイナリ算術演算子を適用するとint、C は演算の前に符号付きオペランドを符号なしに変換します。

これらは、「整数昇格」ルールの 2 つです。それらはそれほど直観的ではなく、おそらく今日 C をゼロから設計していた場合に行うことではないでしょう。

score 2 · Accepted Answer

これは、通常の整数変換の結果です。

最初のケースでは、両方のオペランドのランクが少なくともでありint、同じランクであるため、符号なし整数型に変換されます。

2 番目のケースでは、int8_tis char(存在する場合は存在する必要があります) であるため、両方のオペランドがに昇格されintます。-1とはどちらもで0表現intできるため、警告はありません。

2 に答える 2