C++ 模板 与 泛型编程
前言
模板有两种：类模板和函数模板 。模板是泛型编程的基础。
什么叫：泛型编程？
使用独立于特定类型的方式进行编程。也就是我们在编程的时候不明确的写上类型，而是使用一个模板参数来代表某种类型。
所以泛型编程就需要使用模板。泛型编程这种编程方法，主要使用于：容器、迭代器、算法 。比如C++著名的标准模板库中都是使用模板和泛型编程。
并且数据结构和算法，都是大量的使用泛型编程的。所以本篇博客介绍如何使用C++进行泛型编程，来编写一个简单的队列类。下两篇博客，我们来一个实战：使用泛型编程的方法编写顺序队列 和 链式队列。
下面，我们写一个小例子，来介绍什么是泛型编程。
示例讲解
现在我们来做这样的一个例子：使用泛型编程做一个队列类。
我们先创建一个 queue.h 文件 和 一个main.cpp 文件。
先将下面的代码复制到 queue.h 文件里面。
#include<iostream>
#include <iomanip>
using namespace std;
//template<class T>
class Queue{
struct Node{
int a;
Node * next;
};
public:
Queue();
~Queue();
void push(int b);
void pop();
int getlength();
virtual void print();
private:
Node * head;
Node * rear;
int num;
};
void Queue::push(int b){
Node *pl = new Node;
pl->a = b;
pl->next = NULL;
rear->next = pl;
rear = pl;
num++;
cout << setw(2) << b << setw(2) << " 进入队列 " << endl;
}
void Queue::pop(){
Node *p;
p = head->next;
cout << " " << setw(2) << p->a << setw(2) << " 出队 " << endl;
head->next = p->next;
delete p;
num--;
}
int Queue::getlength(){
return num;
}
void Queue::print(){
Node *p;
p = head->next;
cout << "队列中的元素是：" << endl;
while(p){
cout << p->a << " -> ";
p = p->next;
}
cout << "NULL" << endl;
}
Queue::Queue(){
rear = head = new Node();
}
Queue::~Queue(){
delete head;
}
接着在 main.cpp 文件里面添加下面的代码，来测试 queue.h 里面的 Queue 类。
#include <iostream>
#include "queue.h"
using namespace std;
int main(){
Queue q;
q.push(10);
q.push(20);
q.push(30);
q.print();
system("pause");
return 0;
}
运行，输出结果：
10 进入队列
20 进入队列
30 进入队列
队列中的元素是：
10 -> 20 -> 30 -> NULL
请按任意键继续. . .因为我们在设计这个 Queue 类的时候，它只能保存整数类型（int），而且类里面的所有操作也都是对整数进行操作的。那么这个队列就只能处理整数。如果，现在我们想把小数放到队列里面，那程序编译的时候就会出错；如果现在想把字符串放到队列里面来，就更不行了。
所以，这样编写的Queue 类就带来的一个麻烦，因为这个队列类只能处理整数类型的数据，它是一个整数队列。
如果我们现在想要一个处理字符串的队列，很不好的方法是：再添加一个.h 文件，然后写一个处理字符串的队列类。
世界上的数据类型很多，比如：int、double、string、各种类、float等等。那我们岂不是要设计很多整队列类吗。
所以这个方法是不可取的。
应该怎么做呢？
这个时候，就有了模板编程。
template<class T>这个 T 表示一个占位符，是任何一种类型的代表。这个T 就叫做：泛型。
queue.h
#include<iostream>
#include <iomanip>
using namespace std;
template<class T>
class Queue{
struct Node{
T a;
Node * next;
};
public:
Queue();
~Queue();
void push(T b);
void pop();
int getlength();
virtual void print();
private:
Node * head;
Node * rear;
int num;
};
template<class T>
void Queue<T>::push(T b){
Node *pl = new Node;
pl->a = b;
pl->next = NULL;
rear->next = pl;
rear = pl;
num++;
cout << setw(2) << b << setw(2) << " 进入队列 " << endl;
}
template<class T>
void Queue<T>::pop(){
Node *p;
p = head->next;
cout << " " << setw(2) << p->a << setw(2) << " 出队 " << endl;
head->next = p->next;
delete p;
num--;
}
template<class T>
int Queue<T>::getlength(){
return num;
}
template<class T>
void Queue<T>::print(){
Node *p;
p = head->next;
cout << "队列中的元素是：" << endl;
while(p){
cout << p->a << " -> ";
p = p->next;
}
cout << "NULL" << endl;
}
template<class T>
Queue<T>::Queue(){
rear = head = new Node();
}
template<class T>
Queue<T>::~Queue(){
delete head;
}main.cpp
#include <iostream>
#include "queue.h"
using namespace std;
int main(){
Queue<int> q;
q.push(10);
q.push(20);
q.push(30);
q.print();
Queue<string> qs;
qs.push("www");
qs.push("aobosir");
qs.push("com");
qs.print();
qs.pop();
qs.print();
system("pause");
return 0;
}
注意：但凡是使用到模板参数的函数，在其前面都要添加上这段代码：template<class T> 。
使用 template<class T> 设计的类，就叫做类模板。
在编程的时候，我们没有指定具体的类型；在使用的时候，我们指定具体的类型。那么这种编程方法，就叫做：泛型编程。它所用到的就是：模板。
使用这种方法来做编程的话，我只需要一个类模板，然后就可以处理任何一种类型的数据。（因为 T 就代表任何一种类型的数据。）
总结： 如果不使用泛型编程，那么只能设计一个处理具体类型的队列类。但是我们需要各种类型的，所以学会泛型编程，对以后使用C++ 编写数据结构和算法是非常有用的。
一个模板将所有的类型就都包括了。
接下来的两篇博客，我们会写两个例子：
一个是顺序队列 （里面是使用数组实现的，所以叫：顺序队列）
一个是链式队列（里面是使用链表实现的，所以叫：链式队列）