Block, Proc, lambda, closure

Block，Proc，lambda的理解
Alex學Ruby[詳解 block和Proc對象]
Alex學Ruby[詳解 block和Proc對象 2]
block 就是匿名的一個程式區塊<br />arr = [1,2,3,4,5]<br />arr.each{|item| puts item}<br />

Proc 也是匿名的程式區塊, 可是Proc 可以把這個block 存在某個變數裡, 真的當變數或參數用<br />a_proc = Proc.new {|a, *b| b.collect {|i| i*a }}<br />a_proc.call(9, 1, 2, 3) #=> [9, 18, 27]<br /><br />#Proc.new新建一個Proc對象時，可以不帶一個block，只是在定義Proc的方法上帶一個block，這個block會變成屬於Proc的。<br />def proc_from<br /> Proc.new<br />end<br /><br />proc = proc_from { "hello" }<br />proc.call #=> "hello"<br /><br /><br />#Proc對象是與局部變量綁定的一個代碼塊。綁定之後，代碼可以在不同的上下文中調用，並可以訪問局部變量。<br />def gen_times(factor)<br /> return Proc.new {|n| n*factor }<br />end<br /><br />times3 = gen_times(3)<br />times5 = gen_times(5)<br /><br />times3.call(12) #=> 36<br />times5.call(5) #=> 25<br />times3.call(times5.call(4)) #=> 60<br />

lambda 也是用匿名函數的一種方法跟Proc很像, 只有一點點不同<br />a_lambda = lambda {|a| puts a}<br />a_lambda.call("samsam")<br /><br />#lambda return 回來的是一個Proc object<br />a_lambda.class #=>Proc<br />

lambda和Proc是一樣的，除了Proc的return會跳出調用的方法，lambda則不會，它只是返回自己。<br />def foo <br /> f = Proc.new { return "return from foo from inside proc" } <br /> f.call # control leaves foo here <br /> return "return from foo" <br /> end <br /> <br /> def bar <br /> f = lambda { return "return from lambda" } <br /> puts f.call # control does not leave bar here prints "return from lambda" <br /> return "return from bar" <br /> end <br /> <br /> puts foo # prints "return from foo from inside proc" <br /> puts bar # prints "return from bar" <br />

---

Proc 跟 lambda 的其他差別

lambda生成的proc對象必須被call才可被調用。 而lambda方法會檢查傳入的參數個數,和參數類型。<br />sub_lambda = lambda {|x,y| x - y}<br />=> #<Proc:0x0007ff44@(irb):4><br />sub_lambda(2)<br />=>NoMethodError: undefined method `sub_lambda' for main:Object<br />sub_lambda.call(2)<br />=>ArgumentError: wrong number of arguments (1 for 2)<br />sub_lambda.call(2,3,4)<br />=>ArgumentError: wrong number of arguments (3 for 2)<br />sub_lambda.call(2,"3")<br />=>TypeError: String can't be coerced into Fixnum<br />sub_lambda.call(2,3)<br />=> -1<br />

Proc.new生成的對象不會去檢查參數個數， 只是多退少補（nil）， 但是會檢查參數數據類型。
<br />sub_procnew = Proc.new {|x,y| x-y}<br />=> #<Proc:0x00052238@(irb):12><br />sub_procnew.call(4)<br />=>TypeError: nil can't be coerced into Fixnum<br />sub_procnew.call(4,3,5)<br /> => 1<br />sub_procnew.call(4,"3",5)<br />=>TypeError: String can't be coerced into Fixnum<br />sub_procnew.call(4,3,"5") <br />=> 1<br />

block 當參數傳時可以怎樣叫
<br />def multiple_yield(n)<br /> if block_given?<br /> n.times { yield }<br /> else<br /> raise ArgumentError.new(「Block is required to call yield multip times」)<br /> end<br />end<br /><br />multiple_yield(2) { puts 「I m a block」}<br />
<br />def foo(&block)<br /> block.call<br />end<br /><br />foo {puts 「Hi」}<br />
lambda當變數傳<br />def foo(proc_one,proc_two)<br /> proc_two.call<br /> proc_one.call<br />end<br /><br />foo(lambda {p "Proc 1"}, lambda {p "Proc 2"}) => "Proc 2" "Proc 1"<br /><br />def foo(&my_block)<br /> my_block.call<br />end<br /><br />foo { puts "Hi" }<br />=> Hi<br /><br />foo (lambda{ puts "Hi" })<br />=> ArgumentError: wrong number of arguments (1 for 0)<br /><br />def foo(a,&my_block)<br /> a.call<br />end<br /><br />foo (lambda{ puts "Hi" })<br /> => Hi<br /><br />class GreetingGenerator<br /> def initialize(greeting)<br /> @my_block = lambda {|name| puts "#{greeting}, #{name}"}<br /> end<br /> def greet(name)<br /> @my_block.call name<br /> end<br />end<br />frenchGreeting = GreetingGenerator.new 'Bonjour'<br />englishGreeting = GreetingGenerator.new 'Hello'<br /><br />frenchGreeting.greet 'TinTin'<br /> => Bonjour, TinTin<br /><br />englishGreeting.greet 'Bunny'<br /> => Hello, Bunny<br /><br />#三種寫法目的相同<br />def repeat(n)<br /> n.times {yield} if block_given?<br />end <br />repeat(2) {puts "Hi"}<br /><br />def repeat2(n, &block)<br /> n.times {block.call} if block<br />end<br />repeat2(2) {puts "Hi2"}<br /><br />def repeat3(n,&block)<br /> n.times {yield} if block<br />end<br />repeat3(2){ puts "Hi3" }<br /><br />print "(t)imes or (p)lus"<br /><br /> times = gets<br /><br /> print "number:"<br /> number = Integer(gets)<br /> if times =~ /^t/<br /> calc = lambda {|n| n*number }<br /> else<br /> calc = lambda {|n| n + number}<br /> end<br /><br /> #原來還可以這樣用<br /> p((1..10).collect(&calc).join(", "))<br />
closure
closure引用的變量是call這個proc對象時產生的變量，在外部修改其值是沒用的
<br />1.times do<br /> x = 5<br /> closure = Proc.new {puts "In clsure value of x is #{x}<br />end<br /><br />closure.call<br />=> In clsure value of x is 5<br /><br />x = 1<br /><br />puts x<br />=> 1<br /><br />closure.call<br /> => In clsure value of x is 5<br />

---

下面這個會用, 可是沒完全懂 XD

<br />words = %w(Daffy, Bugs, Alvin)<br />upcase_words = words.map( &:upcase )<br /><br />p upcase_words<br />
例子的map(&:upcase)相當於map{ |x| x.upcase }
這個是如何實現的？ 其實Symbol類內部實現了一個to_proc方法：<br />class Symbol<br /> def to_proc<br /> lambda { |x,*args| x.send(self, *args) }<br /> end<br />end<br />
map 方法只接受代碼塊，通過使用&可傳遞proc，來代替顯示的使用代碼塊。而這個時候&被應用於不是proc的對象，而傳進來的本身是個符號對象（:&upcase）,所以解釋器自然而然的就會調用符號類的to_proc方法來得到一個proc。to_proc方法裡的self引用的是對其調用了to_proc的符號