dlopen（）が返す前に、動的にロードされたライブラリの静的C++オブジェクトが初期化されていますか？

Question

以下のコードは、予想される（また間違いなく直感的な）動作を示しています。 main()が入力される前に実行可能ファイルの静的オブジェクトが初期化されるのと同様に、動的にロードされるライブラリの静的オブジェクトは、dlopen()が返される前に初期化されることが予想されます。

問題点：ランタイムにロードされたライブラリの動作は何らかの形で保証されていますか、それとも便利な事故やラッキーな実装の詳細なのでしょうか？呼び出し中のライブラリ内の静的オブジェクトのコンストラクタを使用することができますか？呼び出しの範囲内でいくつかの望ましい動作を保証するために、__attribute__((constructor))とマークされた関数のような代替手段に頼らなければなりませんか？

// 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; 
} 

コンパイルと実行（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()... 
$ 

を。最初

Answer 1

まず物事：dlopen()は信じられないほどプラットフォーム固有の、あなたは常にあなたのプラットフォームの関連manページに相談してください初期の病気の症状の場合とWebMDのと同様にです。

これは私が今日のシステムは、（例えば、Windowsがshoddy POSIX complianceの長年の歴史を持っている）、このような規格にどのように対応を教えてくれませんでしたけれども機能のdlopen()家族は、IEEE Standard 1003.1, 2004 Editionに適合するように見えるにもかかわらず当てはまります。 OS/X/BSDで

---

、はい：

dlopen()はpathで指定されたマッハ-Oファイルを調べます。ファイルが現在のプロセスと互換性があり、現在のプロセスにまだロードされていない場合は、ロードされてリンクされます。 リンクされた後に、イニシャライザ関数が含まれている場合は、dlopen() が返される前に呼び出されます。

^{強調鉱山。 Linuxでは、に}

---

はい：

共有オブジェクトは、 __attribute__((constructor))と__attribute__((destructor))機能 属性を使用して関数をエクスポートします。 コンストラクタ関数はdlopen() が返される前に実行され、デストラクタ関数はdlclose() が返される前に実行されます。

^{強調鉱山。Solarisの}

---

、はい：

新しいオブジェクトをロードの一部として、オブジェクト内の初期化コードは、dlopen()戻る前に呼び出されます。この初期化はユーザコードであり、したがって、dlopen()によって捕らえられないエラーを生成する可能性があります。

^{強調鉱山。}