符号可见性和 gcc 警告

Posted 2023-02-24

【中文标题】符号可见性和 gcc 警告

【英文标题】：Symbol visibility and gcc warnings

【发布时间】：2018-11-10 23:35:58

【问题描述】：

这是Symbol visibility and namespace的后续问题

我将稍微修改这个示例，因为它与命名空间无关：

namespace MyDSO 
  struct __attribute__ ((visibility ("hidden"))) Foo 
    void bar() 
  ;


struct Bar 
  MyDSO::Foo foo;
;

int main() 

通过gcc example.cpp -o example 编译会在链接问题中吐出警告‘Bar’ declared with greater visibility than the type of its field ‘Bar::foo’。

问题：为什么不如果我收到警告

a) 为 struct Bar 显式添加默认可见性，即我有

namespace MyDSO 
  struct __attribute__ ((visibility ("hidden"))) Foo 
    void bar() 
  ;


struct __attribute__ ((visibility ("default"))) Bar 
  MyDSO::Foo foo;
;

int main() 

b) 删除隐藏的可见性，为 Bar 添加默认可见性并使用-fvisibility="hidden"编译？

在我看来，最终结果是相同的，事实上，所有二进制文件都完全相同（gcc 7.3.1，还有旧的）。如果我将两个结构分成两个类并用它们构建一个静态库，则符号表（objdump -t -C）包含完全相同的符号和完全相同的修饰符（全局、本地等），只有几个条目第一列（虚拟地址）不同。

【参考方案1】：

在这两种情况下，明确的可见性属性是在每个类的基础上消除警告的预期方式。来自gcc/cp/decl2.c：

/* Don't warn about visibility if the class has explicit visibility.  */
if (CLASSTYPE_VISIBILITY_SPECIFIED (type))
  vis = VISIBILITY_INTERNAL;