什么是元编程（Metaprogramming）
元编程就是编写能写代码的代码。
能写代码的代码……是指代码生成器么？Java注解？C++模板？这些在广义上也属于元编程。不过这些过程发生在编译期（compiler time），称为静态元编程；本文准备介绍的 Ruby 元编程，是编写能在运行时（runtime）操作自身的代码，称为动态元编程。
这样一来你会发现 OC 中的 Swizzle 啊关联对象啊等运行时黑魔法都可以算作元编程的范畴。所以元编程其实无处不在，几乎可以说元编程就是动态语言的设计模式，等到掌握了元编程的技巧之后，你会发现：
根本没有什么元编程，从来只有编程而已。
这波我给满分.jpg
对象模型
要介绍 Ruby 元编程，首先要介绍一下 Ruby 的对象模型。
Ruby 号称是一门“纯”面向对象的语言，那到底有多纯呢，先看个图：
Ruby 对象模型.png
上图中的箭头表示从属关系，譬如 obj1 指向 MyClass 的那个箭头表示“obj1 的 class 是 MyClass”。也就是说，obj1、obj2、obj3 是 MyClass 类的三个实例，也就是我们常说的对象，而 MyClass 其实是 Class 的一个实例，所以它也是一个对象。
其实，在 Ruby 中：
- 一个对象的实例变量存在于对象本身之中，而一个对象的方法存在于对象的类中。
- 对象就是一组实例变量外加一个指向其类的引用。
- 类就是一个对象（Class 类的一个实例）外加一组实例方法和一个对其超类的引用。
- Class 类是 Module 类的子类，因此一个类也是一个模块。
打开类
既然类也是一个对象，所谓的类名其实就只是一个常量。class关键字在某种程度上更像是一个作用域操作符，而不是类型声明符，class关键字把你带到类的上下文中，你可以在里面执行任何语句：
3.times do
class C
puts "Hello"
end
end
< Hello
Hello
Hello
上面这段代码是不是定义了三个同名的类呢？不是的，第一次的时候会定义一个 C 类，之后就只是重新打开这个已经存在的类。
重新打开一个已经存在的类并对它进行动态修改，这种技巧叫打开类（open class）。我们可以给任何类添加新的方法，或者修改已存在的方法。当然这有一定的风险，你可能想添加一个新方法，却无意中覆写了原先已经存在的方法。所以也有人把这种技巧称为猴子补丁（Monkeypatch）。
待续。
参考：《Ruby 元编程》
网友评论