默认从索引构造std：：variant

Question

当索引仅在运行时已知时，从所需类型的索引默认构造std：：variant的最简单方法是什么？换句话说，我想写：

const auto indx = std::variant<types...>{someobject}.index();
//...somewhere later, indx having been passed around...
std::variant<types...> var = variant_from_index(indx);
///var is now set to contain a default constructed someobject

请注意，indx不能设置为constexpr，因此std::in_place_index在这里不起作用。

当然，这里的问题是，由于不知道在编译时要调用types...中的哪个构造函数，所以基本上必须在编译时生成一个包含所有可能的构造函数（或者可能是要从中复制的默认构造变量）的表，然后在运行时访问该表。这里显然有一些模板魔法，但是什么是最干净的方法呢？

我尝试了以下内容（在coliru上），但索引序列似乎出现了错误（最后的打印给出的是2 0 0)，我不明白为什么：

编辑：它的工作方式如下，我的constexpr数组初始化错误。所以现在的问题是，有没有更整洁的方法来做到这一点？

#include <variant>
#include <iostream>

using var_t = std::variant<int, float, const char *>;

//For debug
template<class ...types>
struct WhichType;

template<class T, class U>
struct default_variants;
template<class...Params, std::size_t... I>
struct default_variants<std::variant<Params...>, std::index_sequence<I...>> {
    using variant_t = std::variant<Params...>;
    //Uncomment to see the index sequence
    //WhichType<std::index_sequence<I...>> idx{};
    constexpr static variant_t variants[sizeof...(Params)]{variant_t{std::in_place_index<I>}...};
    constexpr static std::size_t indices[sizeof...(Params)]{I...};
};
template<class T>
struct default_variants_builder;
template<class...Params>
struct default_variants_builder<std::variant<Params...>> {
    using indices = std::make_index_sequence<sizeof...(Params)>;
    using type = default_variants<std::variant<Params...>, indices>;
};


int main() {
    using builder_t = typename default_variants_builder<var_t>::type;
    var_t floatvar{1.2f};
    var_t variant2 = builder_t::variants[floatvar.index()];
    std::cout << "Contained " << floatvar.index() << "; Now contains " << variant2.index() << "\n";
}

Answer 1

对于boost.mp11，这基本上是一个单行程序（一如既往）：

template <typename V>
auto variant_from_index(size_t index) -> V
{
    return mp_with_index<mp_size<V>>(index,
        [](auto I){ return V(std::in_place_index<I>); });
}

您对问题的描述是准确的--您需要一种将运行时索引转换为编译时索引的方法。mp_with_index为您提供了运行时索引和最大编译时索引（这里的mp_size 会给出与std::variant_size_v 相同的值，如果您更愿意的话），并且它将调用您提供的具有正确常量的函数(i在这里具有integral_constant 类型，但index是常量表达式）。