在 C++ 中获取模板类型的“嵌套”模板参数的数量

如何解决在 C++ 中获取模板类型的“嵌套”模板参数的数量

如何获取 C++ 中某个类型的“嵌套”模板参数的数量？

我想编写一个函数 GetNumberOfTypes<T>() 来返回 T 的模板参数的数量：

constexpr int a = GetNumberOfTypes<int>(); //a == 0
constexpr int b = GetNumberOfTypes<std::vector<int>>(); //b == 1
constexpr int c = GetNumberOfTypes<std::tuple<int,int>>(); //c == 2

这能以某种方式完成吗？我已经把sizeof...搞得一团糟，但我真的不知道我在做什么...

解决方法

你可能（不知何故）以专业化的方式去做：

template <typename T>
struct TemplateArity : std::integral_constant<std::size_t,0>
{};

template <template <typename...> class C,typename ...Ts>
struct TemplateArity<C<Ts...>> : std::integral_constant<std::size_t,sizeof...(Ts)>
{};

Demo

我们不能以泛型方式混合类型、非类型和模板模板参数，因此例如 std::array 不会被处理。