动态加载的库中的静态 c++ 对象是否在 dlopen() 返回之前初始化？

Question

下面的代码演示了预期的（并且可以说是直观的）行为。正如在输入main() 之前初始化可执行文件中的静态对象一样，人们会期望在dlopen() 返回之前初始化动态加载的库中的静态对象。

问题：在运行时加载的库的这种行为是否以任何方式得到保证，还是只是一个方便的意外或幸运的实现细节？我们是否可以依赖被调用的库中静态对象的构造函数，或者我们是否必须求助于诸如标有__attribute__((constructor)) 的函数之类的替代方法，以确保在dlopen() 调用范围内实现某些期望的行为？

// libtest.cpp
#include <iostream>

namespace
{
    class Test
    {
    public:
        Test()  { std::cerr << "In Test()...\n"; }
        ~Test() { std::cerr << "In ~Test()...\n"; }
    };

    Test    test; // when is this initialized?
}

// testso.cpp
#include <dlfcn.h>
#include <iostream>

int main( int ac, char* av[] )
{
    if ( ac < 2 )
    {
        std::cerr << "Usage: " << av[0] << "library-name\n";
        return 1;
    }
    std::cerr << "Before dlopen()...\n";
    ::dlerror();
    void*    _handle(::dlopen( av[1], RTLD_NOW ));
    std::cerr << "After dlopen()...\n";
    if ( !_handle )
    {
        std::cerr << "Error: " << ::dlerror() << ", exiting...\n";
        return 2;
    }
    ::dlclose( _handle );
    std::cerr << "After dlclose()...\n";
    return 0;
}

编译并运行（注意Test() 调用之前dlopen() 返回）：

$ g++ -o libtest.so -shared -fPIC libtest.cpp
$ g++ -o testso -ldl testso.cpp
$ ./testso ./libtest.so
Before dlopen()...
In Test()...
After dlopen()...
In ~Test()...
After dlclose()...
$ 

。

Answer 1

第一件事：dlopen() 是难以置信特定于平台的，与早期疾病症状和 WebMD 的情况一样，您应该始终咨询您平台的相关 man 页面。

即使dlopen() 系列函数似乎符合IEEE Standard 1003.1, 2004 Edition，这也是正确的，尽管我无法告诉您今天的系统与这些标准的兼容性如何（例如，Windows 的@987654322 有着悠久的历史@)。

---

在 OS/X / BSD 上，是：

dlopen() 检查path 指定的mach-o 文件。如果文件与当前进程兼容并且尚未加载到 当前进程，它被加载并链接。 链接后，如果它包含任何初始化函数，则在dlopen()之前调用它们 返回。

^{强调我的。}

---

在 Linux 上，是：

共享对象可以使用 __attribute__((constructor)) 和 __attribute__((destructor)) 函数 属性。 构造函数在dlopen()之前执行 返回，析构函数在dlclose()之前执行 返回。

^{强调我的。}

---

在 Solaris 上，是：

作为加载新对象的一部分，在dlopen() 返回之前调用对象内的初始化代码。此初始化是用户代码，因此可能会产生无法捕获的错误dlopen().

^{强调我的。}