为何显式设默认可见性或用-fvisibility=hidden时GCC无符号可见性警告？

嘿，这个问题挺有意思的，我来给你拆解一下GCC为什么在这两种情况下不触发那个可见性不匹配的警告，同时也解释下为什么最终二进制看起来几乎一致。

首先得先搞懂GCC触发‘Bar declared with greater visibility than the type of its field Bar::foo’警告的核心逻辑：

当一个没有显式指定可见性的类型（比如你原始代码里的Bar），它会继承编译环境的默认可见性（默认是default）；如果这个类型的成员的可见性比它本身低（比如Foo是hidden），GCC会认为你可能是疏忽了——对外可见的结构体包含了一个不可见的成员类型，这可能导致其他模块无法正确使用这个结构体，所以触发警告提醒你。

为什么情况a不会触发警告？ #

情况a里你给struct Bar显式添加了__attribute__ ((visibility ("default")))，这就改变了编译器的判断逻辑：

• 当你主动显式指定了Bar的可见性时，GCC会默认认为你已经完全清楚自己在做什么——你故意让一个对外可见的结构体包含了一个隐藏的成员类型，不存在“疏忽”的可能，所以不会触发警告。

为什么情况b不会触发警告？ #

情况b的关键是-fvisibility="hidden"编译选项加上你给Bar显式指定的default可见性：

• 首先，-fvisibility="hidden"会把所有没有显式指定可见性的类型默认设为hidden，所以Foo的可见性是hidden；
• 但你给Bar显式指定了default可见性，和情况a一样，编译器会认为这是你主动做出的选择，而非依赖默认设置的疏忽，因此不会触发警告。

为什么几种情况的二进制文件几乎一致？ #

这是因为GCC的警告只是编译阶段的静态检查，用来提醒你潜在的问题，并不会改变最终的代码生成逻辑：

• 不管你是显式指定Bar的default可见性，还是依赖编译环境的默认default，Bar的最终可见性都是default；
• 而Foo的可见性在所有测试场景里都是hidden（要么是显式指定，要么是被-fvisibility="hidden"强制设置）；
• 既然所有类型的最终可见性状态完全一致，生成的二进制文件（包括符号表）自然也几乎一样，只有虚拟地址这种编译时随机分配的内容会有差异。

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