使用默认参数的模板参数推断行为

Question

已编辑（原始问题只有int A，int B）：
模板参数推断在两个专门化之间比较的#参数相同时按预期工作，但在它们不同时失败（因为在其中一个专门化中包含默认参数）。

例如：为什么模板参数推导在一种情况下与另一种情况下失败，有人能指出解释这一点的任何资源/标准吗？

// Example program
#include <iostream>

template <int A, int B, int C, int D=1>
class Foo;

template <int A, int B, int C>
class Foo <A, B, C>
{
public:
    int a;

    Foo()
    {
        a = 0;
    }
};

template <int D>               // Fails compilation
class Foo <1, 1, 1, D>         // Fails compilation
//template <>                  // works, prints a = 1
//class Foo <1, 1, 1>          // works, prints a = 1
{
public:
    int a;

    Foo()
    {
        a = 1;
    }
};


int main()
{
    Foo <1, 1, 1, 1> f;
    std::cout << "a = "<< f.a << std::endl;
}

错误：模糊模板实例化'类Foo

Answer 1

template <int A>
class Foo <A> {/*..*/};

具有默认参数：

template <int A>
class Foo <A, 1> {/*..*/};

附（有效）：

template <int B>
class Foo <1, B> { /*..*/ };

您对Foo有歧义

template <> class Foo <1> { /**/};

是

template <> class Foo <1, 1> { /**/};

并且比以前的两个专业都更专业。