使用检查类是否是模板专用化?,我可以检查类是否是模板的专用化。
使用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...> *>
{};