Block 不是对象,是Ruby的语言特性,近似于闭包(Closure)
Proc 是Ruby 对block的面向对象的封装。代码块会经&符号的转换变为一个Proc对象传递到函数中
Lambda 是Ruby 对 Proc进一步的封装。
简便方法的用法
现有一个字符串列表,需要对其中的每个字符串执行转换大写操作,我们可以用一个简便写法来完成。
代码如下:
name_list = ["chareice", "angel"]
name_list.map(&:upcase)
# => ["CHAREICE", "ANGEL"]
这个写法等同于
代码如下:
name_list.map do {|name| name.upcase}
简便写法带来的是很明显的效率提升,可是这看似魔术一般的参数,背后的原理是怎样的呢?
&符号
如果把上面方法调用的&符号去掉,可以很明显得看到,是把:upcase这个符号传到方法中,作为方法的参数。
实际上,&符号代表的是块转变为Proc(block-to-proc conversion)。我们看下面的一个例子。
代码如下:
def capture_block(&block)
block.call
end
capture_block { puts "我有一只小毛驴,我从来也不骑。" }
# => 我有一只小毛驴,我从来也不骑。
我们运行capture_block函数,给它传递一个代码块,代码块会经&符号的转换变为一个Proc对象传递到函数中,在上面的例子中就是block变量。如果我们输出一下block的class,输出的结果会是Proc。
你也可以将一个Proc对象传递给capture_block来代替代码块.
代码如下:
p = Proc.new { puts "又给一只小毛驴" }
capture_block(&p)
# => 又给一只小毛驴
这里看来&符号是多余的,完全可以去掉&,运行的结果也是一样。
&符号做了什么?
以capture_block(&p)调用为例。
1.触发p的to_proc方法。
2.告诉Ruby解释器,将to_proc方法返回的结果当做本次函数调用的block。
如果同时使用了&符号和传入了block给一个函数,Ruby会报错。
代码如下:
capture_block(&p) { puts "传给一个block" }
#=>SyntaxError: (irb):30: both block arg and actual block given
所以将一个Proc对象传给&符号,它会调用Proc对象的to_proc方法,返回它自己,然后把它当做方法调用的block传递给方法。
&:upcase是什么?
知道了&符号的作用后,我们可以看到,&:upcase是先调用了:upcase对象的to_proc方法。
:upcase的to_proc方法实现如下:
代码如下:
class Symbol
def to_proc
Proc.new {|obj| obj.send(self) }
end
end
class Fixnum
def my_to_f
self.to_f
end
def my_to_s
self.to_s
end
end
arr = [1,2,3]
puts arr.map(&:my_to_f).inspect
[1.0,2.0,3.0]
puts arr.map(&:my_to_s).inspect
["1","2","3"]
proc = Proc.new{|x| x*2}
puts arr.map(&lam)
这下结果就很清楚了,Symbol#to_proc会返回一个带参数的Proc对象,Proc对象所做的是为使用这个Proc对象的对象发送调用名字为该符号的方法。
Proc与lambda的区别
一、返回时机不同
def double(&block)
block.call * 2
end
例1
lambda 只从lambda中返回
lamb = lambda {return 10}
puts double(lamb)
=> 20
例2
而proc,除了从proc中返回以外,还会在proc定义的时候返回
p = Proc.new { return 10}
puts double(p)
=> LocalJumpError: unexpected return
当执行double(p)的时候,scope(作用域)会发生改变,当一个程序不能再顶层域(top-level)返回时,就会抛出异常。解决办法就是再proc中不要使用 return
例3
def double1
p = Proc.new { return 10}
puts p.class
return p.call * 2
end
puts double1
=> 20
二、参数要求不同
在proc中,如果参数多了,它会自动去掉多余的参数,如果不够则用nil代替
在lambda中,传递的参数必须与定义的参数个数相同,否则抛出异常
p1 = Proc.new{|a, b| puts a, b}
p1.call(1,2,3) #1,2
p1.call(1) #1,nil
p2 = Proc.new {|x,*y| p x, y }
p2.call(1,2,3) #1,[2.3]
lamb1 = lambda {|a,b| puts a, b}
lamb1.call(1,2,3)
欢迎关注微信订阅号:ruby程序员 & 线下交流群