C++泛型编程详解

template // 这也可以写 template 此处的 class 和 typename 作用相同
void tfunc(T& t, Y& y) {
 cout << t << " " << y << endl;
}
int n = 2;
double d = 2.1;
tfunc(n, d);

// 运行结果：2 2.1

// ====== 测试一：函数模板针对特殊数据类型具体化 ======
struct Node {
 int val;
 Node* next;
};
// 函数模板
template 
void tfunc(const T& t) {
 cout << "template: " << t << endl;
}
// 函数模板具体化(用于处理Node类型数据)
template<> 
void tfunc(const Node& node) {
 cout << "template: " << node.val << endl;
}
// 函数模板具体化(用于处理int类型数据)
template<> 
void tfunc(const int& n) {
 cout << "template: " << n << endl;
}
// 普通函数
void tfunc(const int& n) {
 cout << "tfunc(): " << n << endl;
}
double d = 2.1;
tfunc(d); // 函数模板未具体化double类型函数，调用模板
Node node{ 2, nullptr };
tfunc(node); // 函数模板具体化Node类型函数，调用函数模板的具体化
int n = 2;
tfunc(n); // 函数模板具体化int类型函数，也存在普通函数，调用普通函数
// ====== 测试二：函数模板部分具体化 ======
template
void tfunc(T1 t1, T2 t2) {
 cout << typeid(T1).name() << " and " << typeid(T2).name() <<": " << t1 << " " << t2 << endl;
}
template
void tfunc(T1 t1, int i) {
 cout << typeid(T1).name() << " and " << "int: " << t1 << " " << i << endl;
}
template
void tfunc(long l, T2 t2) {
 cout << "long and " << typeid(T2).name() << ": " << l << " " << t2 << endl;
}
template<>
void tfunc(short l, int i) {
 cout << "long and int: " << l << " " << i << endl;
}
// 分别调用以上四个模板函数
tfunc(char('c'), char('c'));
tfunc(char('c'), int(10));
tfunc(long(10), char('c'));
tfunc(short(10), int(10));

// 函数模板
template 
void tfunc(const T& t) {
 cout << "template: " << t << endl;
}

// 函数模板实例化，不用写函数的实现，编译器会生成该类型的模板具体化函数
template void tfunc(const char& c);

template // 此处指定了模板默认参数，部分指定必须从右到左指定
class Test {
public:
 Test(T t, Y y) : t(t), y(y) {
 }
 void tfunc();
private:
 T t;
 Y y;
};
template // 类模板的函数在类外实现，需要加上模板参数列表，但不需要加指定的默认模板参数
void Test::tfunc() { // 类外使用Test需要加模板参数
 cout << t << " " << y << endl;
}
int n = 2;
double d = 2.1;
Test test(n, d); // 此处如果使用默认模板参数可定义为 Test<> test(int(2), char('a'));
test.tfunc();
// 运行结果：2 2.1

// ====== 测试一 ======
template
class A {
public:
 A(T t, Y y) {
 }
};
class Test : public A { // 父类是类模板，子类是普通类
public:
 Test() : A(2, 2.1) {
 }
};
Test();
// ====== 测试二 ======
template
class A {
public:
 A(T t) {
 }
};
template
class Test : public A {
public:
 Test(X x, Z z, P p) : A(x) {
 }
};
Test(int(2), double(2.1), char('a'));

// ====== 测试一 ======
template 
class A {
public:
 virtual void tfunc(T t, Y y) = 0;
};
class Test : public A { 
public:
 virtual void tfunc(int n, double d) {
 cout << n << " " << d << endl;
 }
};
// 父类是类模板，子类是普通类，在多态情况下父类需要指定模板参数，子类就不用了
A* a = new Test;
a->tfunc(2, 2.1);
// 运行结果：2 2.1
// ====== 测试二 ======
template 
class A {
public:
 virtual void tfunc(T t, Y y) = 0;
};
template
class Test : public A {
public:
 virtual void tfunc(X x, P p) {
 cout << x << " " << p << endl;
 }
};

// 父类是类模板，子类是类模板，在多态情况下父类和子类都需要指定模板参数
A* a = new Test;
a->tfunc(2, 2.1);
// 运行结果：2 2.1

template
class Test {
public:
 Test() {
 cout << "T1 and T2" << endl;
 }
};
// 部分具体化
template
class Test {
public:
 Test() {
 cout << "T1 and int" << endl;
 }
};
// 部分具体化
template
class Test {
public:
 Test() {
 cout << "long and T2" << endl;
 }
};
// 全部具体化
template<>
class Test {
public:
 Test() {
 cout << "long and int" << endl;
 }
};
// 分别创建上面四个类
Test();
Test();
Test();
Test();

class Base1 { };
class Base2 { };
class Test1 : public Base1 { };
class Test2 : public Base2 { };
template 
class Pair {
public:
 T1 t1;
 T2 t2;
 Pair(T1 t1, T2 t2) : t1(t1), t2(t2) {
 }
 // 类模板中的成员模板
 template
 Pair(const Pair& pair) : t1(pair.t1), t2(pair.t2){
 }
};
Pair(Pair(new Test1, new Test2));