在编译时获取 std::variant 类型

Question

假设我们在某处定义了：

using mytype_t = std::variant<int, float>;

我想检索 mytype_t 可以存储的所有可能类型。我检查了 reference。没有定义我可以使用的成员类型（类似于：mytype_t::value_types）。

我正在尝试做这样的事情：

using myvectype_t = std::variant<std::vector<mytype_t::value_types>...>;

Answer 1

你不需要一个特殊的成员，因为信息就在类型中：

#include <variant>
#include <iostream>
#include <vector>
#include <type_traits>

template <typename T>
struct foo;

template <typename...V>
struct foo< std::variant<V...>> {
    using type = std::variant<  std::vector<V> ...>;
};


int main() {
    using vari = std::variant<int,double>;
    using varivect = std::variant< std::vector<int>, std::vector<double>>;
    std::cout << std::is_same<foo<vari>::type,varivect>::value;
}

输出：

Live example

在编译时获取 std::variant 类型

Get std::variant types at compile time

c++

template-meta-programming

variant