Ruby迭代map的简洁写法实现原理分析

 


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程序员 & 线下交流群


你可能感兴趣的:(block,proc)