C++11模板基类的enable_if元编程编译失败问题咨询

我尝试编写实现“编译时继承”检查的C++11元程序，非模板基类的示例可正常运行：

// imports
#include <type_traits>

// 非模板基类
class Base
{
    // Base类成员
};

template <
          typename T,
          class = typename std::enable_if
            <
                std::is_base_of<Base, T>::value
            >::type
         >
class UseClass
{
    // UseClass类成员
};

// 合法实例化
UseClass<Base> myDer;

但将基类改为模板类后，以下代码无法编译：

// imports
#include <type_traits>

// 模板基类
template <typename T>
class Base
{
    // Base类成员
};

template <
          typename T,
          class = typename std::enable_if
            <
                std::is_base_of<Base<T>, T>::value // 注意：这里用了Base<T>
            >::type
         >
class UseClass
{
    // UseClass类成员
};

UseClass<Base<int>> myDerInt; // 编译失败

我已通过重构实现所需功能，但想明确这段代码编译失败的原因，以及是否存在平行实现方式。

编译失败的核心原因 #

当你实例化UseClass<Base<int>>时，模板参数T被推导为Base<int>。此时Base<T>会被实例化为Base<Base<int>>，而代码里的std::is_base_of<Base<Base<int>>, Base<int>>::value显然是false——Base<int>并没有继承自Base<Base<int>>，这就触发了enable_if的SFINAE机制，导致没有匹配的UseClass模板实例，最终编译报错。

你原本的意图应该是检查T是否继承自某个Base<U>（比如Base<int>），但当前代码错误地将Base<T>作为基类类型，完全偏离了目标。

平行实现方式：检测是否继承自任意实例化的Base #

如果需要UseClass仅接受继承自任意Base<U>实例的类型（包括Base<U>本身），可以通过自定义类型特性来实现，利用SFINAE进行重载决议判断：

#include <type_traits>

// 模板基类
template <typename T>
class Base {};

// 自定义类型特性：判断T是否继承自任意Base<U>
template <typename T>
struct is_derived_from_base {
private:
    // 重载1：如果T*能隐式转为Base<U>*，则匹配此版本，返回true_type
    template <typename U>
    static std::true_type test(const Base<U>*);
    // 重载2：兜底匹配，返回false_type
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test(static_cast<T*>(nullptr)))::value;
};

// 调整后的UseClass
template <
          typename T,
          class = typename std::enable_if<is_derived_from_base<T>::value>::type
         >
class UseClass
{
    // UseClass类成员
};

// 测试示例
// 1. 直接使用Base<int>
UseClass<Base<int>> valid1;
// 2. 继承自Base<int>的派生类
class Derived : public Base<int> {};
UseClass<Derived> valid2;

这个实现的原理是：当T是Base<U>或其派生类时，static_cast<T*>(nullptr)可以隐式转换为Base<U>*，从而匹配第一个test重载，返回std::true_type；否则会匹配第二个兜底重载，返回std::false_type。通过decltype获取返回值类型，就能在编译时确定value的真假。

内容的提问来源于stack exchange，提问作者FJ W