Ruby 的魔法世界——元编程（一）

什么是元编程（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 元编程》