Smalltalk有封闭吗？

Question

如果它有闭包,我可以假设我可以在那里使用许多强大的功能样式技术吗？

Answer 1

是的,Smalltalk有封闭.以下代码创建一个闭包,返回其两个参数的总和:

sum := [ :a :b | a + b ].

闭包是可以实例化,传递和操纵的对象.为了评估您发送关闭value,value:,value:value:,...

sum value: 1 value: 2.

闭包突出地用于集合以迭代,过滤,映射......集合的所有值:

aCollection select: [ :each | each isOdd ].
aCollection inject: 0 into: [ :each :result | each + result ].

此外,它们用于控制结构,如循环:

[ iterator hasNext ]
    whileTrue: [ iterator next ].
1 to: 10 do: [ :each | ... ].

还使用闭包实现了条件:

condition
   ifTrue: [ do this ]
   ifFalse: [ do that ]

Answer 2

Pharo有他们:

所有VM都具有最新映像所需的关闭支持

makeAdder := [ :x | [ :y | x + y ]].
add2 := makeAdder value: 2.
add2 value: 3.

退货5.

但请注意

makeCounter := [ :init | [ init := init + 1. init ]].

不会Cannot store into ->init …像(例如)在CL中那样工作():

CL-USER> ((lambda (init) (lambda () (incf init))) 0)
#<COMPILED-LEXICAL-CLOSURE #xC7A495E>
CL-USER> (funcall *)
1
CL-USER> (funcall **)
2
CL-USER> (funcall ***)
3

如果我没有弄错,这在引入新的闭包编译器之前就已经工作了.我不确定为什么它不适用于新的编译器.