1、泛型程序设计,就是编写不依赖于具体数据类型的程序。C++中,模板是泛型程序设计的主要工具。
2、可以用概念来描述泛型程序设计中作为参数的数据类型所需具备的功能,这里的“概念”是泛型程序设计中的一个术语,它的内涵是这些功能,它的外延是具备这些功能的所有数据类型。
3、具备一个概念所需要功能的数据类型称为这一概念的一个模板。
4、对于两个不同的概念A和B,如果概念A所需求的所有功能也是概念B所需求的功能(即概念B的模型一定是概念A的模型),那么就说,概念B是概念A的子概念。