Ruby 对象模型的复习

最近复习了下 ruby 对象模型的知识，参照了 Ruby Metaprogramming，于是边看边做笔记，还是收获很多。

Open Class

class String
  def my_method
    "#{self} length is #{self.length}"
  end
end

class 更像是一个作用于操作符，而不是声明语句。

创建类是一个令人愉快的副作用。

class 关键字的核心任务式把你带到类的上下文中，让你可以在里面定义方法。使用它可以打开类，进行动态修改。

Inside the Object Model

对象包含实例变量，可以使用 Object#instance_variables 查看

类的名字是一个常量

对象的类和实例变量并没有关系，给它赋值的时候，它们就出现了。每个对象的实例变量不同。

解释器中，一个对象仅仅包含它自己的实例变量，以及一个对自身 Class 的引用。

为了共享，方法必须存放在类中，而非对象中。

String.instance_methods == 'aaa'.methods # true
String.methods == String.instance_methods # false

类本身就是对象，是 Class 类的实例。

Class.instance_methods(false) # [:allocate, :new, :superclass]

如果你希望代码被 include 进去，就用模块，如果你希望某段代码被实例化或者继承，就应该使用类。

[].class.class # Class
[].superclass # Object

Constant and path

帮助我们找到常量、类等。:: 表示 root-level。

module M1
  class C1
    X = 'constant'
  end
  C1::X
end

M1::C1::X

:: # root-level

Y = 'root-level constant'

module M
  Y = 'constant in M'
  Y
  ::Y
end

Module.nesting 表示当前路径。

Objects and Classes 小结

什么是对象，对象就是一组实例变量和一组指向其类的引用。

对象的方法并不存在与对象本身，而是存在与对象的类中。在类中，称为实例方法。

类是一个对象 （ Class 类的一个实例）外加一组实例方法和一个对超类（Superclass）的引用。Class 类是 Module 类的子类，所以类也是一个模块，但是你不能 include，也不能 prepend 类。

以下一个很著名的 pattern，用来实现类，可以思考这样做的目的是什么。

module Hello
  module ClassMethods
    def class_m
      'ClassMethods'
    end
  end
  
  module InstanceMethods
    def instance_m
      'InstanceMethods'
    end
  end
  
  def self.included(receiver)
    receiver.extend         ClassMethods
    receiver.send :include, InstanceMethods
  end
end

class C
  include Hello
end

Method lookup

ruby 进行方法查找遵循向右，向上的原则。

receiver 是调用方法的对象，明确方法的 receiver 是非常重要的。

ancestors 是祖先链，表示继承关系。ruby 先在接受者中查找方法，再沿着祖先链向上查找，直到找到为止。

module M1, Class C,

C include M1

Class D < Class C

D.ancestors # [C, M1, Object, Kernel, BaseObject]

M1 M2 谁 include 在前，就在 ancestors 的前面。

C include M1
C include M2
C.ancestors # [C, M2, M1, Object, Kernel, BaseObject]

而 prepend 将会导致如下：

C prepend M1
C.ancestors # [M1, C, Object, Kernel, BaseObject]

如果一个类或者模块已经出现在祖先链中，将会忽略 prepend 与 include。

Kernel Module 提供内核方法，被 Object include。你当然可以用它做点“坏事”。

Self

Ruby 中每一行代码都会在一个对象中被执行，当前对象用 self 表示，也可以用 self 对其进行访问。

private 关键字只能被隐形的 self 调用。

私有规则：如果接受者不是自己，就必须指明接受者；私有方法只能被隐性的接受者调用；

私有方法可以被继承。

# main - top level context

irb -> self # => main
self.class # => Object

一个私有规则的例子：

class Klass
  def method_a
    method_b
  end

  private

  def method_b
    'hi'
  end
end

Klass.new.method_a

class Klass
  def method_a
    self.method_b
  end
end

Klass.new.method_a

# NoMethodError: private method `method_b' called for #<Klass:0x007fd0d50ad428>

因为不满足私有规则，所以丢出 NoMethodError 的错误。

在上面这个例子中，如果不使用 self.class 的话，会发生什么后果？

