DllMain() 和 __attribute__((constructor)) 执行顺序

Question

问：如果我在共享库中写了一个DllMain()函数，同时又写了一个带有__attribute__((constructor))的函数，加载库时哪个会先执行？

问：如果我在链接到该共享库的可执行文件中有带有__attribute__((constructor)) 的函数，那么首先调用什么 - 库的DllMain() 或可执行文件的__attribute__((constructor)) 函数？

Answer 1

A：函数按此顺序调用：

• DLL constructor
• DLL DllMain() (process attach)
• EXE constructor
• EXE main()
• EXE main() ends
• EXE destructor
• DLL DllMain() (process detach)
• DLL destructor

如果链接是在运行时完成的 (LoadLibrary()/FreeLibrary())，则函数按以下顺序调用：

• EXE constructor
• EXE main()
• EXE LoadLibrary()
• DLL constructor
• DLL DllMain() (process attach)
• EXE main() continues
• EXE FreeLibaray()
• DLL DllMain() (process detach)
• DLL destructor
• EXE main() ends
• EXE destructor

如果你忘记释放库，那么顺序是这样的：

• EXE constructor
• EXE main()
• EXE LoadLibrary()
• DLL constructor
• DLL DllMain() (process attach)
• EXE main() continues
• EXE main() ends
• EXE destructor
• EXE FreeLibaray() (system cleans up for you)
• DLL DllMain() (process detach)
• DLL destructor

Answer 2

考虑代码

EXE：

int main ()
{

    printf("Executable Main, loading library\n");
#ifdef HAVE_WINDOWS
    HMODULE lib = LoadLibraryA ("testdll.dll"); 
#elif defined(HAVE_LINUX)
    void * lib  = dlopen("testdll.so", RTLD_LAZY);  
#endif 

    if (lib) {
        printf("Executable Main, Freeing library\n");
    #ifdef HAVE_WINDOWS
        FreeLibrary (lib); 
    #elif defined(HAVE_LINUX)
        dlclose(lib);   
    #endif 
    }
    printf("Executable Main, exiting\n");
    return 0;
}

DLL

struct Moo
{
    Moo() { printf("DLL Moo, constructor\n"); }
    ~Moo() { printf("DLL Moo, destructor\n"); }
};

Moo m;

#ifdef HAVE_WINDOWS
BOOL APIENTRY DllMain( HMODULE hModule,
                       DWORD  ul_reason_for_call,
                       LPVOID lpReserved)
{
    switch (ul_reason_for_call)
    {
    case DLL_PROCESS_ATTACH:
        printf("DllMain, DLL_PROCESS_ATTACH\n");
        break;
    case DLL_THREAD_ATTACH:
        printf("DllMain, DLL_THREAD_ATTACH\n");
        break;
    case DLL_THREAD_DETACH:
        printf("DllMain, DLL_THREAD_DETACH\n");
        break;
    case DLL_PROCESS_DETACH:
        printf("DllMain, DLL_PROCESS_DETACH\n");
        break;
    default:
        printf("DllMain, ????\n");
        break;
    }
    return TRUE;
}
#else
CP_BEGIN_EXTERN_C
__attribute__((constructor))
/**
 * initializer of the dylib.
 */
static void Initializer(int argc, char** argv, char** envp)
{
    printf("DllInitializer\n");
}

__attribute__((destructor))
/** 
 * It is called when dylib is being unloaded.
 * 
 */
static void Finalizer()
{
    printf("DllFinalizer\n");
}

CP_END_EXTERN_C
#endif

输出不同： 在窗户上 可执行主程序，加载库 DLL Moo，构造函数 DllMain, DLL_PROCESS_ATTACH 可执行主，释放库 DllMain, DLL_PROCESS_DETACH DLL Moo，析构函数 可执行主程序，正在退出

Linux 可执行主程序，加载库 DllInitializer DLL Moo，构造函数 可执行主，释放库 DLL终结​​器 DLL Moo，析构函数 可执行主程序，正在退出

在 Windows 上，Moo 构造函数在 DLLMain 之前调用，而在 linux 上，它在使用 attribute((constructor)) 定义的 Initializer 之后调用。

为什么？