为何GCC对__int128类型的超大整数常量提示‘视为无符号’？

问题复现 #

测试代码1 #

#include <stdio.h>
int main(void) {
    printf("%llu\n", 18446744073709551615);
    printf("%llu\n", 18446744073709551615ULL);
    return 0;
}

编译后收到两条警告：

• integer constant is so large that it is unsigned
• 提示该常量类型为__int128

测试代码2 #

#include <stdio.h>
int main(void) {
    __int128 a = 18446744073709551615;
    unsigned long long b = 18446744073709551615;
    return 0;
}

编译后仍收到相同的integer constant is so large that it is unsigned警告。

困惑点：根据C标准6.4.4.1章节，该常量因无法放入int、long int、long long int，会匹配为有符号扩展整数类型__int128，但GCC为何提示它被视为无符号？

原因解析 #

1. C标准规则与GCC实现的细节差异
   C标准6.4.4.1规定，无后缀十进制常量的类型推导顺序是：int → long int → long long int，若以上类型均无法容纳常量值，则选择实现支持的有符号扩展整数类型（如GCC的__int128）。

   但GCC的警告integer constant is so large that it is unsigned并非指最终类型是无符号，而是在提示：该常量值（18446744073709551615）已经超出了所有标准有符号整数类型的范围（long long int的最大值为9223372036854775807）。如果没有__int128这类扩展有符号类型，该常量会被推导为无符号类型（符合标准中“若无合适有符号类型，则选择无符号类型”的 fallback 规则）。

2. __int128的存在不抑制警告
   虽然__int128（有符号）能够容纳该常量（其最大值约为1.7e38，远大于1.8e19），GCC仍会触发该警告——这是一个提示性警告，目的是提醒开发者：该常量已经超出了常规有符号整数的表示范围，若没有扩展类型支持，会被视为无符号，避免开发者误将其当作标准有符号类型使用。

3. 赋值场景的警告逻辑
   测试代码2中，即便将常量赋值给__int128或unsigned long long，警告依然存在，因为警告是针对常量本身的类型推导过程触发的，而非赋值操作。unsigned long long b = 18446744073709551615;中，常量先被推导为__int128，再隐式转换为unsigned long long，但推导阶段的警告仍会保留。

解决方式 #

如果想消除该警告，可直接给常量添加ULL后缀，明确指定其为unsigned long long类型，此时GCC会直接将常量推导为unsigned long long，不再触发类型推导相关的警告。

内容的提问来源于stack exchange，提问作者Box Box Box Box