C++中void**数组还原可变参数类型错误的排查与解决

你遇到的核心问题是还原参数时所有值指向同一地址，根源出在两个关键环节：

1. 参数地址存储时复用临时变量：构建void**数组过程中，若循环内用同一临时变量获取参数地址，数组里存的会是临时变量的重复地址，而非每个原始参数的独立内存地址。
2. lambda内转换逻辑未绑定独立类型与地址：如果没有为每个参数保存对应类型信息，或转换时复用同一指针变量，会导致所有转换操作指向同一块内存，最终取出错误值。

你提到调试时直接访问args_raw能拿到正确值，说明原始参数地址的存储本身是正确的，问题完全出在lambda内的参数还原逻辑——没有把每个void*正确映射回对应类型的参数地址。

要适配任意函数，必须结合模板类型推导和类型安全的地址管理，以下是可复用的落地思路：

1. 正确捕获可变参数的原始地址 #

用模板函数接收可变参数，直接获取每个参数的原始内存地址，避免临时变量干扰：

#include <tuple>
#include <vector>
#include <functional>

// 辅助函数：提取可变参数的原始地址，存入vector<void*>
template<typename... Args>
std::vector<void*> get_args_addresses(Args&... args) {
    return {static_cast<void*>(&args)...};
}

2. 绑定函数与参数地址，生成可执行lambda #

通过模板lambda捕获函数指针和参数地址数组，利用std::apply自动展开并转换参数类型：

template<typename Func, typename... Args>
auto wrap_function(Func func, Args&... args) {
    auto args_addr = get_args_addresses(args...);
    
    // 返回绑定好的lambda，调用时自动还原参数并执行函数
    return [func, args_addr]() {
        std::apply([func](auto... addr) {
            // 逐个将void*转换回原类型指针，解引用后传入函数
            func(*static_cast<typename std::remove_pointer<decltype(addr)>::type*>(addr)...);
        }, args_addr);
    };
}

3. 测试示例 #

假设自定义函数如下：

void custom_func(int a, double b, const char* c) {
    printf("a: %d, b: %lf, c: %s\n", a, b, c);
}

调用方式：

int main() {
    int x = 10;
    double y = 3.14;
    const char* z = "hello";
    
    auto wrapped = wrap_function(custom_func, x, y, z);
    wrapped(); // 输出：a: 10, b: 3.140000, c: hello
    
    return 0;
}

4. 原方案错误点复盘 #

如果你的原代码类似以下伪逻辑，必然会出现地址复用问题：

// 错误示例1：复用临时变量ptr存储地址
void** args = new void*[3];
int i=0;
([&](auto& arg) {
    void* ptr = &arg; // 循环内临时变量，地址重复
    args[i++] = ptr;
}(args)...);

// 错误示例2：转换时硬编码类型或复用指针
void* ptr;
for(int i=0; i<count; i++){
    ptr = args_raw[i];
    func(*static_cast<int*>(ptr)...); // 所有参数强制转int，或地址被复用
}

• 拒绝临时变量：必须直接获取原始参数的地址，不能用参数的临时拷贝来取地址。
• 类型自动推导：依赖模板和decltype自动推导参数类型，禁止硬编码类型转换（这是适配任意函数的核心）。
• 用标准库简化展开：借助std::apply或C++17折叠表达式处理可变参数，避免手动循环的错误。

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