C++标记指针的类型转换操作是否存在未定义行为？

一、核心操作的未定义行为判断 #

你的标记指针核心操作在满足前提条件的情况下不会触发未定义行为，具体分析如下：

• T 转 uintptr_t*：只要编译器提供了uintptr_t类型（C++11及以后标准要求实现支持），用reinterpret_cast将对象指针转换为uintptr_t是标准明确允许的操作，无未定义行为。
• 去除标记后的uintptr_t 转 void 再转 T**：
  1. 把还原后的uintptr_t用reinterpret_cast转成void*是合法的，因为该值对应原本有效的T*地址。
  2. 再用static_cast将void*转回T*（前提是确认真实类型就是T），这也是标准允许的——static_cast支持void*与指向完整对象类型的指针之间的双向转换，只要转换回原类型，就不会有问题。

关键前提 #

必须保证你用来存储标记的是指针地址的冗余未使用位：比如如果T的对齐要求是2^{N字节（比如int对齐是4字节，即2}2），那么指针的低N位必然是0，这些位可以安全用来存储标记。如果修改了指针的有效地址位（比如破坏了对齐要求或修改了高位地址位），那么还原后的uintptr_t对应的是无效内存地址，转成指针后无论是解引用还是进行其他操作，都会触发未定义行为。

二、类型转换的使用是否符合预期 #

• reinterpret_cast：你用它来实现指针与uintptr_t之间的转换，完全符合它的设计场景——reinterpret_cast的核心用途之一就是处理指针和整数类型之间的底层转换，这类转换无法用static_cast完成，所以这里的使用是正确的。
• static_cast：你用它将void*转回T*，也是符合预期的。static_cast是处理void*与对象指针之间转换的标准方式，相比reinterpret_cast，它更清晰地表达了“从通用指针转回原类型指针”的意图，只要确保类型匹配，就没有问题。

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