什么是范型程序设计（GP），范性和模板的关系是什么？

泛型是一种概念,C++中的模板是对泛型的支持和实现.
---------------------------------------------------------------

简单地说，泛型程式设计是一种「将资料型别叁数化」的思维模式。C++ 的 template 机制就是泛型技术的一个具体载具。在 C++ 中，不论是 functions 或是 classes，皆可将其中所需要的资料型别以一个保留器（placeholder）代表，这个保留器亦即所谓的 template 叁数。例如 function template 如下：

template<typename T1, typename T2)
void func(T1 param1, T2 param2) { /* ... */ }

或是 class template：

template<typename T1, typename T2)
class A { /* ... */ }

一旦程式中使用函式 func() 或 class A 时：

func(5, 2.3);
A<int, double> a;

编译器即根据 function template 的函式引数、或是明白标示的 class template 引数，自动推导出一份函式实体或 class 实体。换言之这项具现化动作在编译时期就完成，不会增加执行时期的成本。（关於 template 的语法与性能，请叁考任何一本「年轻的」C++ 全貌型书籍）

STL 是泛型概念的一套实作品。从学理上来说，它其实是一套严谨的 "concepts" 分类学。这里所谓的 concepts 有其严肃定义，意指「对某种型别的一些条件需求」。满足这些条件者，称为该 concepts 的 models。STL concepts 并没有实际对应到 C++ 或其他语言的任何东西。
---------------------------------------------------------------

对于c++编程来说 
泛型编程就是STL编程 
---------------------------------------------------------------

泛型程式设计和模板，在技术上有共同点很相似，但不能完全等同，泛型程式设计是一种艺术，一种程序设计的理念（实在想不出更好的词了），而模板是一种纯技术。
---------------------------------------------------------------

泛型程序设计也叫通用型程序设计，
使一个算法或结构能独立与其中的细节，即类型，达到更高级的抽象
---------------------------------------------------------------

泛型是一种方法,模板是如何在C++里面使用这个方法