诸如本地变量、实例变量、
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在顶层上下文环境中执行脚本。