汎整数拡張の通常の算術型変換

質問

「汎整数拡張」の「通常の算術型変換」に

<一方のオペランドが型unsigned long intをもつ場合、他方のオペランドをunsigned long intに型変換する。>

この下に「そうでない場合」が、一方のオペランドが型long intをもつ場合が二つ続きます。

<一方のオペランドが型unsigned intをもつ場合、他方のオペランドをunsigned intに型変換する。>

<>２つの例はlong型やint型よりもunsigned型の上位に位置づけています。
例として
　　if(-1<1u)は偽になります。
何ゆえにunsigned型の上位性をしているのでしょうか。宜しく願います。

回答No.1

jacta · ベストアンサー

まず、「汎整数拡張」の「通常の算術型変換」というのは変です。
汎整数拡張または整数拡張は、両方のオペランドが整数型の場合に、通常の算術型変換の一過程として行われます。また、シフト演算子など、通常の算術型変換が行われない場合でも汎整数拡張（または整数拡張）が行われます。

次に、

> 何ゆえにunsigned型の上位性をしているのでしょうか。宜しく願います。

については、想像の域を出ませんが、整数変換順位が同じであれば符号無し整数型のほうが大きな絶対値を扱えるからではないでしょうか？

補足

if(-1<1u)を例にとりますと、unsigned int型int型を１６ビットで考えますと、１は最後のビットが１で後は０になり、－１は全てのビットが１になります。-1をunsigned int型に変換すれば(-1<1u)は偽になるわけですが、そこの所が理屈としてはわかるのですが、c言語という体系で何ゆえこのように規則化されたのかしっくりしていません。
そこのところを宜しく願います。