什么是元编程(Metaprogramming)
元编程就是编写能写代码的代码。
能写代码的代码……是指代码生成器么?Java注解?C++模板?这些在广义上也属于元编程。不过这些过程发生在编译期(compiler time),称为静态元编程;本文准备介绍的 Ruby 元编程,是编写能在运行时(runtime)操作自身的代码,称为动态元编程。
这样一来你会发现 OC 中的 Swizzle 啊关联对象啊等运行时黑魔法都可以算作元编程的范畴。所以元编程其实无处不在,几乎可以说元编程就是动态语言的设计模式,等到掌握了元编程的技巧之后,你会发现:
根本没有什么元编程,从来只有编程而已。
对象模型
要介绍 Ruby 元编程,首先要介绍一下 Ruby 的对象模型。
Ruby 号称是一门“纯”面向对象的语言,那到底有多纯呢,先看个图:
上图中的箭头表示从属关系,譬如 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 元编程》