class Point
  attr_reader :x, :y

  def initialize(x, y)
    @x, @y = x, y
  end

  def +(other)
    self.class.new(@x + other.x, @y + other.y)
  end

  def -(other)
    self.class.new(@x - other.x, @y - other.y)
  end

  def to_s
    "{#{@x}, #{@y}}"
  end
end

Refine

Refine 是用来代替猴子补丁的一种做法，也不能完全替代猴子补丁。

module StringExtensions
  refine String do
    def my_length
      "#{self} length is #{self.length}"
    end
  end
end

module StringStuff
  using StringExtensions  
  'foo'.my_length
end

在两种情况下会起到作用：

  1. 在 refine block 内部
  2. 从 using 开始到模块结束，或者文件结束

这里有个很有意思的例子说明 refine，可以猜猜输出是什么。

class MyClass
  def my_method
    'original'
  end

  def another_method
    my_method
  end
end

module MyClassRefine
  refine MyClass do
    def my_method
      'refined my_method'
    end
  end
end

module Run
  using MyClassRefine
  p MyClass.new.my_method # ???
  p MyClass.new.another_method # ???
end

Dynamic Methods & Dispatch

Object#send Object#public_send 帮助我们实现了 dynamic dispatch，是一种很好用的反射方式。

Module#define_method 帮助我们动态的创建方法。书上最后的例子是非常值得学习的，请牢记我的 comments。

class Computer
  def initialize(computer_id, data_source)
    @id = computer_id
    @data_source = data_source
    data_source.methods.grep(/^get_(.*)_info/) do # 使用内省的方式自动创建，进行部分解耦
      self.class.define_component $1 # 使用 self.class 避免子类丢失方法
    end
  end

  def self.define_component(name)
    define_method(name) do
      # dynamics dispatcher # 动态的调用
      info = @data_source.send "get_#{name}_info", @id
      price = @data_source.send "get_#{name}_price", @id
      result = "#{name.capitalize}: #{info} (#{price})"
      price >= 100 ? "* #{result}" : result
    end
  end
end

Ghost Methods

BacisObject#method_missing 是当没有按照向右，向上查找后调用，参数为 (method, *args, &block)，Ruby 很灵活，这个表示如果没有找到你的方法，那就调用这个，所以可以 override 这个家伙帮我们制作那些并不存在于 Object#methods 的方法。

BacisObject#method_missing 也可以用其来实现动态的方法调用，注意不是定义。

所以 ghost method 并不是真正的方法，我们知道当你通过 Object#response_to? 查询一个方法时，将会返回 true，而对于 ghost method，将会返回 false。而 response_to 将调用 response_to_missing，所以千万不要忘记要重现 response_to_missing。

我非常喜欢下面的例子，可以想想如果没有 number = 0 将会发生什么。Ghost Methods 十分强大，所以一定要小心，don't break anything。

 def method_missing(name, * args)
    person = name.to_s.capitalize
    super unless is_our_member? person
    number = 0
    3.times do
      number = rand(10) + 1
      puts "#{number} ..."
    end
    "#{person} got a #{number}"
  end

Ghost Methods 产生风险的原因是他们并非真正的方法，只是对方法的拦截。你有很多规避放的地方，比如必须要调用 super；还需要更新 responsd_to_missing?。使用时，牢记那个有意思的 bug。

Dynamic Methods 就是真正的方法，只是定义的方式不一样罢了。

某时，你只能使用 Ghost Methods，例如 JSON 库，你无法确定有多少种标签你需要支持。对于 DAO 的话，根据 table schema 可以简单的使用 define_method 生成你想要的方法。

在可以使用动态方法的时候，使用；除非必须使用 Ghost Methods，否则尽量不使用。

Blocks Are Closures

代码块即包含了代码，也包含了一组绑定。代码库在定义时，获得定义中的绑定，运行时，带着绑定进入该方法。

def my_method
  x = 'good bye'
  yield('cruel')
end

x = 'hello'
my_method {|y| "#{x},#{y} world" }

