为什么红宝石需要这么多不同类型的封闭?

据我所知,Ruby中基本上有三种不同的闭包:方法,procs和lambdas.我知道他们之间有区别,但是我们不能只是摆脱一种适应所有可能的用例的类型?

方法可以像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)

相关文章

validates:conclusion,:presence=>true,:inclusion=>{...
一、redis集群搭建redis3.0以前,提供了Sentinel工具来监控各...
分享一下我老师大神的人工智能教程。零基础!通俗易懂!风趣...
上一篇博文 ruby传参之引用类型 里边定义了一个方法名 mo...
一编程与编程语言 什么是编程语言? 能够被计算机所识别的表...
Ruby类和对象Ruby是一种完美的面向对象编程语言。面向对象编...