元编程沉思录—目的与阶段—元编程是面向语言规则的编程

定义：根据确定的规则，使用工具，在确定的阶段，进行代码的生成和维护。

元编程 = 规则 + 元码 + 工具 + 解释（生成、维护）

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