模棱两可的部分专业化取决于std :: enable_if

我有以下代码：

#include <iostream>
template <class T, typename U = void> class A;
template <class T>
class C
{
public:
    typedef T Var_t;
};
template <class T>
class B : public C<T>
{
};
template <class T>
class A<B<T>>
{
public:
    A() { std::cout << "Here." << std::endl; }
};
template <class T>
class A<T, typename std::enable_if<
                             std::is_base_of<C<typename T::Var_t>, T>::value>
                             ::type>
{
public:
    A() { std::cout << "There." << std::endl;}
};
int main() 
{
    A<B<int>> a;
    return 0;
}

编译器尝试使用参数B<int>实例化第二部分专业化时，std::is_base_of<C<int>, B<int>>::value为true，因此std::enable_if<...>::type返回void（如果未指定默认类型）。这会导致"模棱两可的部分专业化"错误，因为编译器无法在第一部分和第二部分专业方面做出决定。到目前为止，一切都很好。但是，当我将std::enable_if中的代码替换为true（即第二部分专业化只是template <class T> class A<T, typename std::enable_if<true>::type>）时，代码编译并运行。它输出"Here"，表明选择了第一个专业化。

我的问题是：如果他们都对void进行评估，为什么std::enable_if<true>::type的行为与std::enable_if<std::is_base_of<...>::value>::type的行为不同？

此行为已在此处的IDEONE上进行了测试和验证。