c++ - 在编译时获取 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;
}

输出:

1

Live example