空指针(void*)为何能存储非指针类型数据？代码相关疑问解析

1. 字面量576为何能强制转换为void*类型？ #

C标准允许整数类型和指针类型之间进行强制转换，这属于“整数到指针的转换”范畴。编译器会按照语法规则把576这个整数值当作内存地址的数值形式，存入void*类型的变量x中。不过这种转换的结果是否有意义，完全取决于具体系统实现——只有当整数值对应程序可合法访问的内存地址时，转换后的指针才有用，否则只是一个无意义的地址值。

2. 为什么printf没解引用y输出576，解引用后无输出？ #

• 未解引用时：printf("%d\n", y)本质是把指针y存储的地址值（也就是你转换的576）当作int类型输出。这里其实违反了printf的格式化规则——指针类型应该用%p来输出，只是刚好在你的系统上，指针的大小和int的大小一致，所以碰巧输出了正确数值。但这属于未定义行为，换个系统可能输出错误结果。
• 解引用后：*y试图访问地址576处的内存。这个地址几乎肯定是系统保留或未分配给你程序的内存区域，程序没有权限访问，触发了未定义行为。无输出就是这种行为的一种表现，也可能直接导致程序崩溃。

3. 是否任何值都能转换为void*？ #

语法上，任何整数类型的值都可以强制转换为void*，但转换结果的有效性是实现定义的——不同编译器、操作系统对这种转换的处理可能不同。只有当整数值对应程序合法可访问的内存地址时，转换后的指针才有实际用途。而NULL对应的0是标准明确规定的空指针常量，转换为void*后表示空指针，这是唯一有标准定义意义的整数到指针的转换（其他有效值由实现定义）。

4. 这段代码是否存在危险？ #

当然存在危险：

• printf("%d", y)属于格式化字符串与参数类型不匹配，是未定义行为，在不同环境下可能输出错误结果或导致程序异常。
• 解引用y会访问非法内存，大概率触发程序崩溃，现代操作系统会直接终止你的程序，在无内存保护的系统中甚至可能引发更严重的问题。
• 这种将任意整数转为指针的写法，除了硬件编程中访问特定寄存器地址的特殊场景，正常应用程序中完全不应该使用，属于不规范、易出错的写法。

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