前向声明+typedef是否修改类属性？AppleClang typeinfo隐藏问题求解

你触发了Apple Clang处理模板类可见性的典型顺序依赖特性：

1. 你的全局编译参数指定了-fvisibility=hidden，即所有符号默认可见性为隐藏，除非显式指定visibility("default")。
2. 文件头部你只做了模板类Foo::BarHidden<T>的前向声明，此时编译器还没有读到该模板类后续定义的visibility("default")属性，默认给这个前向声明的模板类标记了全局隐藏可见性。
3. 紧接着你定义了typedef Foo::BarHidden<double> BarHiddenTypedef;，这个语句会触发Foo::BarHidden<double>的隐式实例化声明，此时编译器会沿用前向声明的隐藏可见性，给这个特化实例记录下隐藏的可见性标记，后续模板类定义的可见性属性不会回溯更新已经记录的特化实例可见性。
4. 另外两个throw语句符合预期的原因：
   • Foo::BarExported是非模板类，非模板类的可见性最终以定义处的显式声明为准，不受前向声明可见性影响。
   • Foo::BarHidden<int>是在throw语句处第一次触发实例化，此时编译器已经处理完模板类的定义，读到了visibility("default")属性，因此会给这个特化实例标记为默认可见。

C++国际标准本身没有对符号可见性做任何规定，可见性属于编译器实现的平台级扩展特性，因此Clang的这个行为不属于标准违规，是其实现规则下的正常行为。

针对需要保障动态库所有typeinfo可见的需求，可按优先级选择以下方案：

• 优先选择编译参数级修复：在编译选项中追加-ftypeinfo-visibility=default，该参数会强制Clang将所有typeinfo符号的可见性设为默认导出，完全规避这类顺序依赖导致的可见性错误，不需要修改业务代码，最适配大型代码库的批量修复场景。
• 代码规范级修复：要求所有带可见性属性的模板类，必须在第一次前向声明时就指定可见性属性，不要把可见性声明放在后续的定义位置，从根源避免顺序依赖问题。
• 局部修复：针对已知有问题的模板特化实例，在模板类定义后补充显式实例化声明，例如：template class __attribute__((visibility("default"))) Foo::BarHidden<double>;，手动强制指定该实例的可见性。
• 不推荐方案：将全局编译参数的-fvisibility=hidden改为-fvisibility=default，该方案虽然能解决问题，但会导出所有符号，会增加库体积和动态链接开销，还可能导致符号冲突。

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