如何获取参数包（parameter pack）元素索引并将其存入元组（tuple）

嘿，这个问题问到点子上了！在C++模板元编程里，处理参数包的索引是个非常实用的技巧，我来给你详细讲讲两种场景的实现方式。

最直接的方式是借助C14引入的std::index_sequence和std::make_index_sequence工具，它们能帮我们自动生成从0开始的连续索引序列。结合折叠表达式（C17），可以轻松遍历参数包并关联对应的索引。

举个实际的例子，比如打印每个参数和它的索引：

#include <iostream>
#include <utility>

// 辅助函数：接收参数包和索引序列，展开处理每个元素
template<typename... Args, std::size_t... Indices>
void print_with_indices(const Args&... args, std::index_sequence<Indices...>) {
    // 折叠表达式逐个输出索引和对应参数
    ((std::cout << "Index " << Indices << ": " << args << '\n'), ...);
}

// 对外接口：根据参数包大小生成索引序列，转发给辅助函数
template<typename... Args>
void print_args_with_indices(const Args&... args) {
    print_with_indices(args..., std::make_index_sequence<sizeof...(Args)>{});
}

int main() {
    print_args_with_indices(10, "hello", 3.14);
    // 输出：
    // Index 0: 10
    // Index 1: hello
    // Index 2: 3.14
    return 0;
}

原理很简单：std::make_index_sequence<sizeof...(Args)>会生成一个包含0,1,...,N-1的索引序列（N是参数包的元素个数），然后通过模板参数推导把这个序列展开为Indices...，每个参数就对应一个索引值。

如果你还在使用C++11，标准库没有index_sequence，可以自己实现一个极简版本：

// C++11兼容的index_sequence实现
template<std::size_t...>
struct index_sequence {};

template<std::size_t N, std::size_t... Indices>
struct make_index_sequence_impl : make_index_sequence_impl<N-1, N-1, Indices...> {};

template<std::size_t... Indices>
struct make_index_sequence_impl<0, Indices...> : index_sequence<Indices...> {};

template<std::size_t N>
using make_index_sequence = typename make_index_sequence_impl<N>::type;

要把索引存入std::tuple，同样可以利用index_sequence来生成索引，然后直接用std::make_tuple打包。

方法一：借助辅助函数 #

#include <tuple>
#include <utility>

// 辅助函数：把索引序列打包成tuple
template<std::size_t... Indices>
auto indices_to_tuple(std::index_sequence<Indices...>) {
    return std::make_tuple(Indices...);
}

// 对外接口：根据参数包大小生成索引tuple
template<typename... Args>
auto get_indices_tuple() {
    return indices_to_tuple(std::make_index_sequence<sizeof...(Args)>{});
}

int main() {
    // 针对int, double, string类型的参数包，生成索引tuple(0,1,2)
    auto idx_tuple = get_indices_tuple<int, double, std::string>();
    
    // 验证结果
    static_assert(std::get<0>(idx_tuple) == 0);
    static_assert(std::get<1>(idx_tuple) == 1);
    static_assert(std::get<2>(idx_tuple) == 2);
    return 0;
}

方法二：用C++20模板Lambda简化（更紧凑） #

如果你的编译器支持C++20，可以用模板Lambda省去辅助函数，代码更简洁：

#include <tuple>
#include <utility>

template<typename... Args>
auto get_indices_tuple() {
    return []<std::size_t... Indices>(std::index_sequence<Indices...>) {
        return std::make_tuple(Indices...);
    }(std::make_index_sequence<sizeof...(Args)>{});
}

这样生成的tuple里就包含了参数包每个元素对应的索引，顺序和参数包完全一致。

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