具有不同默认模板参数和偏特化参数的类模板的解析

Question

我有两个类（结构）模板 A 和 B，除了 第二个参数的默认参数（在它们的主模板中）和 template-specializing第二个论点（在他们的部分特化中）在A中相同（都在void），而在B中不同（void和int）。

#include <bits/stdc++.h>

/* primary class template A */
template <int N, class = void>
struct A : std::false_type {};

/* partial specialization of A */
template <int N>
struct A<N, std::enable_if_t<(N != 0), void>> : std::true_type {};

/* primary class template B */
template <int N, class = void>
struct B : std::false_type {};

/* partial specialization of B */
template <int N>
struct B<N, std::enable_if_t<(N != 0), int>> : std::true_type {};

int main() {

    std::cout << A<0>::value << std::endl; // 0 (i.e. A<0> extends std::false_type)
    std::cout << A<1>::value << std::endl; // 1 (i.e. A<1> extends std::true_type)

    std::cout << B<0>::value << std::endl; // 0 (i.e. B<0> extends std::false_type)
    std::cout << B<1>::value << std::endl; // 0 (i.e. B<1> extends std::false_type)

    return 0;
}

从输出中可以看出，B<1> 解析为主模板，而A<1> 解析为部分特化，我猜这是由于上述差异造成的。这是相当违反直觉的，因为我预计会发生完全相反的情况。但为什么会发生呢？编译器如何决定要解析哪个版本，尤其是在这种情况下？

编辑： 正如@Enlinco 在他的answer 中正确识别的那样，我的困惑是由于期望在实例化B<1> 时，编译器将解析“更专用于N != 0”版本B<N, int>，更喜欢它而不是“更通用" 版本B<N, void>.

Answer 1

如果我理解混乱，当你看到

/* primary class template B */
template <int N, class = void>
struct B : std::false_type {};

/* partial specialization of B */
template <int N>
struct B<N, std::enable_if_t<(N != 0), int>> : std::true_type {};

你认为当编译器在main中看到B<1>时，

• 看通用模板没问题，
• 然后查看专业化和
  • 看到(N != 0) 是true，
  • 将std::enable_if_t<(N != 0), int> 解析为int
  • 因此产生B<1, int>，这是一个很好的选择，因为它是一个专业化。

故事略有不同。

线

template <int N, class = void>

只是意味着，正如评论中所建议的那样，当您编写 B&lt;<i>an-int</i>&gt; 时，编译器会看到 B&lt;<i>an-int</i>, void&gt;。

如果你从这个角度来看，你应该明白为什么不匹配会导致你观察到的行为：B<1> 只是B<1, void>，没有专门针对它。