ISO标准下MMIO寄存器的非未定义行为（UB）访问方式探讨

核心结论 #

不存在完全符合C++标准的非UB方式直接通过整数转指针访问寄存器，关键细节如下：

• 整数转指针属于实现定义行为，但通过该指针访问未创建的对象（比如寄存器对应的内存映射地址）会直接触发未定义行为（UB）。
• volatile关键字无法解决UB问题：它仅能强制编译器每次直接访问目标地址、跳过优化，但无法改变"访问未创建对象"本身的UB属性。
• placement new和std::start_lifetime_as不适用：这两个工具要求指针必须是存储指针（即来自operator new或标准分配函数的指针），而整数转换得到的指针不满足这个前提，用它们构造对象依然属于UB。
• 编译器扩展不覆盖UB：扩展规则仅能处理实现定义行为，对于标准明确标记的UB，扩展也无法将其合法化。

可行替代方案 #

目前能避开UB的方案只有两种：

1. 直接使用汇编代码：绕过C++标准的内存模型限制，直接对寄存器地址进行读写操作。
2. 自定义operator new：通过重载分配函数，将目标寄存器对应的地址标记为合法的存储指针，后续就能合法使用placement new或std::start_lifetime_as来创建对象并访问。

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