具有隐藏可见性的 C++ 模板参数问题

Question

我在 gcc 下使用 -fvisibility=hidden 编译以下代码：

template<class T> struct /*__attribute__ ((visibility("default")))*/ A {};

template<class T> struct B
{
    B() __attribute__ ((visibility("default")));
};

template<class T> B<T>::B() {}

template class B<int>;
template class B<A<int> >;

如果我通过 nm | 运行生成的目标文件grep B，我明白了

000000000002b97c t B<A<int> >::B()
000000000002b972 t B<A<int> >::B()
000000000002b968 T B<int>::B()
000000000002b95e T B<int>::B()

即，B<int> 是可见的，但 B<A<int> > 是不可见的。如果我取消注释 sn-p 标记 A<T> 为可见，B<A<int> > 变为可见。但是，我不想将所有 A 标记为可见，因为在实际代码中 A<T> 包含大量应该保持私有的方法。

为什么A<T> 的可见性会影响B<A<T> > 的可见性？我可以让B<A<T> > 可见而不使所有A<T> 可见吗？

Answer 1

假设我正确理解了 ODR（我可能不理解 :)），隐藏您的 B<A<int> > 实例化看起来像是与 ODR 相关的要求。如果B<A<int> > 未隐藏，则A<> 的成员的多个实例可能存在并被引用，从而导致ODR 违规。 GCC 的symbol visibility Wiki 简要描述了在具有模糊链接（包括模板）的“实体”上使用隐藏符号可见性时的此类违规行为（参见例外部分）。

您想通过隐藏A<> 模板中的符号来达到什么目的？

Answer 2

如果您特别希望隐藏 A 的内联方法，请尝试使用 -fvisibility-inlines-hidden