目录
1. 什么是泛型
2. 为什么需要泛型
3.泛型如何用
参考 泛型是什么，C++泛型编程又是什么？
1. 什么是泛型
泛型是什么，C++泛型编程又是什么？
泛型，实质上就是不使用具体数据类型（例如 int、double、float 等），而是使用一种通用类型来进行程序设计的方法，该方法可以大规模的减少程序代码的编写量，让程序员可以集中精力用于业务逻辑的实现。
维基-Generic programming
Generic programming is defined in Musser & Stepanov (1989) as follows,
泛型在 Musser & Stepanov (1989)中定义如下:
Generic programming centers around the idea of abstracting from concrete, efficient algorithms to obtain generic algorithms that can be combined with different data representations to produce a wide variety of useful software.
泛型的核心思想是从具体的、高效的算法中抽象出来，获得通用算法，这些算法可以与不同的数据表示结合，生成各种各样的有用软件。
— Musser, David R.; Stepanov, Alexander A., Generic Programming
What are generics in programming?
Generics are kind of like functions for variable types. Normally, you make a function for a task that you do a lot of, so instead of having to repeat the same code over and over again, you let the compiler and computer do that behind the scenes for you.
泛型类似于变量类型的函数。通常情况下，你为一个你做了很多的任务创建一个函数，所以不必一遍又一遍地重复同样的代码，你可以让编译器和计算机在幕后为你做这些。
C++ 泛型（模板与容器）
泛型编程（Generic Programming）是一种语言机制，通过它可以实现一个标准的容器库。
像类一样，泛型也是一种抽象数据类型，但是泛型不属于面向对象，它是面向对象的补充和发展。在面向对象编程中，当算法与数据类型有关时，面向对象在对算法的抽象描述方面存在一些缺陷。
泛型在C++中的主要实现为模板函数和模板类。
2. 为什么需要泛型
C++ 泛型（模板与容器）
泛型在C++中的主要实现为模板函数和模板类。
通常使用普通的函数实现一个与数据类型有关的算法是很繁琐的，比如两个数的加法，要
考虑很多类型：
int add(int a,int b) { return a+b; }
float add(float a,float b) { return a+b; }
在C++中可以通过函数重载来解决这个问题，但是反复写相同算法的函数是比较辛苦的，更重要的是函数重载是静态编译，运行时占用过多内存。
在此我们可以用C++的模板函数来表达通用型的函数，如下：
template<typename T> // 模板声明
T add(T a,T b) { return a+b; } // 注意形参和返回值的类型
3.泛型如何用
泛型是什么，C++泛型编程又是什么？
#include <iostream>
using namespace std;
int add(int a,int b) { return a+b; }
float add(float a,float b) { return a+b; }
template <typename T>
T add(T a,T b) //注意形参和返回类型
{
return a+b;
}
void main()
{
int num1, num2, sum;
cin>>num1>>num2;
sum=add(num1,num2); //用int匹配模版参数T，若sum,num1,num2类型不一致则无法匹配。
cout<<sum;
}
那么，代码中的 T 是什么呢？很明显，这是一个占位符，更确切的说是一个类型占位符。也就是说，将来在 T 这个位置上的是一个真实、具体的数据类型，至于到底是哪个类型，完全取决于用户的需求。
当然，如果硬要给 T 这种类型占位符也叫做一种数据类型，提供这种想法的发明者称它为泛型（generic type），而使用这种类型占位符的编程方式就被称为泛型编程。
总之一句话，泛型也是一种数据类型，只不过它是一种用来代替所有类型的“通用类型”。在 C++ 中，用以支持泛型应用的就是标准模板库 STL，它提供了 C++ 泛型设计常用的类模板和函数模板。
