c++ 部分特化 : How can I specialize this template 到此模板<类 T1>？

Question

#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;' 上给出一个编译器错误对于“错误数量的模板参数”。

Answer 1

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

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

#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;
}