Xcode 16中共享库内final类型的dynamic_cast失效问题咨询

问题场景 #

在Xcode 16环境中，使用-O2优化编译包含final派生类的共享库及主程序时，dynamic_cast<Derived*>(Base*)会意外失败，程序输出!!! FAIL。

复现代码 #

Type.h #

struct Base
{
    virtual ~Base() = default;
};

struct Derived final : Base
{
    Derived();
};

Type.cpp #

#include "Type.h"

Derived::Derived() = default;

main.cpp #

#include "Type.h"
#include <memory>
#include <iostream>

int main()
{
    std::shared_ptr<Base> pr = std::make_shared<Derived>();

    auto dyncast = dynamic_cast<Derived*>(pr.get());
    std::cout << (dyncast ? "OK\n" : "!!! FAIL\n");
    return 0;
}

编译命令 #

clang++ -dynamiclib -L. -std=gnu++20 -O2 -o libOut.dylib Type.cpp
clang++ -o out main.cpp -L. -lOut -O2 -std=gnu++20
./out

问题原因 #

这是Xcode 16附带的Clang编译器在-O2优化下的Bug：当Derived被标记为final、构造函数未内联且无额外虚函数时，编译器的优化逻辑错误地破坏了跨共享库的RTTI（运行时类型信息）一致性，或是过度优化了虚表结构，导致dynamic_cast无法正确识别实际类型。

已知临时解决方案 #

• 移除Derived声明中的final关键字
• 将Derived的构造函数内联到头文件（例如在Type.h中直接定义Derived() = default;）
• 为Derived添加任意额外的虚成员函数（即使是空实现）
• 禁用-O2优化，改用-O0或-O1编译
• 降级Xcode至15版本

编译标志Workaround #

可以尝试以下编译标志规避该Bug：

• -fno-rtti-data-opt：强制禁止RTTI相关数据的优化，确保类型信息完整保留
• -fno-devirtualize：禁止编译器对虚函数进行过度去虚拟化优化，避免破坏类型识别所需的结构
• -fwhole-program-vtables：统一处理跨模块的虚表信息，需确保共享库和主程序都添加此标志编译

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