Ruby元编程 1.4 绑定

DeathKing posted @ 2011年8月30日 14:47 in  Ruby with tags  metaprogramming  ruby 元编程  binding  绑定 , 4434 阅读

 

　　诸如本地变量、实例变量、 self一类的实体……或者说所有于对象绑定的名称。我们把他们称为绑定（ bindings）。

 

　　以下内容摘自我老板 紫苏的博客， 该文对我们的讨论很有意义。

 

　　在计算机科学中，“ 绑定”（ Binding）一词是指一个更复杂、更大型的物件的引用的创建。例如当我们编写了一个函数，这个函数名就绑定了该函数本体，我们可以通过函数名来引用并调用该函数，这被称为名称绑定；又如当 Ruby通过 API去调用了 C语言写的库函数时，这就是一个语言绑定；再如面向对象语言中的方法调度 obj.method，这也是一个名称绑定，它会根据接收者 obj具体的对象类型来确定应该引用哪个对象类型的 method方法，而如果 obj在编译时就能确定，那便可称之为静态绑定（早绑定），早期的静态类型语言（如 C）使用的是早绑定；如果 obj在运行时才能确定，那便可称为动态绑定（迟绑定），动态类型语言（如 Ruby）使用的是迟绑定，而有些语言则同时支持早绑定和迟绑定，如 C++的虚函数使用迟绑定，普通函数则使用早绑定。

 

　　在 Ruby中， Kernel有一个方法 binding，它返回一个 Binding类型的对象。这个 Binding对象就是我们这里说的绑定，它封装了当前执行上下文中的所有绑定（变量、方法、语句块、 self的名称绑定），而这些绑定直接决定了面向对象语言中的执行环境。比如，当我们调用 p时，实际上是进行了 self和 p的绑定，而 p具体是哪个方法，是由 self的类型来决定的，如果我们在顶层，而 Kernel#p又没有被重写，那 p就是一个用来显示对象细节的方法。可以说有了一个绑定的列表，我们就有了一个完整的面向对象上下文的拷贝，就好比上帝在  12 分  37 秒复制了一份世界，而这个世界与原本世界的环境一模一样，既有这朵花，又有那株草。 Ruby 的  Binding 对象的概念和  Continuation 有共通之处，但 Continuation主要用于实际堆、栈内存的环境跳转，而 Binding则比较高层。

 

　　这个 Binding对象有什么用？主要是用于 eval这个函数。 eval的第一个参数是需要 eval的一段脚本字符串，而第二个可选参数则接受一个 Binding对象。当指定了 Binding时， eval会在传递给它的 Binding所封装的执行环境里执行脚本，否则是在调用者的执行环境里执行。我们可以通过这个机制来进行一些不同上下文之间的通信，或者是在一个上下文即将被销毁之前保存该上下文环境以留他用，如：

?

1 2 3 4 5 6

def foo    bar = 'baz'    return binding end   eval( 'p bar' , foo)

　　这里我们通过 foo返回的 Binding获取到了局部上下文销毁前的局部变量 bar的值，而在不使用 binding的情况下，局部变量 bar在 foo外层是不可见的。

 

　　最后， Ruby有一个预定义的常量： TOPLEVEL_BINDING，它指向一个封装了顶层绑定的对象，通过它我们可以在其它上下文中通过 eval在顶层上下文环境中执行脚本。