ruby的对象和类模型到底是什么鬼?
在ruby的世界中,有这么三个原则:
-
所有东西都是对象,除了method和block(经过@chiangdi提醒,并不是Ruby中的任何概念都是对象呢,method和block就不是。 )
-
所有对象都有一个类
-
类最终都继承自源类Object,而Object继承自BasicObject
在这个描述中,假设定义了一个类Dog,实例化一个对象tidy,对象tidy的类是Dog,Dog类的类是Class,
Class继承自Module,Module继承自Object,Object最终继承自源类BasicObject,BasicObject也是对象,那BasicObject的继承自谁?
在这里我打开irb,ruby的版本为2.1.2,进行操作。
class Dog ; end
tidy = Dog.new
tidy.class #=> Dog
Dog.class #=> Class
Class.superclass #=> Module
Module.superclass #=> Object
Object.superclass #=> BasicObject
BasicObject.superclass #=> nil
很明显,BasicObject没有超类,这条贪食蛇吃到这里就终止了。
而Dog继承关系上的类概念:Dog,Class,Module,Object,BasicObject的类都是Class。
也就是说我可以创建这些类概念的实例对象,Dog就是一只狗,Class就是一个类,Module就是一个模块,
Object就是一个对象,BasicObject就是一个基础对象。而Dog,Module和Class自己本身都是Class类的一个
实例对象,可以去创建我们想要用的概念对象。
而Object和BasicObject包括一些对象的基本方法,例如Object的nil?方法,
因为所有对象都会继承自Object,所以所有对象都会有nil
方法;又例如BasicObject的instance_eval
方法,因为所有对象
也会继承自BasicObject,所有所有对象也会有instance_eval
方法。
这些方法都可以在ruby的手册上看到。
这里我画了一个继承的图出来。
那BasicObject和Object有没有nil?
和instance_eval
方法呢?
当然会有,因为他是Class的实例对象,对象都继承Object和BasicObject,
他们都可以享有自己的方法。
而我们在讨论对象和类模型的时候一般都会忽略掉BasicObject,因为他置于最顶层,我们不会轻易改变他们,
而只讨论Object以下的对象和类。
eigenclass
eigenclass也叫元类或者单件类。eigen的意思为本质的,换我们中国人古代的概念应该叫元神。
每个对象都有自己的eigenclass,但是却很难找到他。下面代码找出了一只泰迪狗和Dog类的元类。
def Dog ; end
tidy = Dog.new
tidy_eigenclass = class << tidy
self
end
tidy_eigenclass => #<Class:#<Dog:0x000000023bc5e8>>
tidy_eigenclass.class #=> Class
tidy_eigenclass.superclass #=> Dog
Dog_eigenclass = class << Dog
self
end
Dog_eigenclass=> #<Class:Dog>
a = Dog_eigenclass.class=> Class
Dog_eigenclass.superclass=> #<Class:Object>
Dog_eigenclass == a #=> true
上面的代码的意思是:在泰迪狗和Dog类的之前还有一个eigenclass,Dog类与Class类之前还有一个eigenclass。
经@lolychee同学提醒,其实可以通过class << XXX
和XXX.singleton_class
两种方法来找到对象的元类:
Dog_eigenclass = class << Dog
self
end
Dog_eigenclass=> #<Class:Dog>
Dog.singleton_class=> #<Class:Dog>
那元类有什么作用呢?
其实有了元类,当我们想要扩展对象和类自身的方法而非继承方法的时候,就变得非常容易,而且可以使用很多种方法来实现。
class Dog
def self.bar
"wowowo"
end
end
class Dog
class << self
def bar
"wowowo"
end
end
end
def Dog.bar
"wowowo"
end
class << Dog
def bar
"wowowo"
end
end
上面的定义代码使得Dog类都可以用Dog.bar
来输出"wowowo"。
对类来说,可以使用class_eval
来打开自己来操作类自己。
对对象和类来说,可以使用instance_eval
来打开自己的eigenclass来操作自己。
其实自己再画一个继承图就很好理解了。
其实还有一个nil我还没有画,而nil的class是NilClass。当定义一个Dog,和实例一个对象tidy就成这样的图了。
这个只是局部的显示出eigenclass视图。有人做出了一个不包含eigenclass的ruby常用类的关系图,真心跪了。
总结
想要精通ruby,完全熟悉ruby的对象和类模型是不可缺失的一步。