C++类模板参数必须具有特定的父类

Question

给定是一个MyClass具有一个模板参数的类

template<typename T>
class MyClass
{
    //...
};

和另一个MySecondClass有两个模板参数的类.

template<typename T, typename U>
class MySecondClass
{
    //...
};

我想要做的是限制MyClass只允许T一个派生类型MySecondClass.我已经知道我需要类似的东西

template<typename T, typename = std::enable_if<std::is_base_of<MySecondClass<?,?>, T>::value>>
class MyClass
{
    //...
}

我只是不确定要放什么,?因为我想允许所有可能MySecondClass的.

Answer 1

您可以使用模板模板参数作为基本模板,然后检查是否T*可以将其转换为某些模板Temp<Args...>:

template <template <typename...> class Of, typename T>
struct is_base_instantiation_of {
    template <typename... Args>
    static std::true_type test (Of<Args...>*);
    static std::false_type test (...);

    using type = decltype(test(std::declval<T*>()));
    static constexpr auto value = type::value;
};

现场演示