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

下面的代码演示了预期的(而且可以说是直观的)行为。就像可执行程序中的静态对象在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-namen";
        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;
}

编译并运行(注意dlopen()返回前Test()调用):

$ 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()...
$ 

。