分享 Ruby 和元编程的故事 - 第 1 回: 色色空空,万物皆为对象

hisea · 2012年02月20日 · 最后由 StephenZzz 回复于 2019年12月11日 · 8851 次阅读

http://hisea.me/p/ruby-story-ep1

开篇

空即是色,色即是空。 空空色色,色色空空,在 Ruby 语言中,万物皆为对象。

Ruby 是一个面向对象的语言 (Object Oriented Language),面向对象的概念比其他语言要贯彻的坚定很多。

Ruby 中不存在 Java 中原始类型数据和对象类型数据之分。大部分 Ruby 中的的东东都是对象。

所以,想要掌握 Ruby 和 Ruby 的元编程,对象就是第一门必修功课。本回就着重研究一下 Ruby 中的对象。

Ruby 中的对象

如果你从其他面向对象的语言转来,一提到得到一个对象你可能会想到建立一个类,然后建立这个类的实例出来产生一个对象。

在 Ruby 中这完全是可以的,不过这种先建立类才能获得对象的过程,听起来更像是面向类的设计,而不是面向对象的设计。关于类的一些东西放到下回再说。

在 Ruby 中,不存在原始类型的概念,1, 0.3, true/false 甚至 nil 都是对象。比如,你可以在 irb 中尝试下面的代码:

>> 1.methods => ["%", "odd?", "inspect", "prec_i", "<<", "tap", "div", "&", "clone", ">>", "public_methods", "send", "instance_variable_defined?", "equal?", "freeze", "to_sym", "*", "ord", "lcm", "+", "extend", "next", "power!", "send", "round", "methods", <…more methods…> "is_a?", "ceil", "[]"] >> 1.class => Fixnum

你可以在 irb 中尝试一下其他数据类型,看看他们的方法和类等等信息。

不只是各种数据类型,方法在 Ruby 中也是对象,比如下列例子:

>> one_plus = 1.method(:+) => # >> one_plus.class => Method >> one_plus.call(2) => 3

有意思的是,方法对象也是有方法的:

>> one_plus.arity() => 1

对象到底是什么?

到底什么是对象呢?

简单的说,对象就是 状态 + 行为

状态 就是表明当前对象所拥有的属性,每个同类的对象可能有不同的状态,这些状态保存在实例变量里面 (Instance Variable).
对象的实例变量可以由 instance_variable_set/instance_variable_get 来设定/读取:

>> 1.instance_variable_set(:@my_var, "world") => "world" >> 1.instance_variable_get(:@my_var) => "world"

行为 行为就是作用在对象上的动作,就是我们常说的方法。Ruby 方法的调用,类似于 smalltalk 或者 Objectiv-C,采用消息模式。调用方法相当于对这个对象发送了一个消息。所以对方法的调用也可以这样:

>> 1.send(:+,1) => 2

在 Ruby 中,状态,也就是实例变量是保存在对象里的,而行为或方法则是存在于对象的类或者 mixin 的 module 里面。

在静态语言中,编译时就会确定所调用的方法是否存在,不存在会产生编译错误。

Ruby 中,当我们在方法调用的运行时,对象会查找他隶属的类,module,父类等,来找到相对应的方法。

Singleton/Meta/Anonymous/Ghost/Shadow Class

  • Singleton Class: 单例类
  • Meta Class:元类
  • Anonymous Class: 匿名类
  • Ghost Class:鬼类
  • Shadow Class: 影子类

上面的这些东东其实说的都是一个东西,我喜欢叫它 影子类。

Ruby 中每一个对象都一个一个影子类,这个影子类存在于对象跟它所属的类之间:

对象 ("obj1") -> 影子类 -> 对象所属的类 (String)

当一个对象的方法被调用时,首先查找的是影子类,之后才是它所属的类。

上面讲到实例变量存在于对象内,方法存在于对象的类中。 影子类上的方法,就是只有这一个对象拥有的方法。这个方法通常叫做单例方法 (Singleton Method)。

这样的方法只存在于这个对象上,同一个类的其他对象没有这个方法,因为他们的影子类不同,其他对象的影子类上没有这个方法。

