代码块基础知识
代码块可以用大括号定义,也可以调用do...end定义,通常,只有一行块的用大括号。只有在调用一个方法时,才可以定义一个块。块会被直接传递刚给这个方法,该方法使用yield调用这个块。块可以有自己的参数,比如上面的x,y。在一个方法里,询问当前方法调用是否包含块时,可以使用Kernel#block_given?方法做到。
代码块时闭包
代码块不可能孤立地运行。运行代码需要一个执行环境:局部变量、实例变量、self等,由于这些东西都是绑定在对象的名字上,所以把他们简称为绑定。代码块之所以可以运行,是因为它既包含代码,也包含一组绑定。
创建代码块时,会获取局部变量,然后把代码块连同它的绑定传给一个方法。在上面代码中,代码块的绑定中包含一个名为x的变量,虽然在方法中也定义了一个变量x,但代码块看到的还是在代码块定义时绑定的x,方法中的x对于代码块来说是不可见的。
还可以在定义代码块内定义额外的绑定,但这些绑定在代码块结束时就消失了。基于这样的特性,人们喜欢把代码块称为闭包。换句话说,代码块可以获取局部绑定,并一直带着它们。
作用域
打开或者关闭一个作用域的地方:类定义(class)、模块定义(module)、方法(def)。其中每个关键字都对一个作用域门。
扁平化作用域
对ruby越熟悉,就越想知道怎么样让绑定穿越作用域门。
使得变量穿过作用域门(方法调用)
使用方法的调用来替代作用域门,就可以让一个作用域看到另外作用域的变量。这种技巧称为扁平作用域。
_共享作用域
这个例子定义了两个内核方法。它还使用了动态派发来访问Kernel的私有方法define_method。Kernel#counter和Kernel#inc方法都可以看到shared变量,但是其他的方法却看不到它,因为这个变量被作用域门保护着——这就是使用defind_methods方法的原因。这种用来共享变量的技巧称为共享作用域。
闭包小结
每个ruby作用域都包含一组绑定。不同的作用域之间被作用域门(class,module,def)分隔开来。
要想让某个绑定穿越作用域,可以使用代码块。一个代码块是一个闭包,当定义一个代码块时,他会捕获当前环境中的绑定,并带着它们四处流动。因此,你可以使用方法调用来代替作用域门,用一个闭包获取当前的绑定,并把这个闭包传递给该方法。
可以使用Class.new方法代替class关键字,用Module.new方法代替module关键字,用Module#defind_method方法来代替def关键字。这就是扁平作用域,他是闭包上常用的法术。
如果一个扁平作用域中定义了多个方法,把这些方法用一个作用域门保护起来,它们就可以共享绑定,这种技巧称为共享作用域。