默认模板参数在部分特化上下文中的作用

我不清楚部分专业化背景下默认模板参数的交互，以选择哪个是更好的匹配模板。这个问题源于此中发布的代码answer https://stackoverflow.com/questions/52565407/use-of-enable-if-to-match-only-classes-which-have-a-certain-static-data-member由 max66 提供。

给定类的定义A and 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（即选择专业）。这很明显，因为主模板产生cond<B, bool_constant<true>>，专业化也产生cond<B, bool_constant<true>>，因此首选专业化，因为第二个模板参数的参数是明确给出的。

3) cond<A<1>>::value评估为false（即选择主要的）。我不清楚。主要模板产量cond<B, bool_constant<true>>，专业化收益率cond<B, bool_constant<false>>。鉴于第二个模板参数的参数在专业化中明确给出，为什么不是首选？

我认为 (3) 中的行为是由于主模板的默认模板参数和专业化之间的某些交互造成的。在这个answer https://stackoverflow.com/a/18701381/5800661杰里·科芬（Jerry Coffin）陈述了一些可以解释这种行为的内容：

如果我们改变专业化，使其专业化 适用于基本模板提供的默认类型以外的类型 然后将选择基本模板。

有人可以详细说明一下这条规则吗？谢谢

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

与

template <typename, typename Enable = bool_constant<true>> struct cond;

template <typename, typename Enable>
struct cond : public bool_constant<false> {};

稍后可能会更清楚地理解结果。

当你写的时候cond<C>，由于默认参数，它相当于cond<C, bool_constant<true>>.

然后我们尝试将其匹配到“更好的实例化”.

我们可以选择：

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

和部分专业化，使用 SFINAE：

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

If 0 == T::code格式不正确，专业化被丢弃，只有初级模板是可行的解决方案，因此使用它。

Else if 0 == T::code评估为false，专业化不匹配，并且还使用了主模板。
请注意，使用cond<C, bool_constant<false>>在这种情况下会使用专业化。

Else, 0 == T::code评估为true，那么primary和specialization都可行，但是specialization更专业，所以选择了。