c – 取决于std :: enable_if的不明确的部分特化_C

概述我有以下代码： #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 <clas 我有以下代码：

#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上经过测试和验证.

解决方法在std :: enable_if< true> :: type情况下,您的代码定义了A类的两个特化,即：

> A< B< B< T>,voID>
> A< T,std :: enable_if< true> :: type>.

这两个专业是彼此截然不同的.第一个专业化狭隘地集中在类型B< T>上.而第二种专业化更适合任何类型.此外,在第二个特化中,std :: enable_if表达式不以任何方式依赖于T.

对于任何声明A< X>一个;类型X将匹配B< something>或不.如果它匹配B< something>然后将使用第一个专业化,因为它“更专业化”.如果X不匹配B< something>然后将使用第二个更一般的专业化.无论哪种方式,你都不会得到模棱两可的错误.

有关更多详细信息,请参阅partial template specialization中有关部分排序的讨论

现在让我们考虑std :: enable_if< std :: is_base_of< ...> :: value> :: type case.

你仍然有两个专业,但第二个专业化现在以enable_if为条件,而enable_if又取决于参数T.

> A< B< B< T>,std :: enable_if< ...>>.

类型B< int>现在匹配两个特化(在某种程度上相同).显然它匹配A< B>>,voID>专业化,但它也匹配A< T,std :: enable_if ...>>专业化,因为B< int>是一种满足std :: enable_if表达式强加的条件的类型.

这为您提供了两个同样有效的特化,它们是您声明变量a的候选者,因此您会得到“模糊的部分特化”错误.