如何简化可变参数模板函数？函数指针调用的代码精简需求

你可以通过调整模板参数设计，让编译器从传入的调用参数推导函数的参数类型，只需要显式指定返回值类型即可。核心思路是将返回值作为模板参数，利用可变参数模板推导参数列表，再组合出完整的函数类型进行指针转换。

修改后的实现代码 #

#include <functional>
#include <Windows.h>
#include <stdexcept>

template<typename Ret, typename... Args>
decltype(auto) ExecuteFunc(LPVOID f, Args&&... args) {
    if (f == nullptr) {
        throw std::invalid_argument("Function pointer cannot be null");
    }
    // 组合出完整的函数类型：返回值Ret + 推导的参数列表Args...
    using FuncType = Ret(Args...);
    // 将LPVOID强制转换为对应函数指针并调用，保持参数的原始值类别
    return reinterpret_cast<FuncType*>(f)(std::forward<Args>(args)...);
}

int main() {
    // 仅指定返回值int，参数类型由编译器自动推导
    ExecuteFunc<int>(&MessageBoxA, static_cast<HWND>(NULL), static_cast<char*>("Text"), static_cast<char*>("caption"), MB_OK);
    return 0;
}

关键说明 #

1. 模板参数设计：Ret是显式指定的返回值类型，Args...由传入的调用参数自动推导，组合成Ret(Args...)的完整函数签名。
2. 指针转换：用reinterpret_cast直接将LPVOID转换成目标函数指针，比原代码的std::function方式更高效，避免了不必要的包装开销。
3. 空指针安全：增加了空指针检查并抛出异常，避免原代码中f == nullptr时无返回值导致的未定义行为。
4. 参数转发：使用std::forward<Args>保持参数的左值/右值属性，确保调用时参数传递的正确性。

注意事项 #

• 必须保证传入的参数类型与目标函数的参数类型严格匹配，否则会触发未定义行为。例如目标函数参数为const char*时，传入char*虽然可以编译，但建议显式转换为匹配类型。
• 对于返回值为void的函数，调用时只需指定ExecuteFunc<void>(...)即可正常工作。

内容的提问来源于stack exchange，提问作者12UE