结构体严格别名规则疑问：reinterpret_cast重解释为何触发未定义行为

首先，C++标准的严格别名规则核心约束是：不同类型的指针/引用不能用来别名同一块内存区域（除非是规则允许的例外情况，比如char*/unsigned char*可以别名任何类型、相同cv限定的同类型、基类与派生类的特定兼容场景等）。

你的代码里，mul<1>和mul<2>是模板的不同实例化结果——哪怕它们的内存布局、成员完全一致，C++标准也会把它们视为完全独立的类类型。这就直接触发了严格别名规则的违反：你用mul<2>&去引用原本属于mul<1>的对象s，编译器会基于“这两个引用指向完全不同对象”的假设做激进优化。

具体到你的代码逻辑：编译器在优化f函数时，会认为t.i[0]++的操作绝对不会影响s.i[0]（因为类型不同），所以会把s.i[0]的第一次读取值缓存到寄存器里，在判断s.i[0] == i时直接用缓存值对比，默认这个条件恒成立，直接生成调用std::abort()的代码——这就是为什么你的程序会触发abort，哪怕运行时t的修改其实已经改变了s的内存内容。

针对这类“同一内存的多类型解释”场景，有几种标准合规的方案可选，适配不同的C++版本：

1. 使用Union（C++11及以上） #

C标准允许union的成员共享同一块内存，并且可以通过不同成员访问这块内存（C17后明确允许这种类型重解释，只要类型是标准布局）。你可以把需要重解释的类型包装在union中：

#include <iostream>
#include <cstdlib>

template <int M>
struct mul {
    int i[10];
    void multiply(int idx) {
        std::cout << i[idx] * M << std::endl;
    }
};

union MulWrapper {
    mul<1> m1;
    mul<2> m2;
};

void f(mul<1> &s, mul<2> &t) {
    int i = s.i[0];
    t.i[0]++;
    if (s.i[0] == i) std::abort();
}

int main() {
    MulWrapper w;
    w.m1.i[0] = 0; // 初始化第一个成员
    f(w.m1, w.m2); // 合法的别名访问
}

这种方式完全符合标准，编译器不会做错误的优化，是这类场景的首选方案。

2. 使用std::launder（C++17及以上） #

如果你必须保留reinterpret_cast的使用方式，可以用std::launder告诉编译器：这个指针指向的内存区域可能被解释为另一个类型的对象，不要基于“类型唯一”的假设做优化。修改后的main函数如下：

int main() {
    mul<1> s;
    s.i[0] = 0;
    f(s, *std::launder(reinterpret_cast<mul<2>*>(&s)));
}

std::launder的作用是“清洗”指针，让编译器意识到该指针指向的对象可能已经被重新解释，从而避免错误的优化。需要注意的是，这种方式要求两个类型（mul<1>和mul<2>）都是标准布局类型（你的代码显然满足，因为是简单的结构体）。

3. 禁用严格别名优化（不推荐） #

作为最后的应急方案，可以通过编译器选项-fno-strict-aliasing来禁用严格别名规则的优化：

g++-8 -O3 -g -fno-strict-aliasing test.cpp -o test

但这种方式是编译器扩展，不符合C++标准，会降低编译器的优化效率，只建议在无法修改代码的临时场景下使用。

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