代码块获取局部绑定，一直携带着这些绑定。在 JavaScript 中，我们往往这样描述闭包：闭包是一个拥有许多变量和绑定了这些变量的环境的表达式（通常是一个函数），因而这些变量也是该表达式的一部分。牢记执行的代码以及携带的绑定可以帮你解决很多问题。

提到闭包，就不能不提到作用域 Scope。只要程序切换了 Scope，有些绑定就会被新的绑定所取代。

程序会在三个地方关闭前一个作用域，同时打开一个新的作用域：类定义，模块定义，方法。

在 class/module 与 def 之间还有一个小区别，在类定义与模块定义中的代码会立刻执行（这是很多 Java 程序员很难理解的地方），例如：

class B
  def self.some
    'bar'
  end

  some #=> bar
end

下面使用 Class.new 中的 block 穿越作用域，来达到扁平作用域的作用，使用闭包穿越作用域 ，在 Class.new 中，调用到另一个作用域里的变量。可以试试如果使用 class 关键字，该怎么办。

my_var = "Success"

MyClass = Class.new do
  puts "#{my_var} in class"

  define_method :my_method do
    puts "#{my_var} in my_method"
  end
end

MyClass.new.my_method

Proc & Lambda

你可以把 block 传递给 Proc.new 方法来创建一个 Proc 对象，然后使用 Proc#call 来执行，技巧叫做 Deferred Evaluation，也叫做 Lazy Loading。如果你对函数式编程比较熟悉的话，这个概念应该不陌生。

有两个内核方法可以把 block 转换为 Proc：proc & lambda。

p = lambda { |x| x + 1 }
p = -> (x) { x + 1} # 简写

& 操作符的意思是，这是一个 block 对象，我想把它当做 block 来使用，去掉 &，就会得到一个 block 对象，例如：

class C
  def foo
    'foo'
  end

  def bar(&block)
    block.call
  end
end

c = C.new
m = c.method :foo
c.bar m # error!
c.bar &m # to block
c.bar do
  'hi'
end # hi

proc 和 lambda 的区别:

区别1： return 是从定义 proc 的作用域中返回， lambda 则表示在 lambda 中返回。
区别2： lambda 的参数数量是严格的，更像是方法。

def method_a(callable)
  callable.call * 2
end

p = proc { return 10 }
method_a p # error

p = proc { 10 }
method_a p

p = lambda { return 10 }
method_a p

Method 对象

可以使用 Object#method 方式获取 method 对象。

method 对象是可以被执行的，Method#call 将会执行，参看 Duck Typing。method 对象可以通过 Method#to_proc 转为 Proc。

proc，lambda 是在定义的作用域中执行，而 method 对象是在自身所在对象的作用域中执行。

class Foo
  def bar(&callable)
    callable.call
  end

  def some_method
    x
  end

  def x
    'xxx in Foo'
  end
end

x = 'xxx'
m = proc do
  x
end

f = Foo.new

f.bar &m
f.bar &(f.method :some_method)

Class Definition Demystified

我们可以在类定义中放入任何代码，最后一条语句就是返回值。

在定义（模块）时，类本身就是当前对象的 self，类和模块也是对象，所以类是可以充当 self 的。self 是当前的对象。

  • 在程序顶层，当前类是 Object，是 main 对象所属的类
  • 在方法中，当前类就是当前对象的类。
  • 使用 class 或者 module 打开时，所打开的类是当前类。
class C
  def m1
    def m2
    end
  end
end

class D < C
end

c.instance_methods false # => :m1 在此时，并没有执行 m1, 则只有 m1
D.new.m1 # => 执行了 m1, 但是 m2 定义在了 C 上
c.instance_methods false # => :m1, :m2

另一个例子：

def add_method(klass)
  puts self #  => main
  klass.class_eval do
    puts self # => String or other class
    def m
      puts self # => instance
      'hello'
    end
  end
end

add_method String
  • 所有使用 def 定义的方法都是当前类的实例方法
  • 在类的定义中，当前类就是 self —— 正在定义的类
  • 如果有引用，则可以使用 class_eval 打开这个类，self 则会被修改

