无需手动指定可见性，如何让私有成员函数支持编译内联优化？

问题背景 #

使用-O3和-fPIC编译代码时，Foo::priv()因默认的外部链接属性无法被编译器内联；而Foo::priv2()通过__attribute__((visibility("hidden")))设置了内部链接，可正常被内联。无法内联Foo::priv()会带来显著性能损耗，核心原因是编译器无法排除其他动态库提供该函数替代实现、或该实现被优先链接的可能性。

示例代码 #

// foo.hpp    
class Foo {
public:
    int fn();
    int fn2();

private:
    static int priv();
    static __attribute__((visibility("hidden"))) int priv2();
};

// foo.cpp    
#include <functional>

template <std::invocable Func>
int run(Func func)
{
    int sum = 0;
    for (int i = 0; i < 10'000'000; ++i) {
        sum += func();
    }
    return sum;
}

int Foo::fn() { return run(&Foo::priv); }
int Foo::fn2() { return run(&Foo::priv2); }

int Foo::priv() { return 1; }
int Foo::priv2() { return 1; }

核心需求 #

在多共享库的大型代码库中，若能保证每个私有成员函数的定义仅归属某一个共享库（必要时可扩展至所有成员函数），无需手动逐个设置可见性或标记内联，通过编译选项让Foo::priv()这类函数支持内联优化。

可行方案 #

1. 全局设置默认可见性：-fvisibility=hidden #

给编译单元添加该选项后，所有默认外部链接的符号（包括类成员函数）的可见性会被设为hidden，等价于给每个符号手动添加__attribute__((visibility("hidden")))。

• 效果：函数被视为内部链接，编译器可安全内联，明确知道其实现不会被其他库替换。
• 注意：需手动给需要对外暴露的公共API添加__attribute__((visibility("default")))，确保其他库可正常链接。

2. 启用链接时优化（LTO）：-flto #

配合-O3使用-flto，编译器会在链接阶段整合所有编译单元的信息，确认Foo::priv()的实现仅存在于当前库后，即可安全内联。

• 效果：跨编译单元分析代码，消除动态链接的不确定性，即使函数是外部链接，只要无替代实现就可内联。
• 注意：编译和链接阶段都需添加-flto；大型代码库使用时会增加编译时间和内存占用，但能带来整体性能提升。

3. 补充选项：-fvisibility-inlines-hidden #

与-fvisibility=hidden配合使用，将所有内联函数的可见性设为hidden，进一步减少符号暴露，帮助编译器更放心地执行内联优化，适合存在大量内联函数的场景。

总结 #

若能严格保证私有成员函数的唯一性，优先选择-fvisibility=hidden（配合公共API手动标记），编译开销更小；若追求全局跨单元优化，-flto是更全面的选择。

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