c++ 部分特化：如何将这个 template 特化为这个 template？

#include <iostream>
using namespace std;

template <class T1, class T2>
class A {
public:
    void taunt() { cout << "A"; }
};

template <class T1>
class A<T1, T1> {
public:
    void taunt() { cout << "B"; }
};

class B {};

class C {};

int main (int argc, char * const argv[]) {

    A<B> a;

    return 0;
}

如何将两个参数模板转换为一个参数模板？

上面的代码将在“A a;”上给出编译器错误对于“模板参数数量错误”。

模板专门化不能用于减少模板参数的数量，为此，您应该对某些参数使用默认值。

因此，为了允许仅使用一个参数，并使该用法符合您的专业化要求，您需要第二个参数的默认值，它与第一个参数相同：

#include <iostream>
using namespace std;

template <class T1, class T2=T1>
class A {
public:
    void taunt() { cout << "A"; }
};

template <class T1>
class A<T1, T1> {
public:
    void taunt() { cout << "B"; }
};

class B {};

class C {};

int main (int argc, char * const argv[]) {

    A<B> a;
    a.taunt(); // Prints "B"

    return 0;
}