元编程

Meta Programming，元编程。我们通常是指那些编写程序的程序，也就是Paul Granham说过的类似这样的话：Programmer can write a program which write program for programmer.

根据(程序)编写程序的时间点不同，我们可以将元编程分为：

1，编译时元编程

编译时元编程是指在编译时(compile-time)完成编写或修改程序的工作。像一些宏，代码生成器，C++中的模板技术都是属于编译时元编程。

2，运行时元编程

运行时(runtime)元编程是指在程序运行时根据需要生成，修改和执行代码。通常动态语言拥有这种能力。拥有这种能力的编程语言可以在运行时操控语言构件/元素，根据运行上下文生成或修改代码，并最终执行这些代码。这需要让生成的代码可以和运行上下文进行交互。Ruby语言对此有很好的支持，你可以在运行时改变一个类，对方法的查找方式进行修改，并且这些修改直接可用。JavaScript的eval也可以做到这点，在eval中执行的代码可以访问所在的执行环境(Execution Contect)，并且可以将执行结果直接添加到环境中。C#也可以在运行时通过emitting来生成和执行MSIL代码，但这样抽象等级就要低了一个层次，这也是为什么在C#中元编程的技术运用远没有Ruby中那样广泛的原因之一了。.NET Roslyn项目也正是要解决这个问题的。