如何在编译时推断嵌套std:：vector的内部类型？

Question

前几天我问了一个关于嵌套向量的非常类似的问题，但我遇到了另一个让我难堪的问题。我需要在编译时获取嵌套向量的最内层类型，以便将其作为模板参数传递。

例如，如果我有这个嵌套向量：

std::vector<std::vector<std::vector<int>>> v;

我需要一种方法来提取int，这样我就可以调用一个函数，它需要一个嵌套的向量，并对这样的元素工作：

foo<int>(v);

除了catch之外，这个函数应该能够处理包含任何类型的任何深度的嵌套向量。当我调用foo时，我希望自动为我推导出内部类型。

所以也许电话看起来像这样：

foo<inner_type_t<v>>(v);

其中，internal\u type\u t是某种形式的递归模板，在给定v时解析为int。

我想这个问题的解决方案和另一个问题的类似，但我还没能解决。。。对于递归模板，我还是个新手。

这是我到目前为止所拥有的。。。

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

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

int main()
{
    std::vector<std::vector<int>> v  = {
        { 1, 2}, {3, 4}
    };

    std::cout << typeid(inner_type<decltype(v)>::type).name();
}

输出：

struct inner_type<class std::vector<int,class std::allocator<int> > >

Answer 1

@tjmisa1992的解决方案是可以的，但是不允许具有不同分配器的向量。此外，让我们使这个C 14友好与一个_t版本的特性。

这应该可以做到：

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

template<class T, class Alloc>
struct inner_type<std::vector<T, Alloc>> { using type = typename inner_type<T>::type; };

template<class T>
using inner_type_t = typename inner_type<T>::type;

另外，对于类型名，您应该使用此处为C 14或C 17实现的type\u name（）函数。

看它在现场工作...

Answer 2

一个解决方案，遵循了子弹石的建议，使用value_type成员类型：

template<class T, typename = void>
struct inner_type {
    using type = T;
};

template<class T>
struct inner_type<T, std::void_t<typename T::value_type>>
    : inner_type<typename T::value_type> {};

template<class T>
using inner_type_t = typename inner_type<T>::type;

using VV = std::vector<std::vector<int>>;
static_assert(std::is_same_v<inner_type_t<VV>, int>);

关于std:：void\t的工作原理，可以在这个问题中找到一个很好的解释。如果typename T:：value\u type格式不正确，则在这里使用它以静默方式拒绝专门化。

Answer 3

哇，我真的很接近哈哈，成功了！

我只需要稍微改变模板特殊化，以正确地递归获取类型。

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

template <typename T>
struct inner_type<std::vector<T>>
{
    // Had to change this line
    using type = typename inner_type<T>::type;
};

int main()
{
    std::vector<std::vector<int>> v  = {
        { 1, 2}, {3, 4}
    };

    std::cout << typeid(inner_type<decltype(v)>::type).name();
}

输出：

int