数値を直書きした場合の、数値の型について

Question

C言語において下記のようなプログラムを書いたとします。

unsigned int a = 0x1000;
if(a > 0x8000){
    printf("big");
}
else{
    printf("small");
}

この場合、0x8000の型はどのような扱いになるのでしょうか？
例えば、int16_tとして扱われる場合があれば、必ずbigが表示されるようになってしまうと思います。
（0x8000はマイナス表示になってしまうため）

それともuint16_tで扱われる、uint32_tで扱われるといった決まりはあるのでしょうか？
私としては符号なし整数として扱われることを前提に、上記プログラムを記載しております。

Answer 1

この場合、0x8000の型はどのような扱いになるのでしょうか？

0x8000とだけ書いた場合、リテラルとしての型はint、unsigned int、long、unsigned long、long long、unsigned long longのうち、この数値が収まる最初の型になります。intが32ビットで正の0x8000を納められないのであればunsigned intです。桁が足りなければ伸びる方向に進み、リテラル自体が負の数として解釈されることはありません。

なお、C言語に負の数のリテラルは存在しません。-12は、「12という整数リテラルに単項マイナスを適用したもの」と解釈されます。

Comments

[maisumakun]

C言語は、「1バイトが8ビットでない」環境すら認めているほどに、環境に対する要求が少ない言語です。intやlongのサイズは違いので使いにくい面はありますが、コンパイラが基準にするのはそれらの型です。

[AdultMr.]

分かりやすく説明をいただき、大変ありがとうございます。
数値リテラルに負は存在しないとのこと、理解することができました。
2点ご教授いただけないでしょうか。
１：int型が32bit環境の場合、
0x80000000はint型で表現することができないので、unsigned int型になるという理解で正しいでしょうか。
２：数値リテラルに負は存在しないということは、単項マイナスを適用しない限り、必ず正の値として認識されるという理解でよいでしょうか。

Answer 2

整数の数値リテラルは、基本的にはintとして扱われます。
intの範囲を超えるサイズのものの場合、自動的に、long、long longと型が拡張されます。
long longでも扱えないサイズのリテラルはエラーになります。

8進数や16進数表記の場合には、int、unsigned int、long、unsigned long、long long、unsigned long longと、unsignedを含めて自動的に拡大されるようです。

なので、0x8000と書いた場合、一般的な環境では、int(32bit)の範囲内に収まるので、intになります。
16bitのintが標準である16bit環境のC言語の場合には、上の法則に合わせてunsigned int(16bit)になるかと思われます。

標準的なintよりも小さなサイズの数値は全てintとなり、自動的に、shortやcharになることはありません。

ちょっとした実験。

#include <stdio.h>
int main(void){
    printf("int       :%lu\n",sizeof(int));
    printf("long      :%lu\n",sizeof(long));
    printf("long long :%lu\n",sizeof(long long));
    
    printf("1  :%lu\n",sizeof(1));
    printf("1K :%lu\n",sizeof(1000));
    printf("1M :%lu\n",sizeof(1000000));
    printf("1G :%lu\n",sizeof(1000000000));
    printf("1T :%lu\n",sizeof(1000000000000));
    printf("1P :%lu\n",sizeof(1000000000000000));
    printf("1E :%lu\n",sizeof(1000000000000000000));
//    printf("100E :%lu\n",sizeof(100000000000000000000));  エラー

}

型のサイズは環境によって変わります。

int       :4
long      :8
long long :8
1  :4
1K :4
1M :4
1G :4
1T :8
1P :8
1E :8

Comments

[AdultMr.]

分かりやすくご説明をしていただき、大変ありがとうございます。
10進数表記と、８進数・１６進数表記で型の拡張が変わる点も、分かりやすく理解することができました。

[AdultMr.]

詳細な例も出していただきありがとうございます！
16bit環境の場合には、int型ではなくunsigned int型になるとのこと、承知致しました！
ありがとうございます