是否存在编译器可通过Sanitization捕获std::launder相关未定义行为？

核心结论 #

当前主流编译器（GCC、Clang）的Sanitizer工具（包括UBSan）无法直接检测到cppreference中transmorgify示例第二次调用触发的未定义行为（UB），且在std::launder的常见用例范围内，现有UBSan工具也缺乏针对这类UB的专门检测能力。

具体原因 #

你遇到的这个UB属于C++对象模型中对象生命周期与指针有效性的微妙范畴：第二次调用transmogrify时，代码尝试通过指向已被placement new覆盖的原对象的指针访问新对象，且未正确使用std::launder修正指针有效性。这类问题的特点是：

• 动态Sanitizer（如UBSan、ASAN）难以追踪对象的精确生命周期边界，也无法识别“指针是否经过合法的std::launder修正”这类语义层面的合规性；
• 现有UBSan的检查项中，没有针对“使用未launder的指针访问已覆盖对象”的专门检测逻辑，默认的-fsanitize=undefined或常见的Sanitizer组合都不会触发这类错误提示。

可能的替代检查方式 #

虽然现有Sanitizer无法检测，但可以尝试以下方式排查这类问题：

• 静态分析工具：使用Clang Static Analyzer（通过clang --analyze命令）扫描代码，部分场景下它能识别对象生命周期相关的违规，但不保证能覆盖这个特定示例；
• 手动代码审查：由于这类UB完全依赖对C++对象生命周期规则的准确理解，目前工具覆盖不足，手动检查是最可靠的方式；
• 编译器警告：尝试开启更高等级的编译器警告（如GCC的-Wall -Wextra -Wpedantic，Clang的-Weverything），部分相关的潜在问题可能会被警告提示，但同样无法保证捕获这个特定UB。

后续展望 #

随着C++标准对对象模型的进一步明确，以及编译器工具链的迭代，未来可能会新增针对std::launder相关UB的Sanitizer检查项，但截至当前（2024年），主流工具链尚未支持这类检测。

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