检查类是否是模板专用化？ [英] Check if class is a template specialization?

问题描述

如何检查给定类型是否是特定类模板的特殊化？例如，给定

How can I check if a given type is a specialization of a particular class template? For instance, given

template <class T>
struct A {};

如何检查 CompareT 对于某些类型 * 在

template<class CompareT>
void compare(){
   // is this A ?
   cout << is_same< A<*> , CompareT >::value;     // A<*> ????
}

int main(){
  compare< A<int> >();
}

例如， A< int& code>应匹配 A <*> 并打印1。

推荐答案

这里有一个您可以提供要匹配的模板：

Here's one where you can provide the template to be matched against :

template <class T, template <class...> class Template>
struct is_specialization : std::false_type {};

template <template <class...> class Template, class... Args>
struct is_specialization<Template<Args...>, Template> : std::true_type {};

static_assert(is_specialization<std::vector<int>, std::vector>{}, "");
static_assert(!is_specialization<std::vector<int>, std::list>{}, "");

这篇关于检查类是否是模板专用化？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！