metaprogramming（元编程）and type traits

（译注：原作者还没有完成这个小节，等原作者完成后中文版随后奉上。这里补充一点关于元编程(metaprogramming)）的基础知识，供大家参考

1、何谓“元编程(Metaprogramming)”?

具备如下特征之一的程序编写称为元编程：

利用或者编写其它语言程序来作为所编写程序的数据

在程序运行时完成一些编程工作，而不是在编译时—具备这种特征的语言，我们也常成为动态语言

2、元编程的优势

元编程为程序开发人员提供了在与手动编写所有代码相同时间内，完成更多工作的可能，同时，由于

在面对新情况时，不需要重新编译，因此元编程为程序提供了更大的灵活性和可用性。

3、元编程语言

用于元编程的语言，称作元语言，被元语言所利用的语言通常称作对象语言。元语言具有自反性。所谓

自反性就是自己描述自己的特性。自反性是元编程中非常重要特点。有些语言中，将自身作为First-class object

也是非常有用的。对于有些可以调用元编成机制的程序语言，也具备自反性。

4、元编程方式

一般来说，实现元编程有两种方式。

第一种方法是调用API将运行时引擎中的代码展示为程序代码

第二种方法是动态执行包含在程序中的字符表达式，也就是我们常说的“程序生成程序”。

虽然，两种方法都可以实现元编程，但是大多数语言都只是支持其中的一种方法。

5、实例

1）bash script

#!/bin/bash # metaprogram echo ‘#!/bin/bash’ >program for ((I=1; I< =992; I++)) do echo "echo $I" >>program done chmod +x program

该脚本产生993行代码，这便是用程序生成程序的一个例子

2）像Lisp， Python和Javascript等语言可以在程序运行期间修改或者增量编译，这些程序语言也可以在不产生新代码的

情况下进行元编程。

3）我们常见的编译器其实也是元编码的代表，编译器通常是用相对简约的高级语言来产生汇编或者机器代码。

（翻译：Yibo Zhu）