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

How can I convert my two parameter template to a one parameter template?

上述法典将给Aa的汇编者留下错误;对模版论点的错误数目。

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

Answer 2

您可以使用第二个瞬时类型(可接受的)缺省:

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

友情链接