GP和MP随记

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是元级别的，而普通的代码是普通级别的。