c++ - Clang 的 'type_visibility' 属性有什么作用，什么时候应该使用它？

Question

它在libc++中用于许多模板类型，例如tuple_element、tuple等

据我所知，除了 commit message 之外，没有关于它的作用的公开文档。介绍它和这个unit test在 clang 项目中。

Answer 1

此属性允许 ELF visibility类型和(可能)它的模糊链接对象(vtable、typeinfos)的控制与该类型的函数和数据成员的可见性分开。

这使得 typeinfos 和 vtable 可以集中定位，例如，模板化多态类型的显式实例化，而不会强制该类型的私有(private)静态数据成员的默认可见性 - 为没有人实际访问的东西导出符号使用共享库时，跨越库边界会浪费运行时和符号表空间。