C/C++中在非对齐地址存取值是否安全？是否属内存不对齐？

你的简化代码如下：

unsigned char chars[10] = {0, 255, 255, 255, 255, 255, 255, 255, 255, 0};
uint64_t val = *reinterpret_cast<uint64_t*>(chars + 1);
std::cout << "val: " << val << std::endl; // 你的机器上输出18446744073709551615

std::string* myString = new std::string("Hello world!");
*reinterpret_cast<std::string**>(chars + 1) = myString;
std::string* retrievedPtr = *reinterpret_cast<std::string**>(chars + 1);
std::cout << "retrievedStr: " << *retrievedPtr << std::endl; // 输出'Hello world!'

首先确认：这确实属于非对齐内存访问情况 #

chars是unsigned char数组，chars+1的地址偏移了1字节。而uint64_t（通常要求8字节对齐）、64位指针（同样要求8字节对齐）的起始地址都不符合对齐要求，因此这是典型的非对齐内存访问操作。

你的代码是否“安全”？答案是：不符合C/C++标准，属于未定义行为，存在风险 #

虽然你的代码在当前机器上能正常运行，但并不代表它是安全的，原因如下：

• 硬件兼容性问题：并非所有CPU都支持非对齐内存访问。比如ARM、PowerPC等架构的处理器，直接访问非对齐地址会触发硬件异常（崩溃）；x86架构虽然允许非对齐访问，但会产生额外的总线周期，性能比对齐访问差很多，这和你做高效内存堆的目标相悖。
• 编译器优化导致逻辑错误：C/C++标准允许编译器假设所有标量类型（基本数值类型、指针）的访问都是对齐的。当开启优化（如-O2）时，编译器可能会基于这个假设生成代码，导致你的非对齐访问逻辑出现诡异错误——比如指令重排、访问结果被错误优化，甚至直接忽略你的操作。
• 标准层面的未定义行为：C/C++标准明确将非对齐的标量类型访问归为未定义行为，这意味着编译器可以对这类代码做任何处理，没有任何行为保证。

针对你的需求的替代方案 #

既然你只处理基本数值类型和原始指针，不涉及构造/析构，推荐两种标准兼容的实现方式：

1. 使用std::memcpy读写非对齐内存
   这是标准允许的、可移植的方式，编译器会自动处理对齐问题，性能在多数场景下和直接访问持平（编译器会自动优化）：

   // 读取uint64_t
   uint64_t val;
   std::memcpy(&val, chars + 1, sizeof(val));
   
   // 存储和读取指针
   std::string* myString = new std::string("Hello world!");
   std::memcpy(chars + 1, &myString, sizeof(myString));
   
   std::string* retrievedPtr;
   std::memcpy(&retrievedPtr, chars + 1, sizeof(retrievedPtr));
   

2. 提前保证内存块的对齐
   如果你的自定义堆追求极致性能，可以在分配内存时就按照系统最大对齐要求（alignof(std::max_align_t)）来划分内存区域，这样所有基本类型和指针的访问都能满足对齐要求，直接用指针操作即可，无需担心非对齐问题。

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