元编程（Metaprogramming）是编写、操纵程序的程序，简而言之即为用代码生成代码。元编程是一种编程范式，在传统的编程范式中，程序运行是动态的，但程序本身是静态的。在元编程中，两者都是动态的。元编程将程序作为数据来对待，从而赋予了编程语言更加强大的表达能力。
一、什么是元编程
元编程（Metaprogramming）是编写、操纵程序的程序，简而言之即为用代码生成代码。元编程是一种编程范式，在传统的编程范式中，程序运行是动态的，但程序本身是静态的。在元编程中，两者都是动态的。元编程将程序作为数据来对待，从而赋予了编程语言更加强大的表达能力。
编写元程序的语言称之为元语言，被操纵的语言称之为目标语言。
当元语言即目标语言本身时，元编程是目标语言所支持的高级特性，是在编译期或运行期生成或改变代码的一种编程形式，是狭义上的元编程；当元语言并非目标语言时，元编程侧重代码内容的生成，并不关注目标语言代码的编译和执行，也可以称之为产生式编程（Generative Programming）或者代码生成技术（Code Generation）。我们按照从易到难的顺序来依次介绍这些技术。
元编程 (meta-programming) 通过操作 程序实体 (program entity)，在 编译时 (compile time) 计算出 运行时 (runtime) 需要的常数、类型、代码的方法。一般代码的操作对象是数据。元编程的操作对象是代码。
