部分专门化上下文中默认模板参数的角色

我不清楚在部分专门化的上下文中默认模板参数的交互作用,如何选择更好的匹配模板。这个问题源于这个网站上发布的代码 answer 由max66。

给出了类的定义 A B :

template <int N> struct A { static const int code = N; };

struct B{};

以及以下模板类:

// primary template
template <typename, typename Enable = bool_constant<true>>
struct cond : public bool_constant<false> {};

// specialization
template <typename T>
struct cond<T, bool_constant<(0 == T::code)>> : public bool_constant<true> {};

1) cond<B>::value 计算结果为 false (也就是说,选择了第一个)。这一点很清楚,因为主模板 cond<B, bool_constant<true>> ,专用化失败,因此主模板是唯一可能的选择。

2) cond<A<0>>::value true (即选择专业化)。这一点很清楚,因为主模板 专业化也会产生 条件(&L);B、 布尔常数<正确>&燃气轮机;

3) cond<A<1>>::value 计算结果为 假 条件(&L);B、 布尔常数<正确>&燃气轮机; 专业化产生 cond<B, bool_constant<false>>

我假设(3)中的行为是由于主模板的默认模板参数和专门化之间的一些交互作用造成的。在这个 answer Jerry Coffin说了一些可以解释这种行为的东西:

然后选择基础模板。

有人能详细解释一下这个规则吗?谢谢