C语言中变量地址赋值给整型变量为何仅报警告而非错误？

问题描述 #

在C语言中，将变量的地址赋值给整型变量时未触发错误仅产生警告，这是如何实现的？我原本预期将地址存储到整型变量时会触发错误。

代码示例 #

int main()
{
    int a=9;
    int *x=&a;
    int y=&a;
    printf("%d\n",y);
    printf("%p",x);
    return 0;
}

编译警告与运行输出 #

test.c: In function 'main':
test.c:7:11: warning: initialization makes integer from pointer without a cast [-Wint-conversion]
       int y=&a;
           ^
6422292
0061FF14

原因解释 #

• C标准的规则定义：C语言标准将「指针隐式转换为整型」归类为约束违规，但只要求编译器必须给出诊断信息（也就是提示问题），并没有强制要求将其判定为错误终止编译。警告本身就是符合标准的诊断方式。
• 旧代码兼容性：早期C语言版本（如C89）对指针与整型的转换限制更宽松，大量遗留代码依赖这种写法。现代编译器（比如GCC）默认只出警告，是为了避免破坏这些旧代码的编译。
• 编译选项可调整：如果需要把这类警告升级为错误，只需开启严格编译选项，比如用gcc -Werror test.c编译时，该警告就会变成错误，直接阻止程序编译完成。
• 特殊场景需求：在嵌入式开发等场景中，开发者有时需要把硬件地址（指针值）存入整型变量操作，编译器保留这种转换的可能性，同时通过警告提醒开发者注意潜在风险——比如64位系统里指针长度（8字节）大于int（4字节），会导致地址截断丢失数据。

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