关于Visual C++内联函数引发函数意外导出的链接器行为疑问

问题场景 #

我们用Visual C++ 15版本构建静态库，代码如下：

extern "C" void __stdcall Internal()
{
    // ...
}

class SomeClass {
    inline void SomeFunc()
    {
        Internal(); // 在此调用Internal
    }
}

当这个静态库链接到EXE程序时，Internal函数会出现在EXE的导出表中；但如果把SomeFunc改成非内联函数，Internal就不会被导出。

背后的原因 #

这得结合VC++的编译和链接逻辑来看：

• inline函数的代码生成规则：类内直接定义的inline函数（比如SomeFunc），编译器会在每个调用它的编译单元里生成代码副本。当EXE链接静态库时，如果EXE里有调用SomeFunc的地方，或者编译器选择把SomeFunc内联到调用点，那Internal的代码就会被实例化到EXE的编译单元里。
• extern "C"符号的可见性：Internal用extern "C"声明，意味着它是全局可见的C风格符号。在VC++里，如果一个全局符号被编译进EXE的代码段，且没被标记__declspec(dllexport)或__declspec(dllimport)，当这个符号被外部引用（或者编译器判定需要暴露它）时，就可能被意外导出——正是inline函数的实例化把Internal的代码带进了EXE，让链接器误以为这个符号需要被导出。
• 非inline函数的区别：要是SomeFunc是非内联的，它的代码只会在静态库里生成，Internal的调用也只存在于静态库的编译单元中。此时Internal的符号仅在静态库内部可见，链接到EXE时，EXE的链接器只会把Internal的代码打包进来，但不会将其加入导出表——因为没触发“符号在EXE编译单元中被实例化且需要全局可见”的条件。

避免意外导出的方法 #

你可以给Internal加上static声明（但要注意可能带来的代码冗余），或者用__declspec(nothrow)明确符号的可见性；也可以调整VC++的链接选项，比如用/OPT:NOICF改变符号处理逻辑，但最稳妥的方式还是明确控制每个符号的可见性，避免全局符号被意外暴露。

内容的提问来源于Stack Exchange，提问作者Eugene Mayevski 'Callback