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;
}

问题是模板可以有任意结构，所以它不必只包含类型参数。您无法详尽地列举all 种模板参数。

但是，稍等片刻，就可以很容易地创建一个增幅计数器：

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)> { };