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