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 元编程》

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,845评论 18 139
  • 1.元类 1.1.1类也是对象 在大多数编程语言中,类就是一组用来描述如何生成一个对象的代码段。在Python中这...
    TENG书阅读 1,295评论 0 3
  • Objective-C语言是一门动态语言,他将很多静态语言在编译和链接时期做的事情放到了运行时来处理。这种动态语言...
    tigger丨阅读 1,426评论 0 8
  • 记录一下我的一天的生活情况,让熟悉或不熟悉我的人,对我的生活有个更加全面的了解。估计我的工作,大部分人是难以理解...
    晴空壹鹤阅读 310评论 1 0
  • 我是日记星球275号星宝宝,正在参加日记星球21天蜕变之旅复训,现在8期蜕变之旅进行时。 昨天要求学生进行错题整理...
    橞在祺中阅读 389评论 1 2