定义：根据确定的规则，使用工具，在确定的阶段，进行代码的生成和维护。
元编程 = 规则 + 元码 + 工具 + 解释（生成、维护）
1、代码的生成与维护（工具与编译器）
2、功能的织入（链接器、加载机制、运行时维护机制。）
一、元编程的目的：
1、根据确定的规则生成代码
1）编码时：
mybatis
2）编译时：
泛型模版元编程；
2、根据确定的规则维护代码
1）编译时
aspect；
2）运行时
oc类替换、函数替换、类生成。
二、元编程工具
1、外部工具
2、编译器工具
3、运行时机制
三、本质：元编程是面向语言规则的编程
规则在哪里：
1、工具中；
2、额外的说明文档中（xml等）。
3、额外的代码结构中—需要有规则解释器。
需要有规则的解释和说明机制。
四、实行阶段
根据(程序)编写程序的时间点不同，我们可以将元编程分为：
1，编译时元编程
编译时元编程是指在编译时(compile-time)完成编写或修改程序的工作。像一些宏，代码生成器，C++中的模板技术都是属于编译时元编程。
2，运行时元编程
运行时(runtime)元编程是指在程序运行时根据需要生成，修改和执行代码。通常动态语言拥有这种能力。拥有这种能力的编程语言可以在运行时操控语言构件/元素，根据运行上下文生成或修改代码，并最终执行这些代码。这需要让生成的代码可以和运行上下文进行交互。Ruby语言对此有很好的支持，你可以在运行时改变一个类，对方法的查找方式进行修改，并且这些修改直接可用。JavaScript的eval也可以做到这点，在eval中执行的代码可以访问所在的执行环境(Execution Contect)，并且可以将执行结果直接添加到环境中。C#也可以在运行时通过emitting来生成和执行MSIL代码，但这样抽象等级就要低了一个层次，这也是为什么在C#中元编程的技术运用远没有Ruby中那样广泛的原因之一了。.NET Roslyn项目也正是要解决这个问题的。
https://www.cnblogs.com/Jerry-Chou/archive/2012/10/14/2723542.html