C++ 类型特征来检查类型是否是模板类的实例？

Question

我希望能够推断给定类型是否是模板类型。我查看了 boost 的类型特征类，但找不到与模板相关的 is_* 特征： http://www.boost.org/doc/libs/1_52_0/libs/type_traits/doc/html/index.html

更有趣的是，如果有方法在编译时确定模板参数的属性，例如有多少模板参数或参数是否是模板模板参数。

Answer 1

这是部分解决方案：

#include <iostream>
#include <type_traits>

template <typename> struct is_template : std::false_type {};

template <template <typename...> class Tmpl, typename ...Args>
struct is_template<Tmpl<Args...>> : std::true_type {};


template <typename> struct Foo {};

int main()
{
  std::cout << is_template<int>::value << std::endl;
  std::cout << is_template<Foo<char>>::value << std::endl;
}

问题在于模板可以具有任意结构，因此它不必只包含类型参数。你无法详尽地列举所有类型的模板参数。

然而，通过这种方法一分钟，就可以轻松制作一个参数计数器：

template <typename> struct nargs : std::integral_constant<unsigned int, 0> { };

template <template <typename...> class Tmpl, typename ...Args>
struct nargs<Tmpl<Args...> : std::integral_constant<unsigned int, sizeof...(Args)> { };