c++ - 有没有办法使用 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)> { };