如何检查模板专用化是否是基本模板的子类?

How can I check if a template specialization is a child class of a base template?

本文关键字：是否是 子类 专用 检查 何检查      更新时间：2023-10-16

使用检查类是否是模板专用化？，我可以检查类是否是模板的专用化。

使用std::is_convertible<A*, B*>，我可以检查 A 是否是 B 的子类。

我该如何实现is_convertible_specialization，可以做的事情：

template<typename ... Args> 
class Base {};
template<typename ... Args> 
class Child : public Base<Args...> {};
template<typename ... Args>
class Unrelated{};
static_assert( is_convertible_specialization<Child<int, int>, Base>{} ); // True
static_assert( is_convertible_specialization<Unrelated<int, int>, Base>{} ); // False

我已经尝试了一些东西，但我在TMP方面的技能相当缺乏，所以我认为我没有接近。我的"最佳"尝试是：

template<template<class...> class ChildTemplate, template<class...> class Template, class... Args>
struct is_convertible_specialization : std::false_type {};
template<template<class...> class ChildTemplate, template<class...> class Template, class... Args>
struct is_convertible_specialization<ChildTemplate<Args...>, Template> : std::true_type {
is_convertible_specialization() {
static_assert( std::is_convertible<ChildTemplate<Args...> *, Template<Args...> *>());
}
};

我试图以一种对我来说似乎很简单的方式"嵌套"断言。这为我提供了以下错误消息，这似乎很明智，但对我来说并不真正可以理解。

Template argument for template template parameter must be a class template or type alias template

你很接近。

首先，主模板(但不是专用化(的模板参数必须与您希望使用模板的方式匹配：

template <typename ChildTemplate, template<class...> class Template>

接下来，如果指针不可转换，则is_convertible_specialization的专用化应计算为false，而不是触发静态断言。您可以通过从std::is_convertible_v<...>继承而不是std::true_type并删除自定义构造函数来实现此目的。

结果如下：

template <typename ChildTemplate, template<class...> class Template>
struct is_convertible_specialization : std::false_type {};
template <template<class...> class ChildTemplate, template<class...> class Template, class... Args>
struct is_convertible_specialization<ChildTemplate<Args...>, Template>
: std::is_convertible<ChildTemplate<Args...> *, Template<Args...> *>
{};
相关文章：