C++指针对齐检查的标准合规方案探讨及相关疑问

一、标准合规的指针对齐检查方法 #

目前最常用的对齐检查方式是将指针转换为整数后取模，但这种方法没有标准保证——C++17及后续标准中，指针的值表示和指针到整数的映射都是实现定义的，如果指针以位序反转等特殊形式存储，这种方法会失效：

// 实现定义行为，无标准保证
bool is_aligned(void const *ptr, size_t alignment) {
  return reinterpret_cast<intptr_t>(ptr) % alignment == 0;
}

Boost.Align采用的就是这种实现定义的方式，但仅在多数常规平台有效。

目前唯一有标准保证的检查方式是借助std::align（尽管属于"滥用"其设计意图）：

// 符合C++标准的对齐检查
bool is_aligned(void const *ptr, size_t alignment) {
  void *mut_ptr = const_cast<void *>(ptr);
  size_t space = alignment;
  return std::align(alignment, alignment, mut_ptr, space) == ptr;
}

std::align的标准语义是调整指针到指定对齐边界，若输入指针本身已经对齐，则不会修改指针，返回值与原指针一致，以此可判断对齐状态。

二、非整数形式存储指针的平台 #

除了传说中的ds9k（一种假想的极端平台），现实中几乎没有主流平台会采用非整数形式存储指针。早期一些分段内存架构（如16位x86的实模式）中，指针由段基址和偏移量组成，但即使这种情况下，指针转换为intptr_t后，偏移量部分仍能反映对齐状态，常规的取模方法依然有效。

三、标准化指针转整数对齐规则的弊端 #

若标准化以下两条规则：

1. reinterpret_cast<intptr_t>(ptr)与ptr具有相同对象表示
2. 当ptr按alignment对齐时，reinterpret_cast<intptr_t>(ptr) % alignment == 0

看似不会排除分段内存或陷阱表示的指针，但实际上会限制编译器和平台的设计自由度：

• 部分平台可能需要通过指针的高位存储额外元信息（如安全标签、垃圾回收标记），这些元信息会干扰整数取模的结果，强制对齐时取模为0会破坏这类平台的设计可能性。
• 指针到整数的映射可能需要满足其他硬件特定的约束，标准化上述规则会绑定平台的指针表示设计，不利于未来特殊架构的扩展。

四、为何未标准化std::is_aligned() #

C++标准未加入std::is_aligned()主要有以下几点原因：

• 需求优先级：多数场景下，实现定义的指针转整数取模方法已经能满足主流平台需求，缺乏足够强烈的标准化动力。
• 平台兼容性：要覆盖所有极端平台的对齐检查逻辑，标准库的实现会变得复杂，甚至需要依赖平台特定的内部接口，违背标准库的抽象性原则。
• 语义模糊：对齐的定义在某些边缘场景下存在歧义（如针对非幂次对齐值的检查），标准化需要明确所有细节，增加了标准制定的复杂度。

五、补充场景：检查std::byte const*能否安全转换或使用assume_aligned #

对于存储了1024个int对象表示的std::byte const* ptr，要安全执行reinterpret_cast<int const*>或使用assume_aligned，需要满足两个条件：

1. 指针对齐符合要求：使用上述标准保证的std::align方法检查ptr是否满足alignof(int)的对齐要求。
2. 对象表示合法：确保ptr指向的内存中的字节序列是int的有效对象表示（即该序列对应某个合法的int值，无陷阱表示）。

注意：即使对齐满足要求，若内存中的字节序列是int的陷阱表示，reinterpret_cast后访问该指针仍会导致未定义行为，这部分无法通过标准方法检查，只能依赖业务逻辑保证内存内容的合法性。

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