如何将可变模板参数打包/解包并适配C API？以std::thread为例

你需要实现一个可变模板机制，将任意数量的参数打包为void*传递给C风格API，后续在C++回调中解包并调用目标函数，这和std::thread处理参数的逻辑一致。结合你给出的代码示例，以下是对疑问的解答：

1. std::thread如何将所有参数打包到void*中？ #

std::thread的底层会把传入的可调用对象+所有参数打包成一个堆分配的聚合结构（比如std::tuple或自定义结构体），再将该结构的地址强制转换为void*，传递给系统级线程创建API（如POSIX的pthread_create或Windows的CreateThread）。

这个打包过程依赖C++可变模板特性，通过完美转发（std::forward）将参数存入结构，避免不必要的拷贝。分配的堆内存会在线程执行完毕后由内部逻辑自动释放。

比如你示例中的std::thread sthread(ProcessString, "asd")，底层会把ProcessString函数指针和已转换为std::string的"asd"打包成一个结构体，再将结构体地址转为void*传给系统API。

2. 线程函数threadFunc如何知晓将void* context解包为string或{int, std::string}？ #

核心在于类型信息被提前固化在模板生成的中间回调函数中。std::thread会为每个不同的参数组合实例化一个专属的中间回调函数，这个函数天生知道打包时的具体类型，因此能准确将void*转换回原打包结构类型，再取出参数。

举个简化的实现示例，针对ProcessString场景，std::thread会生成类似以下的中间函数：

void ThreadFuncWrapper(void* context) {
    // 将void*转换回打包的tuple类型
    auto* data = static_cast<std::tuple<void(*)(std::string), std::string>*>(context);
    // 取出函数与参数并调用
    std::get<0>(*data)(std::get<1>(*data));
    // 释放堆内存
    delete data;
}

这个中间函数是模板实例化的产物，无需运行时类型识别（RTTI）就能完成类型转换，属于std::thread的内部实现细节。

3. 如何从单个指针展开可变数量的参数并传递给ProcessIntString这类函数？ #

可以通过可变模板+std::tuple+std::apply的组合实现，步骤如下：

步骤1：打包参数到堆分配的tuple #

在调用C API前，将可调用对象与所有参数打包为std::tuple并分配到堆上，再转为void*传递：

template<typename Func, typename... Args>
void WrapCreateThread(Func&& func, Args&&... args) {
    // 完美转发参数，存入堆分配的tuple
    auto* data = new std::tuple<std::decay_t<Func>, std::decay_t<Args>...>(
        std::forward<Func>(func), std::forward<Args>(args)...
    );
    // 传递给C API，指定中间回调函数
    CreateThread(WrapperFunc<Func, Args...>, data);
}

步骤2：实现中间回调，展开tuple调用目标函数 #

中间回调负责将void*转换回原tuple类型，再用std::apply自动展开tuple元素作为参数调用目标函数：

template<typename Func, typename... Args>
void WrapperFunc(void* context) {
    auto* data = static_cast<std::tuple<std::decay_t<Func>, std::decay_t<Args>...>*>(context);
    // std::apply自动将tuple元素逐个传递给可调用对象
    std::apply([](auto&& f, auto&&... args) {
        std::forward<decltype(f)>(f)(std::forward<decltype(args)>(args)...);
    }, *data);
    // 释放堆内存
    delete data;
}

调用示例 #

使用方式和std::thread完全一致：

WrapCreateThread(ProcessString, "asd");
WrapCreateThread(ProcessIntString, 3, "asd");
WrapCreateThread([](int i, std::string s) { std::cout << i << s; }, 1, "asd");

如果使用C++11/12（无std::apply），可以通过递归模板或std::index_sequence手动实现tuple参数展开。

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