C++中如何利用指针自身存储初始赋值条件以节省内存？

1. 指针临时用作布尔值与(A*)1这类无效指针的安全性 #

• 指针可以隐式转为布尔值：nullptr对应false，非空指针对应true，这是符合C/C++规范的。但用(A*)1这种无效非空指针标记初始状态，完全不可行：
  • 从标准层面来说，C++只认可nullptr作为合法空指针值，其他非空指针必须指向有效对象、数组元素，或是对象末尾的指针（past-the-end）。(A*)1不属于任何合法范畴，属于未定义行为——编译器可能会基于“非空指针必指向有效内存”的假设做优化，直接把你的标记逻辑删掉。
  • 实际运行时，这个地址可能是受保护的内核空间、硬件寄存器，一旦误操作（哪怕只是不小心解引用）就会直接崩溃；部分架构下还可能因指针未对齐触发访问错误。

2. 使用union实现的风险与实践价值 #

• 对于union boolA { bool assign; A* p; };这种写法：
  • C++11及以后，标准仅允许读取union最后一次写入的成员。如果先写assign再读p，或者反过来，属于类型双关，严格来说是未定义行为——尽管GCC、Clang、MSVC等编译器都有扩展支持，但依赖编译器扩展会导致代码可移植性极差。
  • 指针的大小通常远大于bool（比如64位系统下指针8字节，bool1字节），写入assign后，p的剩余字节是不确定值，读取p时可能拿到完全无效的指针，同样有崩溃风险。
  • 用union数组存储大量这类数据，虽然能省内存，但代码可读性差、维护成本高，还存在未定义行为风险，绝对算不上良好实践。

3. 更优的替代方案 #

• 用空指针标记初始状态：如果业务逻辑中，有效指针永远不会是nullptr，直接用nullptr表示未赋值状态，这是最安全、最符合规范的方案，完全不需要额外内存。
• 利用指针对齐特性做标记：如果A类型是按2的幂对齐（比如8字节对齐，这是绝大多数自定义类型的默认情况），指针的低几位会永远为0。我们可以用最低位存储状态标记：

  // 标记为未赋值状态
  uintptr_t raw = reinterpret_cast<uintptr_t>(p);
  p = reinterpret_cast<A*>(raw | 1);
  
  // 判断是否已赋值
  bool is_assigned = !(reinterpret_cast<uintptr_t>(p) & 1);
  
  // 获取有效指针（清除标记位）
  A* valid_ptr = reinterpret_cast<A*>(reinterpret_cast<uintptr_t>(p) & ~1);
  

  这种方法完全符合C++规范，不占用额外内存，性能也没有损耗。
• 内存块专属标记：如果你的所有A对象都从某个固定的大内存块分配，可以用这个内存块的起始地址-1作为未赋值标记（前提是这个地址永远不会被分配给有效对象）。但这种方法依赖严格的内存管理，通用性不如前两种。

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