如何将Graph模板参数的顶点及索引从tuple插入std::map

这个问题的核心是**std::get<>的模板参数必须是编译时常量**，而你用的普通for循环里的i是运行时变量，所以编译器无法通过。我们可以利用C++的编译时索引序列来展开参数包，自动完成每个顶点和索引的插入，不用手动写每一行重复代码。

方案1：利用std::index_sequence和折叠表达式（C++17及以上） #

我们可以定义一个辅助函数，借助编译时生成的索引序列来遍历每个模板参数，然后用C++17的折叠表达式一次性完成所有插入操作：

#include <map>
#include <utility> // 用于std::index_sequence

template <char... Args>
class Graph {
private:
    std::map<size_t, char> Map;

    // 辅助函数：接收索引序列，展开每个元素插入map
    template <size_t... Is>
    void fill_map(std::index_sequence<Is...>) {
        // 折叠表达式：依次执行每个insert操作
        (Map.insert({Is, Args{}}), ...);
    }

public:
    Graph() {
        // 生成0到sizeof...(Args)-1的编译时索引序列
        fill_map(std::make_index_sequence<sizeof...(Args)>{});
    }
};

方案2：兼容C++11的实现 #

如果你的项目还在使用C11，可以用初始化列表的方式模拟折叠表达式（因为C11不支持折叠表达式）：

#include <map>
#include <utility>

template <char... Args>
class Graph {
private:
    std::map<size_t, char> Map;

    template <size_t... Is>
    void fill_map(std::index_sequence<Is...>) {
        // 用swallow数组触发每个insert操作
        using swallow = int[];
        (void)swallow{0, (Map.insert({Is, Args{}}), 0)...};
    }

public:
    Graph() {
        fill_map(std::make_index_sequence<sizeof...(Args)>{});
    }
};

为什么这个方法可行？ #

• std::make_index_sequence<N>会在编译时生成一个包含0,1,...,N-1的索引序列std::index_sequence<0,1,...,N-1>。
• 当我们把这个序列传递给辅助函数时，模板参数Is...会被推导为0,1,...,N-1，每个Is都是编译时常量，所以直接使用Args{}获取顶点值是合法的。
• 通过折叠表达式（或初始化列表），编译器会自动展开参数包，生成对应每个索引的insert代码，和你手动写的Map.insert({0, ...}); Map.insert({1, ...});效果完全一样，但不需要手动维护每一行。

额外优化：跳过tuple构造 #

你之前构造了std::tuple<decltype(Args)...> t(Args...);，其实完全可以跳过这一步——因为模板参数包Args...本身就包含了所有顶点，直接用Args{}就能获取每个顶点的值，不需要再打包成tuple。

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