如何通过带索引与std::variant的函数为std::tuple赋值？

针对你遇到的编译错误和不想手写switch case的需求，可以利用编译期索引序列+类型匹配的组合实现简洁的赋值逻辑，避免繁琐的分支判断。

核心思路 #

借助std::make_index_sequence生成编译期的tuple元素索引序列，通过折叠表达式遍历这些编译期索引，将运行时传入的索引映射到对应的std::get调用，同时从variant中提取匹配类型的值完成赋值，完全规避手写switch分支。

完整代码示例 #

#include <tuple>
#include <variant>
#include <iostream>
#include <utility>

// 定义目标tuple类型
using MyTuple = std::tuple<int, std::string, double>;
// 定义包含tuple所有元素类型的variant
using MyVariant = std::variant<int, std::string, double>;

namespace detail {
// 辅助函数：编译期遍历索引序列，匹配运行时索引完成赋值
template <std::size_t... Is>
void assign_tuple_element(MyTuple& t, std::size_t idx, const MyVariant& v, std::index_sequence<Is...>) {
    // 折叠表达式短路匹配：找到对应索引后立即执行赋值
    (void)((idx == Is ? (std::get<Is>(t) = std::get<std::tuple_element_t<Is, MyTuple>>(v), true) : false) || ...);
}
} // namespace detail

// 对外暴露的赋值函数
void assign_to_tuple(MyTuple& t, std::size_t idx, const MyVariant& v) {
    // 生成tuple长度的索引序列，传递给辅助函数
    detail::assign_tuple_element(t, idx, v, std::make_index_sequence<std::tuple_size_v<MyTuple>>{});
}

// 测试代码
int main() {
    MyTuple t{10, "hello", 3.14};
    
    assign_to_tuple(t, 0, MyVariant{20});
    assign_to_tuple(t, 1, MyVariant{"world"});
    assign_to_tuple(t, 2, MyVariant{6.28});

    std::cout << std::get<0>(t) << ", " << std::get<1>(t) << ", " << std::get<2>(t) << std::endl;
    return 0;
}

编译错误原因说明 #

你遇到的No matching function for call to 'get'错误，本质是std::get用于variant时必须指定编译期确定的类型或索引，直接使用运行时索引时，编译器无法推导对应的类型，上述代码通过编译期索引序列将运行时索引映射为编译期可识别的索引，解决了这个问题。

扩展适配（类型顺序不一致场景） #

如果variant类型和tuple元素类型顺序不一致，或者存在重复类型，可以结合std::visit做更灵活的类型匹配：

// 适配类型顺序不一致的情况
template <std::size_t Idx>
struct TupleElementAssigner {
    static void assign(MyTuple& t, const MyVariant& v) {
        std::visit([&t](const auto& val) {
            using ValType = std::decay_t<decltype(val)>;
            if constexpr (std::is_same_v<ValType, std::tuple_element_t<Idx, MyTuple>>) {
                std::get<Idx>(t) = val;
            }
        }, v);
    }
};

namespace detail {
template <std::size_t... Is>
void assign_tuple_element(MyTuple& t, std::size_t idx, const MyVariant& v, std::index_sequence<Is...>) {
    (void)((idx == Is ? (TupleElementAssigner<Is>::assign(t, v), true) : false) || ...);
}
}

内容的提问来源于stack exchange，提问作者Dawid Mościcki