Ruby block 不是闭包

在很多地方看到过 Ruby 的块是闭包的说法, 英文文章里也有提到"Ruby block lock is closure". 我想了很久, 找了很多资料, 还是认为这种说法不准确. 至少他们这里讲的闭包的定义和我理解的闭包的定义是不同的.

首先, 我认为闭包必然包括两部分:

1. 一个函数.
2. 这个函数携带的外部环境(变量等).

一个 Ruby 的 block 在这里只能满足其条件 1 . 它的行为非常类似一个函数, 可以接受参数, 可以在接受 block 的那个方法里面使用 yield 关键字调用. 但是要称其为闭包, 我认为它还缺少携带的外部环境. 一个没有外部环境的函数那就仅仅是一个函数, 而不能称其为闭包.

称呼 block 为闭包的文章多在讨论 block , Proc , lambda 等概念的异同. 我承认 Ruby 的 Proc 可以定义在一个函数内部, 并且被返回回去(同时携带外部环境), 这样可以实现闭包. 而且 block 和 Proc 又很像, 甚至可以通过 & 符号互相转换, 但是毕竟 block 不能定义在函数内部, 也不能携带外部环境. 所以不能形成闭包.

我觉得块只能被当做一个函数, 而且可以是一个 "first-class" 函数, 与函数指针等的概念是不同的. 但是它的行为被称作回调函数更为准确, 毕竟是把一个函数传递给另外一个方法, 等待在方法中被调用.