如何获得最内部类型的n嵌套向量？

Question

我需要获得n嵌套向量的内部类型。例如：

type a;                          //base_type of a = type
std::vector<type> b;             //base_type of b = type
std::vector<std::vector<type>> c;//base_type of c = type

等等。我尝试使用包装器，但这会导致编译器错误。

template<typename T1>
struct base_type : T1::value_type { };

template<typename T1>
struct base_type<std::vector<T1>> {
    using type = typename base_type<T1>::value_type;
};

Answer 1

你的两个案子都错了。

您的基本案例应该是非vector案例。对于非vector，没有::value_type。你只需要类型：

template <typename T>
struct base_type {
    using type = T;
};

对于递归案例，base_type的“结果”类型名为type。不是value_type，所以我们必须在此处使用：

template<typename T>
struct base_type<std::vector<T>> {
    using type = typename base_type<T>::type;
};

我们可以简化为：

template<typename T>
struct base_type<std::vector<T>> 
: base_type<T>
{ };