关于C++编译器对相等指针可做假设的技术问询

开发者阿泽

2026-4-8

这是个相当深入的C内存模型问题，咱们结合C标准的抽象机器规则，分两种场景逐一拆解：

1. 同一物理页映射到多个虚拟地址的情况

先看你给出的代码示例：

int test(int* p, int* q) {
  if (p != q) {
    auto t = *q;
    *p = 1;
    return t;
  } else {
    *p = 1;
    return *q;
  }
}

int test(int* p, int* q) {
  *p = 1;
  return *q;
}

C++标准的抽象机器模型中，指针的等价性和对象标识是绑定的：

若两个指针p != q，编译器被允许假设它们指向的是抽象机器层面的不同对象（或其中一个/两个为空指针、指向对象末尾的指针）。基于这个假设，编译器可以判定对*p的写入不会影响*q的值，因此合法地将写操作提到条件分支外，做出你提到的优化。

你提到的“不同虚拟地址对应同一物理页”的场景，在C++标准里属于脱离抽象机器的底层操作：

C++标准本身并没有直接禁止OS层面的这种内存映射设置，但如果你的程序的正确性依赖于“对*p的写入会改变*q的值”（这违反了抽象机器中“p != q则指向不同对象”的假设），那么你的程序行为就会变成未定义行为（UB）。
简单来说：C编译器只认抽象机器的规则，完全不关心底层物理内存的映射。如果你刻意构造这种底层映射，又期望编译器不做符合标准的优化，这属于你主动打破了抽象机器的假设，此时程序的行为不再受C标准的保障。

你提到的OS场景（比如同一虚拟地址在不同核心映射到不同物理页，用作线程本地存储），直接触及了C++标准的核心假设：

C++标准规定，所有线程共享同一个抽象内存空间，同一指针值在整个程序的执行中必须指向同一个对象（或空/对象末尾）。如果同一指针值在不同核心/线程里指向不同的物理对象，这直接违反了标准对指针标识的定义。
从标准角度看，这种“比较相等的指针指向不同对象”的情况，属于未定义行为。虽然你提到“这些指针不应该在核心间共享”，但C++标准并没有为这种“指针值含义随执行上下文变化”的场景提供任何保障——一旦你的程序将这类指针放到共享堆中让不同线程访问，就会触发UB。

C++标准的所有内存规则都是基于抽象机器定义的，完全不涉及底层虚拟/物理内存的映射细节：

如果你的程序通过OS底层操作打破了这些抽象假设，那么程序的行为就会脱离C++标准的管辖，进入实现定义行为或未定义行为的范畴，无法依赖标准来保证正确性。

内容来源于stack exchange