基于对齐要求的优化：C++编译器是否可假设指针指向正确对齐对象？

首先明确一点：从C++标准的规定出发，编译器完全有权假设任何指向类型T的指针，都指向一个满足T对齐要求的对象。

标准依据与逻辑 #

根据[basic.align]，对象类型存在对齐要求（[basic.fundamental]、[basic.compound]），这类要求会限制该类型对象可分配的地址。

标准的核心逻辑是：符合规范的C++代码必须保证，所有指向T的指针都指向合法对齐的T对象。基于这个前提，编译器可以安全地做出对齐假设，进而进行优化——比如直接判定某些对齐检查分支为不可达，甚至使用依赖对齐的高效指令来访问数据。

举个具体的例子（假设alignof(int) == 4）：

int* p = /* ... */;
auto val = p[0];
if ((reinterpret_cast<std::uintptr_t>(p) & 3) != 0) {
    // 标准认为这个分支永远不会被执行，编译器可直接优化删除
}

当你访问p[0]时，标准已经隐含要求p指向的int对象是正确对齐的，所以后续的对齐检查在合法代码中没有执行的可能，编译器完全可以把这个分支从生成的机器码中移除。

GCC与Clang的实际行为 #

你在测试这两个编译器时产生疑问，大概率是遇到了两种场景的差异：

• 合法代码场景：如果你的指针是通过合规方式获取的（比如new int、栈上int变量的地址、数组元素地址等），GCC和Clang在优化级别开启（比如-O2及以上）时，会严格遵循标准的对齐假设，直接优化掉不可达的对齐检查分支。
• 未定义行为场景：如果你手动构造了未对齐的指针（比如把一个未对齐的char*强制转换为int*），这属于标准定义的未定义行为——此时编译器没有任何义务保证行为的一致性。你可能会看到编译器保留了检查分支，也可能程序直接崩溃，甚至出现逻辑混乱的情况，这些都是未定义行为的典型表现。

简单来说：只要你的代码符合C++标准，GCC和Clang都会按照"指针已对齐"的假设进行优化；一旦触碰未定义行为，编译器的输出就完全不可预测了。

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