c++ - 创建变体交替值和值数组

Question

我想要这样的东西:

template <typename... Ts>
using make_variant_t = /* ??? */;

例如，make_variant_t<Foo, Bar>评估为类型

 std::variant<Foo, std::vector<Foo>, Bar, std::vector<Bar>>

按此顺序。如果可能的话，如何实现？

Answer 1

与 Boost.Mp11这是一篇简短的单行文章(一如既往):

template <typename... Ts>
using make_variant_t = mp_append<variant<Ts, vector<Ts>>...>;

make_variant_t<int, char>首先会产生两个变体，variant<int, vector<int>>和variant<char, vector<char>> 。这些都是 Mp11 意义上的“列表”，并且 mp_append获取一堆列表并将它们连接在一起，生成 variant<int, vector<int>, char, vector<char>>如预期的。 Demo .