如何在编译期获取多维嵌套std::vector的嵌套层级（维度）？

完全可以实现，你可以通过模板特化+递归的方式在编译期计算嵌套std::vector的维度，没有任何运行时开销。

实现方案 #

#include <vector>

// 基础模板：非vector类型维度为0
template <typename T>
struct vector_dimension {
    static constexpr size_t value = 0;
};

// 特化版本：匹配std::vector类型，每剥开一层维度+1
template <typename T, typename Alloc>
struct vector_dimension<std::vector<T, Alloc>> {
    static constexpr size_t value = 1 + vector_dimension<T>::value;
};

// C++17及以上可额外定义变量模板，简化调用
template <typename T>
constexpr size_t vector_dimension_v = vector_dimension<T>::value;

使用示例 #

using V4D = std::vector<std::vector<std::vector<std::vector<int>>>>;

// 两种调用方式都可以拿到维度值4
constexpr size_t Dimension1 = vector_dimension<V4D>::value;
constexpr size_t Dimension2 = vector_dimension_v<V4D>;

// 编译期校验结果正确性
static_assert(Dimension1 == 4);
static_assert(Dimension2 == 4);

实现原理 #

模板会在编译期递归实例化：每匹配到一层std::vector就将维度计数+1，直到匹配到最内层的非vector元素类型，触发基础模板返回0，递归终止，最终的维度值会在编译期直接计算完成。

内容的提问来源于stack exchange，提问作者A M