如何动态获取dll中的导出函数地址(windows版本)

　　在使用第三方库的时候，一般会提供两种格式的库文件：静态库(lib)和动态库(dll)。在使用动态库的时候，需要这个dll和头文件外，还需要一个lib文件(该文件和静态lib不同，其只是包含了dll中导出函数的符号）；但是如果只有这个dll库文件，我们该如何办呢？这就涉及到Windows动态加载相关知识，感兴趣的同学可以阅读《Windows核心编程》这本书，里面详细介绍了相关的知识点。下面主要结合github上一个开源项目进行介绍，了解和掌握如何用Windows API实现动态加载并且通过泛型实现不同导出函数地址的加载。

一、如何通过泛型编程动态获取指定dll导出函数地址

　　直接上代码，这里的源代码参考：not-enough-standards/shared_library.hpp at master · Alairion/not-enough-standards (github.com)，我提取了其中Windows部分实现如下，并对相关泛型知识点做了备注。

#include <Windows.h>
#include <string>
#include <cassert>

class SharedLibrary
{
public:
    using NativeHandleType = HMODULE;

public:
    explicit SharedLibrary(const std::wstring& path)
    {
        _handle = ::LoadLibraryW(path.c_str());
    }

    ~SharedLibrary()
    {
        if (_handle) {
            ::FreeLibrary(_handle);
            _handle = NULL;
        }
    }

    SharedLibrary(const SharedLibrary&) = delete;
    SharedLibrary& operator= (const SharedLibrary&) = delete;

    SharedLibrary(SharedLibrary&& t) noexcept
    {
        _handle = std::exchange(t._handle, NativeHandleType{});
    }


    SharedLibrary& operator= (SharedLibrary&& t) noexcept
    {
        _handle = std::exchange(t._handle, NativeHandleType{});

        return *this;
    }

    template<typename Func, 
        typename = std::enable_if_t<std::is_pointer_v<Func>&& std::is_function_v<std::remove_pointer_t<Func>>>>
        // template< bool B, class T = void >
        // using enable_if_t = typename enable_if<B, T>::type;
        // 作用是在模版实例化的时候检测Func是否是指针类型并且去掉指针后释放满足函数定义
    Func Load(const std::string& symbol)
    {
        // std::empty since c++17
        // std::data since c++17
        assert(!std::empty(symbol) && "load shared library symbol is empty.");
        assert(_handle && "shared libray handle is invaild.");
        auto unameFn = reinterpret_cast<void(*)()>(::GetProcAddress(_handle, std::data(symbol)));
        return reinterpret_cast<Func>(unameFn);
    }

    template<typename Func, typename = std::enable_if_t<std::is_function_v<Func>>>
    // template< bool B, class T = void >
    // using enable_if_t = typename enable_if<B, T>::type;
    // 作用是在模版实例化的时候检测Func是否满足函数的定义
    Func* Load(const std::string& symbol)
    {
        return Load<Func*>(symbol);
    }

private:
    NativeHandleType _handle = NULL;
};

#include <iostream>
#include "shared_library.hpp"

int main()
{
    constexpr auto lib = LR"(test.dll)";

    SharedLibrary sharedLib(lib);

    auto fn = sharedLib.Load<int(int, int)>("Add");

    if (fn) {
        std::cout << "fn = " <<  fn(1, 2) << std::endl;
    }

    return 0;
}

　　运行结果如下：

      

二、std::enable_if有什么作用

　　先来看看std::enable_if的原型：

template< bool B, class T = void >
struct enable_if;

　　如果B满足条件，那么enable_if类型的值就等于T，其中using enable_if_t = typename enable_if<B, T>::type。比如:template<typename Func, typename = std::enable_if_t<std::is_function_v<Func>>>在模版实例化Load<int(int, int)>后为Load<int(__cdecl*)(int, int)>。因为Func = int(int, int)使std::is_function_v<int(int, int)>为true，进而推导出std::enable_if_t<true, void>，那么std::enable_if_v = std::enable_if<>::type=void。那么template<typename Func,

typename = std::enable_if_t<std::is_pointer_v<Func>&& std::is_function_v<std::remove_pointer_t<Func>>>> 推导也就不难了。

　　其实我们可以通过栈帧信息加以验证的，上面调用demo验证截图如下：

      

参考源码仓库：not-enough-standards/shared_library.hpp at master · Alairion/not-enough-standards (github.com)