c++ - 检查类是否派生自模板类

Question

我正在尝试检查我正在模板化的类是否继承自另一个模板化类，但我找不到正确的方法。

现在我有以下内容:

#include <iostream>

template <typename MemberType, typename InterfaceType>
class Combination : public InterfaceType
{
public:
    Combination();
    virtual ~Combination();

private:

    MemberType*   pointer;
};


class MyInterface {};
class MyMember {};

class MyCombination : public Combination<MyMember, MyInterface>
{

};


int main()
{
    static_assert(std::is_base_of_v<Combination<MyMember, MyInterface>, MyCombination>);
    std::cout << "hello";
}

这工作正常，但是在放置此模板的地方，我无权访问模板参数定义，这应该是非常通用的。我想要测试 MyCombination 类是否从通用 Combination 继承，而不考虑模板参数，如下所示:

static_assert(std::is_base_of_v<Combination, MyCombination>);
or
static_assert(std::is_base_of_v<Combination<whatever, whatever>, MyCombination>);

您知道如何检查吗？ 在这种情况下，我无法使用 boost 库或其他外部库。

谢谢!

编辑:我无权修改 Combination 类，我可以更改的是断言和 My* 类。

Answer 1

这可以通过 C++20 概念轻松完成。请注意，它要求派生类恰好具有一个公共(public)实例化基类。

template <typename, typename InterfaceType>
class Combination : public InterfaceType {};

class MyInterface {};
class MyMember {};

class MyCombination : public Combination<MyMember, MyInterface> {};

template<class Derived, template<class...> class Base>
concept derived_from_template = requires (Derived& d) {
  []<typename... Ts>(Base<Ts...>&) {}(d);
};

static_assert(derived_from_template<MyCombination, Combination>);

Demo

等效的 C++17 替代方案是

#include <type_traits>

template<template<class...> class Base, typename... Ts>
void test(Base<Ts...>&);

template<template<class...> class, class, class = void>
constexpr bool is_template_base_of = false;

template<template<class...> class Base, class Derived>
constexpr bool is_template_base_of<Base, Derived, 
  std::void_t<decltype(test<Base>(std::declval<Derived&>()))>> = true;

static_assert(is_template_base_of<Combination, MyCombination>);