方法可以像procs和lambdas一样通过调用self.method(method_name)来传递,而且我在procs和lambdas之间知道的唯一显着的区别是,当你尝试使用return时,lambdas检查arity和procs会做疯狂的事情.那么我们不能把它们全部合并成一个并且完成它呢?
解决方法
As far as I can tell,there are essentially three different kinds of closure in Ruby; methods,procs and lambdas.
不,有两个:方法不是关闭,只有procs和lambdas是. (或者至少可以,大多数都不是.)
有两种方法可以打包一块可执行代码,以便在Ruby中重用:方法和块.严格来说,块是没有必要的,你可以通过只是方法.但块意味着非常轻量级,概念上,语义和语法上的.方法不是这样.
因为它们意味着重量轻且易于使用,所以块在某些方面与方法不同,例如.参数如何与参数绑定.块参数的绑定更像分配的左侧,而不是像方法参数一样.
例子:
将单个数组传递给多个参数:
def foo(a,b) end foo([1,2,3]) # ArgumentError: wrong number of arguments (1 for 2) a,b = [1,3] # a == 1; b == 2 [[1,3]].each {|a,b| puts "a == #{a}; b == #{b}" } # a == 1; b ==2
传递比参数少的参数:
def foo(a,b,c) end foo(1,2) # ArgumentError a,c = 1,2 # a == 1; b == 2; c == nil [[1,2]].each {|a,c| puts "a == #{a}; b == #{b}; c == #{c}" } # a == 1; b == 2; c ==
传递比参数更多的参数:
def foo(a,b) end foo(1,3) # ArgumentError: wrong number of arguments (3 for 2) a,b = 1,3 # a == 1; b == 2 [[1,b| puts "a == #{a}; b == #{b}" } # a == 1; b == 2
[顺便说一下:上面没有一个是封闭的.]
这允许例如Enumerable协议,它始终为块使用单个元素来处理Hash:您只需将单个元素设置为[key,value]的数组,并依赖于块的隐式数组解构:
{one: 1,two: 2}.each {|k,v| puts "#{key} is assigned to #{value}" }
比你将要写的更容易理解:
{one: 1,two: 2}.each {|el| puts "#{el.first} is assigned to #{el.last}" }
块和方法之间的另一个区别是方法使用return关键字返回一个值,而块使用next关键字.
如果您同意使用该语言的方法和块是有意义的,那么也只接受procs和lambdas的存在只是一小步,因为它们分别表现为块和方法:
> procs从封闭方法返回(就像块),它们与块完全一样绑定参数
> lambdas从自己返回(就像方法),它们绑定参数就像方法一样.
IOW:proc / lambda二分法只是镜像块/方法二分法.
请注意,实际上还有更多的案例要考虑.例如,自我意味着什么?这是否意味着
>无论自己在块被写的地方是什么
>在运行块时,无论自身是什么
>块本身
回来呢?这是否意味着
这已经给了你九种可能性,即使没有考虑到Ruby特定的参数绑定的特性.
现在,为了封装的原因,上面的#2是真的很不好的想法,所以有些减少了我们的选择.
和往常一样,这是语言设计师的品味问题. Ruby还有其他这样的冗余:为什么需要实例变量和局部变量?如果词法作用域是对象,那么局部变量只是词法范围的实例变量,而不需要局部变量.为什么需要实例变量和方法?其中一个是足够的:一个getter / setter对的方法可以替换一个实例变量(参见Newspeak一个这样的语言的例子),分配给实例变量的一级过程可以替换方法(参见Self,Python,JavaScript).为什么你需要同时使用类和模块?如果允许类混合在一起,那么可以将模块和类作为类和混合使用.为什么你需要混合?如果一切都是一种方法调用,类会自动成为混合(再次参见Newspeak的例子).当然,如果你允许直接在对象之间继承,你根本不需要类(参见Self,Io,Ioke,Seph,JavaScript)