C++中已知参数数量和类型时如何访问parameter pack内的参数

因为你已经明确知晓每个场景下参数的数量、顺序和对应类型，最直接的方式是先将参数包打包为std::tuple，再按索引取出对应位置的参数使用。

C++17 及以上版本实现 #

可以结合constexpr if做编译期分支，适配不同参数数量的场景：

#include <tuple>
#include <string>
#include <vector>

template<class ... Types>
some_class* foo (Types&& ... args){
    // 编译期判断参数数量走对应分支
    if constexpr (sizeof...(args) == 2) {
        // 适配需要int、float参数的场景
        auto args_tuple = std::forward_as_tuple(std::forward<Types>(args)...);
        return new some_class(
            static_cast<int>(std::get<0>(args_tuple)),
            static_cast<float>(std::get<1>(args_tuple))
        );
    } else if constexpr (sizeof...(args) == 3) {
        // 适配需要int、string、vector<int>参数的场景
        auto args_tuple = std::forward_as_tuple(std::forward<Types>(args)...);
        return new some_class(
            static_cast<int>(std::get<0>(args_tuple)),
            static_cast<std::string>(std::get<1>(args_tuple)),
            static_cast<std::vector<int>>(std::get<2>(args_tuple))
        );
    }
    // 非法参数数量编译期直接报错
    static_assert(sizeof...(args) == 2 || sizeof...(args) == 3, "unsupported argument count");
}

C++11/14 版本实现 #

没有constexpr if的情况下，可以用模板偏特化做分发：

#include <tuple>
#include <string>
#include <vector>

// 按参数数量分发的辅助结构体
template<size_t ArgCount>
struct FooHelper;

// 2个参数的特化实现
template<>
struct FooHelper<2> {
    template<class ... Types>
    static some_class* invoke(Types&& ... args) {
        auto args_tuple = std::make_tuple(std::forward<Types>(args)...);
        return new some_class(
            static_cast<int>(std::get<0>(args_tuple)),
            static_cast<float>(std::get<1>(args_tuple))
        );
    }
};

// 3个参数的特化实现
template<>
struct FooHelper<3> {
    template<class ... Types>
    static some_class* invoke(Types&& ... args) {
        auto args_tuple = std::make_tuple(std::forward<Types>(args)...);
        return new some_class(
            static_cast<int>(std::get<0>(args_tuple)),
            static_cast<std::string>(std::get<1>(args_tuple)),
            static_cast<std::vector<int>>(std::get<2>(args_tuple))
        );
    }
};

template<class ... Types>
some_class* foo (Types&& ... args){
    return FooHelper<sizeof...(args)>::invoke(std::forward<Types>(args)...);
}

补充说明 #

• 如果你需要更严格的类型校验，可以在对应分支加static_assert配合std::is_same校验每个位置的参数类型是否符合预期，提前在编译期拦截传参错误。
• 用std::forward_as_tuple代替std::make_tuple可以保留参数的值类型，避免不必要的拷贝，性能更优。
• 如果参数允许隐式转换（比如传入const char*要转成std::string），static_cast会自动触发转换逻辑，不需要额外处理。

内容的提问来源于stack exchange，提问作者Michał Stasiuk