检查class是否为模板专门化

Check if class is a template specialization?

本文关键字：专门化 class 是否 检查      更新时间：2023-10-16

如何检查给定类型是否是特定类模板的专门化?例如，给定

template <class T>
struct A {};

如何检查CompareT是否为以下*类型的A<*>:

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

例如，这里A<int>应该匹配A<*>并打印1。

您可以提供要匹配的模板:

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

CompareT为类型，A为模板。类同样不能是模板。类可以是模板的专门化，所以我假设这是您想要的。

部分专门化可以进行模式匹配:

template<class T>
struct is_an_A // Default case, no pattern match
    : std::false_type {};
template<class T>
struct is_an_A< A< T > > // For types matching the pattern A<T>
    : std::true_type {};
template< class CompareT >
void compare() {
    std::cout << is_an_A< CompareT >::value;
}
相关文章：