使用 SFINAE 检查 C++ 中的模板父类

Question

我最近一直在 C++ 中学习 SFINAE 的概念，我目前正在尝试在一个项目中使用它。

问题是，我正在尝试做的事情与我能找到的任何事情都不一样，而且我不知道该怎么做。

假设我有一个名为 MyParent 的模板类：

template <typename Elem>
class MyParent;

还有一个名为 MyClass 的非模板类，它继承了它，使用 char 作为 Elem：

class MyClass : public MyParent<char>;

现在，我想使用 SFINAE 来检查 typename 是否继承MyParent，无论使用什么Elem类型。

我不能使用std::is_base_of，因为父母的模板。

我尝试执行以下操作：

template <typename T>
struct is_my_parent : std::false_type {};
template <typename Elem>
struct is_my_parent<MyParent<Elem>> : std::true_type {};

现在，如果我检查is_my_parent<MyParent<Elem>>::value，它会给我true。哪个好。但是，当我检查时is_my_parent<MyClass>::value，我收到了false。哪种有意义，因为MyClass实际上不是MyParent<Elem>，但我没有设法得到我想要的。

除了is_my_parent为每个继承自的类定义之外，有没有什么方便的方法可以在 C++ 中实现这样的事情MyParent？

Answer 1

你可能会

template <typename T>
std::true_type is_my_parent_impl(const MyParent<T>*);

std::false_type is_my_parent_impl(const void*);

template <typename T>
using is_my_parent = decltype(is_my_parent_impl(std::declval<T*>()));

演示