通过std::bit_cast在void*间往返转换std::list::iterator的未定义行为问题

一、代码中的未定义行为根源 #

你给出的代码里，即便std::bit_cast通过了大小和平凡性检查，把std::list::iterator转成void*再还原后解引用，依然存在未定义行为，核心原因在于：

• std::list的迭代器本质是封装了节点指针的类型（哪怕它是平凡类型），但迭代器本身并不是标准定义的“指向对象的指针”。当你用bit_cast把它的二进制内容强转成void*时，得到的void*值大概率不属于标准允许的合法范围，属于无效指针值。
• 后续把这个无效的void*转回到迭代器类型时，得到的迭代器已经是无效状态，对其解引用自然触发未定义行为。

二、void*的标准限定规则 #

根据C++标准，void*只能存储以下两类合法值：

• 空指针值（即nullptr对应的二进制表示）；
• 从指向对象（或对象的子对象、成员）的指针，或者指向函数的指针转换而来的值（函数指针转void*是实现定义行为，标准不强制要求支持）。
• 任何超出上述范围的void*值都是无效的，对这类值进行转换、读取等操作，标准不保证任何结果。

三、x86-64平台的实际情况 #

在x86-64架构的常见编译器实现（比如GCC、Clang、MSVC）中：

• void*和std::list::iterator的宽度都是64位，二进制存储不会有截断问题；
• 硬件层面不对指针值做严格校验，任何64位值都可以被当作指针存储和转换，所以这段代码大概率能正常运行。
• 但必须明确：这只是平台实现的特性，完全不符合C++标准的要求，属于实现定义行为。一旦换用其他架构（比如ARM、RISC-V）或者特殊编译器配置，代码可能直接崩溃或出现不可预料的结果。

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