C++中能否根据函数参数数量创建对应变量？技术实现问询

当然可以为每个传入的可变参数创建对应变量，C++的可变参数模板特性提供了多种实现方式，以下是几种常用方案：

方案一：C++17折叠表达式（简洁高效） #

利用C++17引入的折叠表达式，可以直接在构造函数内逐个展开参数并创建变量：

#include <type_traits> // 用于std::decay_t

template<typename _FunctionType, typename ... _ArgType>
class thread {
public:
    thread(const _FunctionType* function, _ArgType ... arguments)
    {
        _FunctionType Function1 = *function; // 初始化函数对象
        // 折叠表达式逐个展开参数，为每个参数创建对应类型的变量并初始化
        (void(std::decay_t<_ArgType> Argument{arguments}), ...);
    }
};

• std::decay_t用于去除参数的引用、const/volatile限定符，得到参数的原始值类型；
• void()包裹是为了避免逗号表达式可能的返回值干扰，确保每个参数的变量创建逻辑都被执行。

方案二：递归模板（兼容C++11及以上） #

如果需要兼容更早的C++标准，可以通过递归模板函数逐个处理参数：

// 递归终止函数：无参数时执行空逻辑
template<typename... Args>
void process_args() {}

// 递归处理函数：每次处理一个参数，再递归处理剩余参数
template<typename T, typename... Args>
void process_args(T arg, Args... args)
{
    T arg_var = arg; // 为当前参数创建变量并初始化
    process_args(args...); // 递归处理剩余参数
}

template<typename _FunctionType, typename ... _ArgType>
class thread {
public:
    thread(const _FunctionType* function, _ArgType ... arguments)
    {
        _FunctionType Function1 = *function;
        process_args(arguments...); // 调用递归函数处理所有参数
    }
};

递归模板会逐层拆解参数包，直到所有参数都被处理完毕，每个参数都会对应创建一个变量。

方案三：用std::tuple存储参数（需长期保留变量时使用） #

如果需要在构造后仍能访问这些参数变量，可以用std::tuple来保存所有参数的副本，后续随时访问：

#include <tuple>
#include <type_traits>

template<typename _FunctionType, typename ... _ArgType>
class thread {
private:
    _FunctionType func_;
    std::tuple<std::decay_t<_ArgType>...> args_; // 存储所有参数的副本

public:
    thread(const _FunctionType* function, _ArgType ... arguments)
        : func_(*function), args_(std::forward<_ArgType>(arguments)...)
    {
        // 可选：遍历tuple中的参数，逐个创建临时变量
        std::apply([](auto&&... args) {
            (void(std::decay_t<decltype(args)> arg{args}), ...);
        }, args_);
    }

    // 示例：访问第N个参数变量
    template<std::size_t N>
    auto get_arg() -> decltype(auto) {
        return std::get<N>(args_);
    }
};

• std::tuple可以完美适配可变参数的类型和值，std::forward用于保持参数的左值/右值特性；
• 通过std::get<N>可以直接访问tuple中对应位置的参数变量。

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