有效地利用已有的成果，将经典的、优秀的算法标准化、模块化，从而提高软件的生产率，是软件产业化的需求，为了实现这一需求，不仅需要面向对象设计思想，而且需要泛型程序设计思想。
c++语言提供的标准模板库（standard template library，STL）便是对象对象程序设计和泛型程序设计（Generic Programming）思想相结合的一个良好典范。
1、泛型程序设计的概念和术语
1）泛型程序设计
泛型程序设计就是要将程序写得尽可能通用，同时并不损失效率。它的首要目标是标准容器，进而是标准算法，总的目标是最通用、最有效最灵活地表现概念。
标准c++类库包含的组建即支持面向对象的设计与编程，又支持泛型程序设计。标准组件对来年各种设计方法的支持赋予了c++类库复合或双重特性。c++的模板为泛型程序设计奠定了关键的基础，它是所有版本STL的基石。
泛型程序设计的主要思想是，将算法从特定的数据结构中抽象出来，使算法成为通用的，可以作用于各种不同的数据结构。这种以函数模板形式实现的通用算法与各种通用容器结合，极大地提高了软件的复用性。
在STL中充当苏纳法与容器之间媒介的，便是迭代器（iterator）。
如果从应用角度来看，构建STL的架构最关键的4个组件是容器、迭代器、算法和函数对象。算法处于核心地位，迭代器如同算法和容器类之间的桥梁，算法通过迭代器从容器中获取元素，然后将获取的元素传递给特定的函数对象进行的操作，最后将处理后的结果存储到容器中。
8、泛型程序设计与c++标准模板库1、泛型程序设计的概念和术语
原文：http://www.cnblogs.com/gary-guo/p/6298413.html