>> a = "obj1" => "obj1" >> def a.hello >> puts "hello world" >> end => nil >> a.hello hello world => nil >> b = "obj2" => "obj2" >> b.hello NoMethodError: undefined method `hello' for "obj2":String from (irb):49 >> a.singleton_methods => ["hello"] >> b.singleton_methods => []

Self

Ruby 里面一切都是对象,self 也是对象,确切地说是当前对象的引用。

前文说 Ruby 的方法调用是消息模式,比如 obj.method, 消息的接受者是。之前的对象,.之后的是方法及参数。 如果对象和。没有出现的话,消息会被默认送到 self 对象。除了作为方法的默认接受者,self 也是实例变量的解析对象。

self 在 ruby 一开始的时候,被设定为一个叫做 main 的对象,再 irb 里面可以看到:

>> m = self => main

self 可以被认为是一个特殊的变量,它的特殊性在于,你不能给他赋值:

>> self = "obj" SyntaxError: compile error (irb):77: Can't change the value of self self = "obj" ^ 有几个办法可以改变 self 的值,.(obj.method 的.) 是其中一个,除了。还有 class/module 关键字。 本回主要关注跟对象相关的。

当我们用 obj.method 调用方法时,接下来的时间代码的执行就会到相应的方法里,运行的上下文切换到那个对象,self 自然也变成了那个对象。用 def 定义单例方法时,道理也是相通的。下面的例子可以说明这个 self 切换的情况。

>> a = "obj" => "obj" >> def a.hello_self >> puts "hello #{self}" >> end >> m = self => main >> a.hello_self hello obj

对象的复制

前文说对象的存在包括两部分,一是状态/实例变量,另一个是行为,本回专注讲了单例方法和影子类。 Ruby 中对象的复制也有两种模式,一个是只复制当前的状态/实例变量 dup。另外一种是连同影子类和引用的对象一起复制,从而把单例方法也复制一份。

>> a = "obj" >> def a.hello_self >> puts "hello #{self}" >> end >> b = a.dup => "obj" >> b.hello_self NoMethodError: undefined method `hello_self' for "obj":String from (irb):90 >> b = a.clone => "obj" >> b.hello_self hello obj

其实有本回上述的这些功能,即便是没有 class,Ruby 也可以作为一种 Prototype(类似 JavaScript) 的面向对象语言了。

你可以建立一个对象,生成默认的实例变量,把行为作为单例方法定以在这个对象的影子类上,然后用 clone 生成千千万万个实例。当然这样比较麻烦,但却是可行的途径之一。

其他 Object API

对象还有很多其他的功能,比如可以 freeze,另外 dup 跟 clone 也有一些其他的引用上面的区别,dup 只复制引用,clone 会吧引用的对象也复制。

这些都可以在 Object 类 (Ruby 所有对象的父类)API 上找到,可以查看apidock.com 的文档

例如关于 dup .dup() produces a shallow copy of obj—the instance variables of obj are copied, but not the objects they reference. dup copies the tainted state of obj. See also the discussion under Object#clone. In general, clone and dup may have different semantics in descendant classes. While clone is used to duplicate an object, including its internal state, dup typically uses the class of the descendant object to create the new instance.

本回完

本回讲了些对象相关的东西,有的很基础,有的是 Ruby 自身的一些特性。

其中 Ruby 对象模型中最具特色的两个特性就是影子类/单例方法和 self,最好能深入理解这两个概念。

且听下回分解

下回注重一些关于类的故事。

联系作者

如果你有任何问题,欢迎讨论。

作者:Hisea
web: http://hisea.me
email: [email protected]
weibo: http://www.weibo.com/zyinghai
twitter: https://twitter.com/zyinghai
github: https://github.com/hisea

Hisea.me 版权所有

顶一个,标题和开头有金庸的范,内容行文尽显 Rubist 大家风范,我是你的 fans!

+1 喜欢!

#1 楼 @lgn21st 呵呵,过奖了

可以看出,楼主是高手。我觉得 ruby 最玄学的,是结合 SICP 做解释。

好贴~ 期待下文!

忘了称赞楼主一下了!

期待下文 我觉得 ruby china 应该加一个 blog 或把论坛帖子加精的功能 首页现在都被扯淡和问答占据了 好帖子都找不到了

好文章,赞!

继续看。很有意思。

好文 对 meta-programming 非常有兴趣

这些内容,在《Ruby 元编程》一书中有深入讲解,感兴趣的朋友可以仔细翻翻看: http://book.douban.com/subject/7056800/

顶,影子类 这个说法挺好

#13 楼 @scriptfans 我看过 Ruby 元编程的英文版,这本书是不错的,只不过他的组织形式有点类似讲故事,无关的话题很多。适合初学者。我写这个系列的初衷,试想用最简洁的语言和例子,整理一些关于 Ruby 元编程的要点。

除了上面这本书,Well Grounded Rubyist 和 Eloquent Ruby 也有不少对元编程很好的覆盖。

我整理过一个书单和简单的评价,详见http://hisea.me/p/ruby-rails-book-list-and-review

#14 楼 @yakjuly 呵呵,其他的翻译太生硬了。。

第一个例子有问题,给 obj1 附加 hello 方法,最后打印 singleton_methods 反而是 []

#17 楼 @jasl 原文修改了。正确的应该是下面的

1.8.7 :001 > a = "obj1"
 => "obj1" 
1.8.7 :002 > def a.hello
1.8.7 :003?>   puts "hello"
1.8.7 :004?>   end
 => nil 
1.8.7 :005 > a.hello
hello
 => nil 
1.8.7 :006 > a.singleton_methods
 => ["hello"] 

多谢分享

强大,多谢分享

好帖!多谢分享!

需要 登录 后方可回复, 如果你还没有账号请 注册新账号