关于Strict aliasing、指针转换与std::launder的合规性及相关问题

1. 原代码为何违反strict-aliasing规则 #

strict-aliasing规则禁止用一种类型的指针访问另一种不兼容类型的对象（字符类型指针访问其他类型是允许的，但反过来不行）。你给出的代码中，std::byte属于字符类型，直接将其数组指针转为double*并解引用赋值，本质是用double*访问std::byte对象，违反了strict-aliasing规则，属于未定义行为（UB）。

2. 使用std::launder能否让代码合规？ #

不能。std::launder的作用是告知编译器：指针指向的内存中已经存在一个与指针类型匹配的有效对象，需要绕过编译器的优化假设。但你的代码中，buffer只是std::byte数组，内存中并没有构造出double对象——在C++中，要在原始内存上创建对象必须显式调用构造函数（比如定位new）。没有构造double对象的前提下，即使使用std::launder，double*指向的内存中依然没有合法的double对象，解引用依然是UB。

正确的合规写法示例：

std::byte buffer[sizeof(double)];
// 显式在buffer的内存上构造double对象
double* x = new(buffer) double;
*x = 45.35;

3. std::launder的性能影响 #

如果是正确使用std::launder，性能几乎没有损失。因为std::launder本质是给编译器提供语义提示，不会生成额外的机器指令，编译器通常会直接优化掉这个调用。只有在编译器原本会基于strict-aliasing做激进优化的场景下，std::launder会阻止这些优化，但这是符合语义需求的必要限制，不会带来额外性能开销。

4. C语言扩展中不用union或memcpy的等效操作 #

标准C中，直接将字符数组指针转为非字符类型指针并访问属于UB。但在GCC、Clang等编译器的扩展中，允许这种操作（前提是内存对齐符合目标类型要求）。示例代码：

#include <stdint.h>
uint8_t buffer[sizeof(double)];
double* x = (double*)buffer;
*x = 45.35;

这段代码在启用编译器扩展的情况下可以正常工作，但不属于标准C的合规写法，换用其他编译器或编译选项可能会出现问题。

5. -fno-strict-aliasing选项的作用 #

-fno-strict-aliasing会让编译器关闭strict-aliasing相关的优化，即编译器不再假设不同类型的指针不会指向同一块内存。这确实能避免因违反strict-aliasing规则而导致的编译器错误优化（比如乱序读写、值被缓存不更新等），从避免UB引发的奇怪行为角度，提升了代码的“安全性”。

但要注意：这只是掩盖问题，不是真正解决合规性——代码在标准层面依然是UB，只是编译器不利用strict-aliasing做优化了。此外，关闭这个优化可能会让编译器失去一些潜在的性能优化机会，导致代码运行效率略有下降。

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