c++ - 防止导出的函数被链接器删除

Question

我有一个程序，它与几个导出一些函数的 c++ 库静态链接：

extern "C" 
{ 
    KSrvRequestHandler* CreateRequestHandler( const char* name );
    bool                DestroyRequestHandler( KSrvRequestHandler* handler );
    const char**        ListRequestHandlerTypes();
}

然后主程序使用 GetProcAddress/dlsym 调用这些函数：

#ifdef WIN32

   HINSTANCE hDll = GetModuleHandle( NULL );

   mCreateHandler   = GetProcAddress( hDll, createFuncName  );
   mDestroyHandler  = GetProcAddress( hDll, destroyFuncName );
   mGetHandlerTypes = GetProcAddress( hDll, listFuncName    );

#else // POSIX

   void* handle = dlopen( NULL, 0 );

   mCreateHandler   = dlsym( handle, createFuncName  ); 
   mDestroyHandler  = dlsym( handle, destroyFuncName ); 
   mGetHandlerTypes = dlsym( handle, listFuncName    ); 
   dlclose( handle );

#endif // !POSIX

所以这里的关键是我正在使用动态链接在我自己的主程序中调用一个函数。

（为什么我这样做超出了问题的范围，但简短的回答：这是一个插件架构，但我有一些直接链接到主二进制文件的标准插件 - 但我仍然想通过相同的插件加载来加载它们接口。例如，对于内置插件，我通过传入当前可执行文件作为插件接口的源来加载它们。）

问题是：链接器不知道我将需要这些函数，也没有将它们链接进去。

如何强制链接这些功能？对于动态库，导出它们就足够了。但是对于一个 exe，即使是 dll 导出的函数也会被链接器删除。

我知道我可以通过使主二进制文件将这些函数地址分配给某些东西或其他类似的黑客来强制链接。有正确的方法吗？

@UPDATE：所以我有一个可行的解决方案 - 但它的内部确实很难看。还在寻找更好的方法。

所以我必须以某种方式在加载内置接口的对象中定义我需要的符号。我认为没有办法强制链接器以其他方式链接符号。例如，我不知道如何构建一个函数库，该函数库总是链接它看起来是否需要。这完全由可执行文件的链接步骤决定。

所以在可执行文件中我有一个宏来定义我需要的内置接口。每个内置插件都有其所有接口函数的前缀，因此，在文件的顶部我这样做：

DEFINE_BUILT_IN_PLUGIN( PluginOne )
DEFINE_BUILT_IN_PLUGIN( PluginTwo )

这将强制定义我需要的函数。但是这样做的宏是如此丑陋，以至于我充满了愤怒和自我怀疑的感觉（为了便于阅读，我从宏中删除了尾部斜杠）：

#define FORCE_UNDEFINED_SYMBOL(x) 
    void* _fp_ ## x ## _fp =(void*)&x; 
    if (((ptrv) _fp_ ## x ##_fp * ( rand() | 1 )) < 1 ) 
        exit(0);

#define DEFINE_BUILT_IN_PLUGIN( PREFIX )  

extern "C" 
{                                                                                                   
    KSrvRequestHandler* PREFIX ## CreateRequestHandler( const char* name );
    bool                PREFIX ## DestroyRequestHandler( KSrvRequestHandler* handler );      
    const char**        PREFIX ## ListRequestHandlerTypes();
}  

class PREFIX ## HandlerInterfaceMagic
{      
public:
    PREFIX ## HandlerInterfaceMagic()
    {
        FORCE_UNDEFINED_SYMBOL( PREFIX ## CreateRequestHandler );
        FORCE_UNDEFINED_SYMBOL( PREFIX ## DestroyRequestHandler );
        FORCE_UNDEFINED_SYMBOL( PREFIX ## ListRequestHandlerTypes ); 
    }
};               
PREFIX ## HandlerInterfaceMagic PREFIX ## HandlerInterfaceMagicInstance;

由于编译器是一个优化天才，在 FORCE_UNDEFINED_SYMBOLS 中，我将竭尽全力欺骗编译器链接一个未引用的函数。该宏仅在函数内部有效。所以我必须创建这个虚假的魔法类。一定会有更好的办法。

无论如何 - 它确实有效。

score 3 · Accepted Answer

我已经看到至少两种不同的方法来解决类似的任务。

例如，在 Qt 中，您可以通过调用特定宏将静态插件“导入”到主可执行文件中：

https://qt-project.org/doc/qt-4.8/qtplugin.html#Q_IMPORT_PLUGIN

它创建自定义类的静态实例，其构造函数调用从静态插件导出的初始化函数。
extern "C"Poco 家伙使用Linux 上的声明和 Windows 上的 pragma强制从静态库中导出特定符号：

__pragma(comment (linker, "/export:CreateRequestHandler"))

在 Linux 上使用相同的声明强制到静态库extern "C"的链接，在 Windows 上使用链接器编译指示：

__pragma(comment (linker, "/include:CreateRequestHandler"))

您可以在此博客文章中找到详细信息。

score 0 · Accepted Answer

你不能为你的主要可执行链接器提供一个 .def 文件吗？该文件应该导出有问题的函数，这样可以防止它们被删除。

我似乎记得我很久以前做过这样的事情。

score 0 · Accepted Answer

问题：在 Windows 上，静态 LIB 包含一个 OBJ 文件，该文件具有标记为 __decl-spec(dll¬export) 的函数，但如果在 EXE 中未使用该函数，则不会从 EXE 导出函数。在其他平台上我们也有同样的问题，但是我们有编译器选项，比如 --whole-archive / -force_load，让它工作。

链接：Link1 Link2

我想到的唯一解决方案是不创建静态库，而是在可执行文件中包含所有代码（静态库）： 1. 它适用于 Windows 2. 它适用于没有 --whole-archive 的 Linux 3. 它适用于没有 -force_load 4 的 Mac OS X。我们也不必担心 2 和 3 是否包含死代码、exe 膨胀等。

这是唯一的解决方案，直到链接器变得智能并丢弃所有未使用的符号，除了那些专门标记为外部使用的符号，即标记为要导出的符号。

c++ - 防止导出的函数被链接器删除

3 回答 3

Related

Reference