C语言开发的共享库能否阻止特定函数被主程序覆盖？

Linux动态链接器默认遵循全局符号介入规则，主程序中定义的全局符号优先级高于共享库中的同名符号，所以会出现你提到的覆盖情况，可通过以下几种方法实现特定函数的防覆盖：

方法1：链接共享库时添加-Bsymbolic-functions选项 #

该选项会让共享库链接时就把内部的函数调用直接绑定到库内的同名符号，运行时不会再去全局符号表查找，自然不会被主程序的同名函数覆盖。

• 编译命令示例：
  gcc -shared -fPIC your_lib_source.c -o libyour_lib.so -Wl,-Bsymbolic-functions
• 特点：作用于库内所有函数，无需修改代码，适合需要保护库内全部函数不被覆盖的场景。

方法2：给特定函数加__attribute__((visibility("protected")))属性 #

如果只需要保护个别指定函数，给对应函数添加该属性即可，不需要改动全局编译规则。

• 代码示例：

// 仅该函数会被保护，不会被主程序的同名实现覆盖
__attribute__((visibility("protected"))) int calc_sum(int a, int b) {
    return a + b;
}

• 特点：粒度可控，仅修饰的函数生效，其他函数依然遵循默认的符号查找规则，灵活性最高，主流GCC版本都支持该属性。

方法3：对内层私有函数加static修饰 #

如果需要保护的函数完全不需要对外暴露、仅做库内部调用，直接给函数加static修饰即可，该函数不会出现在动态符号表中，完全不可能被主程序覆盖。

• 适用场景：仅用于库内部逻辑、不对外提供的私有函数。

注意：以上方案仅对共享库内部的函数调用生效，如果主程序显式调用该保护函数，调用的依然是主程序自己定义的版本，只有共享库内部调用自己的该函数时，才会固定绑定到库内的实现，不会被覆盖。

内容的提问来源于stack exchange，提问作者J. Chau