GCC/Clang中不同DSO内同一类型typeid不同的触发条件？

在同一版本GCC/Clang环境下，确实存在让同一类型在不同DSO（动态共享对象）中生成不同typeid的情况，进而导致跨DSO的dynamic_cast和异常捕获操作失败。以下是具体触发场景：

• 类型可见性配置不统一+实例化方式差异
  当编译时使用-fvisibility=hidden参数（默认所有符号隐藏），若多态类的头文件未给类添加__attribute__((visibility("default")))属性，且两个DSO对该类的实例化方式不同：比如一个DSO中触发了显式实例化（如template class MyPolyClass<int>;），另一个DSO仅做隐式实例化，此时两个DSO会各自生成独立的type_info符号，最终导致typeid不匹配。

• 虚函数表的生成与隔离
  若多态类的虚函数在不同DSO中有不同实现（比如头文件声明虚函数，两个DSO各自定义了该虚函数的不同版本），或某个DSO中虚函数被内联优化、另一个DSO未被内联，链接器可能会在两个DSO中分别生成独立的虚函数表（vtable）及对应的type_info，造成typeid不一致。

• 模板类实例化的编译差异
  对于模板多态类，若两个DSO分别实例化同一模板参数版本，但编译选项存在差异（如不同优化级别-O、不同宏定义），可能导致模板实例化后的类型出现细微差异（比如成员可见性、编译器生成的辅助结构不同），进而生成不同的type_info。

• 异常类未设置跨DSO可见性
  你之前遇到的异常捕获失败就属于这类场景：当异常类默认采用hidden可见性时，抛出异常的DSO与捕获异常的DSO会持有独立的type_info符号。跨DSO传递异常时，catch块匹配的是本地的type_info，无法识别来自另一个DSO的异常对象；添加__attribute__((visibility("default")))后，两个DSO共享同一个type_info符号，问题即可解决。

为何Compiler Explorer中无法复现？ #

Compiler Explorer的编译环境通常是单进程编译链接，默认链接策略会自动合并相同符号，且常规测试用例可能未触发上述的实例化差异、可见性配置细节。比如测试用例中两个DSO均为隐式实例化同一类，无显式实例化冲突，编译器会通过符号合并保证type_info一致。

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