Generic programming can be defined as "programming with concepts," where a concept is defined as a family of abstractions that are all related by a common set of requirements.
GP可以被定义为概念性编程,概念在这里指与一个需求集相关的一组抽象。
A metaprogram is a program that manipulates code.
一个元程序是指处理或利用代码的程序。处理的结果可能是生成新的代码(例如模板的实例化后的结果)。
C++编译器就是一种元程序。C++本身提供模板作为元级别的编码技术,c++元程序处理的对象除了常量值以外,最主要的是类型,所以c++元程序也通常被称为类型计算程序(type computation)。
对于c++来说,能够在编译期间被处理的对象被定义为元数据。常量值是一种元数据,类型也是,当然,还应该包括函数声明和调用绑定,以及类型之间的关系(例如继承,或者是否可以转换)。所有的元数据都可以作为模板的参数。因为MP本来就是在元数据级别编程,所以MP的处理对象就是元数据,模板的参数就好比函数的参数一样,只不过是级别不同,MP是元级别的,而普通的代码是普通级别的。