Ruby 解释器假定所有的实例变量都属于当前对象 self，所以在类定义中，我们是可以使用 @ 的。@x 为类实例变量 Class Instance Variables。只能被自身访问，不能被类的实例或者子类所访问。

class MyClass
  @x = 1
  def self.read
    @x
  end
end

MyClass.read

Singleton Methods & Objects

我们之前提到，可以单独的为一个对象增加独有的方法，例如：

str = 'sss'

def str.foo
   "bar #{self}"
end

现在问题来了，这个方法在哪里？按照之前提到的方法查找，我们应该去查找的是 String#foo ，但是其中并没有定义这个方法。答案是，这个方法会被放在了 单例类 中。

那么以前我们提到的类方法是什么呢？也许你已经明白了，类是一个对象，是 Class 的对象。所以类方法的本质是：它就是一个类（class 对象）的单件方法。


class C
  def a_method
    'C#a_method'
  end
end

class D < C

end

obj = D.new

p obj.a_method # => C#a_method

class << obj
  def a_singleton_method
    'obj#a_singleton_method'
  end
end

p obj.a_singleton_method # => "obj#a_signleton_method"
p obj.singleton_class # => #<Class:#<D:0x007fe5c605ec50>>
p obj.singleton_class.superclass #=> D

class C
  class << self
    def a_class_method
      'C.a_class_method'
    end
  end
end

p C.a_class_method # => 'C.a_class_method' 
p D.a_class_method # => 'C.a_class_method'

p C.singleton_class # => #C
p D.singleton_class # => #D

p D.singleton_class.superclass # => #C
p C.singleton_class.superclass # => #Object

所以我们修改了方法查找：

Object.singleton_class => #Object
Object.singleton_class.superclass => #BaseObject
Object.singleton_class.superclass.superclass.class => Class

归根结底，我们补充了 Ruby 的对象模型，并且给出了最重要的 7 条规则：

  1. 只有一种对象——要么是普通对象，要么是模块或者类
  2. 只有一种模块——普通模块、一个类或者单件类
  3. 只有一种方法，存在于模块中——通常在类中
  4. 每个对象都有自己的“真正的类”——要么是一个普通类，要么是一个单件类
  5. 除了 BaseObject 没有超类，每个类都有且只有一个祖先
  6. 一个对象的单件类的超类是这个对象的类，一个类的单件类的超类是这个类的超类的单件类
  7. 调用一个方法，Ruby 先向右去找接收者真正的类，再向上查找
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 203,937评论 6赞 478
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 85,503评论 2赞 381
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 150,712评论 0赞 337
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 54,668评论 1赞 276
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 63,677评论 5赞 366
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 48,601评论 1赞 281
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 37,975评论 3赞 396
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 36,637评论 0赞 258
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 40,881评论 1赞 298
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,621评论 2赞 321
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,710评论 1赞 329
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 33,387评论 4赞 319
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 38,971评论 3赞 307
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,947评论 0赞 19
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,189评论 1赞 260
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 44,805评论 2赞 349
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 42,449评论 2赞 342

推荐阅读更多精彩内容

  • Spring Cloud
    Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具（例如配置管理，服务发现，断路器，智...
    卡卡罗2017阅读 134,590评论 18赞 139
  • 无标题文章
    转至元数据结尾创建： 董潇伟，最新修改于： 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,678评论 0赞 9
  • Objective-C 的 Runtime
    我们常常会听说 Objective-C 是一门动态语言，那么这个「动态」表现在哪呢？我想最主要的表现就是 Obje...
    Ethan_Struggle阅读 2,170评论 0赞 7
  • Runtime运行时类与对象（一）
    Objective-C语言是一门动态语言，他将很多静态语言在编译和链接时期做的事情放到了运行时来处理。这种动态语言...
    tigger丨阅读 1,379评论 0赞 8
  • 闲·时光
    摇滚的 时间 ☞ 流落在 桌边 静 动 态势 欢 歌 升 平 灯 红 酒 绿 舞 姿 妖 娆 蜷 缩 街 角 看 ...
    东方清羽阅读 121评论 0赞 2