c – 取决于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实例化第二部分特化时,因此std :: enable_if< .. .> :: type返回void(默认类型,如果未指定).这导致“模糊的部分特化”错误,因为编译器无法在第一和第二部分特化之间做出决定.到现在为止还挺好.但是,当我将std :: enable_if中的代码替换为true时(即,第二个部分特化只是模板<类T>类A< T,typename std :: enable_if< true> :: type>),代码编译并运行.它输出“Here”,表示选择了第一个专业化.

我的问题是：如果他们最终都评估为void,为什么std :: enable_if< true> :: type的行为与std :: enable_if< std :: is_base_of< ...> ::的行为不同值GT; ::类型？

此行为已在Ideone here上经过测试和验证.