Clang编译下可执行文件中用dynamic_cast转换虚类的方法

问题根源在于Clang默认将虚基类的typeinfo标记为弱导出符号，导致可执行文件和共享库会各自生成一份独立的typeinfo实例。dynamic_cast依赖typeinfo的地址匹配来判断类型兼容性，地址不一致就会转换失败。以下是几种直接在可执行文件中使用dynamic_cast的解决方案：

1. 显式设置虚基类的符号可见性 #

编译共享库时，给虚基类添加visibility("default")属性，强制导出其typeinfo符号，确保可执行文件引用的是共享库中的唯一实例：

class __attribute__((visibility("default"))) BaseVirtual {
public:
    virtual ~BaseVirtual() = default;
    // 其他虚成员函数
};

如果项目中大部分符号不需要导出，可以全局设置-fvisibility=hidden编译选项，仅给需要的虚基类单独设置visibility("default")，这样既能保证符号精简，又能解决typeinfo不统一的问题。

2. 强制共享库生成唯一的typeinfo #

在共享库的实现文件中，显式生成虚基类的typeinfo实例，让链接器强制可执行文件使用这个版本：

// 共享库的cpp文件中添加
const std::type_info& force_base_typeinfo = typeid(BaseVirtual);

或者通过显式实例化模板的方式（针对标准库的type_info）：

template class std::type_info;

这样可执行文件在链接时会直接引用共享库中已生成的typeinfo，不会自己再生成一份。

3. 禁用弱符号生成 #

使用Clang的-fno-weak编译选项，编译共享库时禁用弱符号的生成，让typeinfo变为强符号。链接阶段可执行文件会强制绑定到共享库中的强符号typeinfo，避免重复实例化：

clang++ -shared -fPIC -fno-weak lib.cpp -o libtest.so

注意：这个选项会影响所有弱符号的生成，可能导致其他依赖弱符号的代码出现问题，需要结合项目实际情况测试使用。

优先推荐第一种方法，它对项目的侵入性小，且能精准控制符号导出范围，是最稳妥的解决方案。

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