是否存在C语言实现中指针不代表其指向的内存地址？未来标准会修改吗？

是否存在指针不表示其指向内存地址的C语言实现？ #

存在，这类实现并不少见，常见场景包括：

• 分段架构下的C实现：比如8086实模式下的C编译器，远指针采用段基址:偏移量的存储格式，同一个线性内存地址可以对应多个不同的远指针数值，指针本身的二进制值并不直接等于线性地址，直接做位运算无法得到有效地址。
• 哈佛架构的嵌入式C实现：这类架构下程序存储空间和数据存储空间完全独立，函数指针和数据指针的数值即使完全相同，指向的也是不同的存储单元，指针数值本身没有统一的线性地址映射，位运算无实际意义。
• 带安全扩展的硬件平台C实现：比如CHERI架构下的C编译器，指针除了存储地址信息外，还内置权限、边界校验等元数据，直接对指针做位运算会破坏元数据，触发硬件访问异常，此时指针的二进制值远不止内存地址这一部分信息。

我们日常学习中接触的x86、ARM平台用户态C程序都运行在扁平线性地址空间下，所以才会形成「指针等于内存地址值」的认知，这只是C语言最常见的实现形式，并非所有场景的通用规则。

未来C标准是否有计划修改相关规则，明确定义指针位运算的规范？ #

目前没有相关的标准化计划，核心原因有两点：

• C标准的核心设计目标之一是适配各类底层硬件架构，如果强制要求指针必须等同于线性内存地址，会直接导致大量非扁平地址空间的硬件无法兼容标准C，不符合C语言面向底层、跨硬件的定位。
• 现有标准已经提供了合规的指针位运算替代方案：如果需要对地址做位运算，可以先将指针转换为uintptr_t或intptr_t类型（标准定义的可安全存储指针数值的整数类型），完成运算后再转换回对应指针类型即可，这种写法完全符合标准要求。

注意：即使通过uintptr_t类型中转做位运算，也需要保证最终转换回指针后指向的是程序合法拥有的存储区域，否则依然属于未定义行为。

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