脚本之家,脚本语言编程技术及教程分享平台!
分类导航

Python|VBS|Ruby|Lua|perl|VBA|Golang|PowerShell|Erlang|autoit|Dos|bat|

服务器之家 - 脚本之家 - Ruby - 深入理解Ruby中的block概念

深入理解Ruby中的block概念

2020-04-27 10:46脚本之家 Ruby

这篇文章主要介绍了深入理解Ruby中的block概念,文中给出了Javascript代码块与Ruby代码块的对比,需要的朋友可以参考下

Ruby 里的 block一般翻译成代码块,block 刚开始看上去有点奇怪,因为很多语言里面没有这样的东西。事实上它还不错。
First-class function and Higher-order function

First-class function 和 Higher-order function 是函数式编程语言里面的概念,听起来好像很高端的样子,其实很很简单的。

First-class functions 是指在某些语言里,函数是一等公民,可以把函数当做参数传递,
可以返回一个函数,可以把函数赋值个一个变量等等,反正就是正常值能做的事函数都能做。JavaScript 就是这样的。举个例子(下面的所有例子里,当我提到
JavaScript 时,示例代码都用的 CoffeeScript):

?
1
2
3
4
5
6
7
greet = (name) ->
 return -> console.log "Hello, #{name}"
 
greetToMike = greet("Mike")
greetToMike() # => 输出 "Hello, Mike"
a = greetToMike
a() # => 输出 "Hello, Mike"

在上面的第四行里,greet("Mike") 返回了一个函数,所以第五行里才可以调用 greetToMike()输出"Hello, Mike"。第六行把一个函数赋值给了a,所以第七行就可以调用这个函数了。

higher-order function 一般翻译成高阶函数,是指接受函数做参数或者返回函数的函数。
举个非常常用的例子(用 JavaScript):

?
1
2
a = [ "a", "b", "c", "d" ]
a.map((x) -> x + '!') #=> ["a!", "b!", "c!", "d!"]

上面例子里 map 就接受了一个匿名函数作为参数。Array.prototype里的很多方法,比如reduce, filter,every, some 等等都是高阶函数,因为他们都接受函数作为参数。

高阶函数非常强大,表达力很强,可以避免大量重复代码。总的来说,它就是个好东西。
Block 的本质

先来看一组 Ruby 和 CoffeeScript 代码的对比。

?
1
2
3
4
5
6
7
a = [ "a", "b", "c", "d" ]
a.map { |x| x + "!" } # => ["a!", "b!", "c!", "d!"]
a.reduce { |acc, x| acc + x} # => "abcd"
 
a = [ "a", "b", "c", "d" ]
a.map((x) -> x + '!') # => ["a!", "b!", "c!", "d!"]
a.reduce((acc, x) -> acc + x) # => "abcd"

这两组代码真的看起来超级像。我觉得这也暴露了 Ruby 的 block 的本质:高阶函数的函数参数的变体。

JavaScript 里面的map 函数接受一个函数作为参数,但是 Ruby 里的 map 却接受一个
block 作为参数。

其实 matz 早在一本书里《松本行弘的程序世界》里说了:

 

复制代码 代码如下:
    最终来看,块到底是什么?
    ...
    块也可以看作只是高阶函数的一种特殊形式的语法。
    ...
    高阶函数和块的本质一样
    ...

 

在 Ruby 里,函数不是一等公民,没有 first-class functions。但是在 Ruby
里怎样使用高阶函数呢?答案就是使用 block。可以直接用 block,也可以用 lambda
或者 proc 把 block 转换成 Proc 类的实例用。

我发现在 Ruby 里使用 block 时,几乎所有的情况下都可以用 JavaScript
的高阶函数替代。

Enumerable 模块里的所有方法都是典型的例子。事实上确实存在 JavaScript 版
的 Enumerable,比如 Prototype.js 就有个 Enumerable,用起来跟 Ruby版的几乎一样的。当然它是通过高阶函数实现的。
与高阶函数有何不同

除了语法上看上去有点不同外,有非常重要的两点。
控制流操作

在 block 里面可以用 break, next 等等这些在一般的循环里才有的控制流操作,这些
在高阶函数里是用不了的。比如你可以试试在 JavaScript 里用 forEach 而不用循环
实现个take_while 函数,真是相当别扭的。比如之前 cnode 上就有人发帖问:nodejs的forEach不支持break吗?,其实这个帖子下面回复用 return 的基本上都是错的,
some 和 every 这样利用 短路求值 的特点确实可以 hack 一下,但是明显不自然而且大大增加了别人理解代码的难度。

从这一点来看 block 确实还不错的。
只有一个函数参数的高阶函数

Ruby 里一个方法只能接受一个 block 作为参数,大概就是类似于只有一个函数参数的高阶
函数。看起来好像是受到限制了。其实那本《松本行弘的程序世界》对此也有点解释。
大概是说了一个调查,在倾向于使用高阶函数的 OCaml 的标准库中,94%
的高阶函数只有一个函数参数。所以说这点限制不是什么问题。就我自己的体验来说,在 JavaScript 里,还从没用到需要两个函数参数的高阶函数。
未说明的

嗯,这篇文章看起来有点太长了,所以我不打算写下去了。其实还有一些重要的地方没说。比如
Block 其实可以作为闭包用的。Ruby 里用def定义方法时有点悲剧的,因为它不是闭包,接触
不到它外面的变量。

?
1
2
3
4
5
name = "mike"
def greet
 puts "hello, #{name}"
end
hello # => in `greet': undefined local variable or method `name' for main:Object (NameError)

但是用 block 就可以了

?
1
2
3
4
5
name = "mike"
define_method(:greet) do
 puts "hello, #{name}"
end
greet # => "hello, mike"

用 JavaScript 就根本不存在问题。

?
1
2
3
name = "mike"
greet = -> console.log "hello, #{name}"
greet() # => "hello, mike"

同理还有class 和 module 关键字都会创建新的作用域而在里面接触不到外面的变量,
也可以用 block 解决。

还有那个 proc 和 lambda 的区别。其实我一直不理解为什么会有人不用lambda
而跑去用 proc,明显 proc 的 return 行为太不符合常识了。但是到头来却发现
block 的行为跟 proc 创建的对象的行为是一样的,比如

?
1
2
3
4
5
def hello
 (1..10).each { |e| return e}
 return "hello"
end
hello # => 1

这感觉真是有点悲催。
结语

说了这么多,就是因为在 Ruby 里面函数不是一等公民,又想获得函数式编程的便利。

延伸 · 阅读

精彩推荐
  • RubyRuby简洁学习笔记(一):字符串、数字、类和对象

    Ruby简洁学习笔记(一):字符串、数字、类和对象

    这篇文章主要介绍了Ruby简洁学习笔记(一):字符串、数字、类和对象,本文是学习笔记第一篇,需要的朋友可以参考下 ...

    脚本之家2472020-04-20
  • RubyRuby迭代器的7种技巧分享

    Ruby迭代器的7种技巧分享

    这篇文章主要介绍了Ruby迭代器的7种技巧分享,Ruby中的迭代器非常人性化,本文既是讲解了7个技巧也是讲解了7种迭代器,需要的朋友可以参考下 ...

    脚本之家4782020-04-20
  • Ruby简要说明Ruby中的迭代器

    简要说明Ruby中的迭代器

    这篇文章主要介绍了Ruby中的迭代器,迭代器的概念在动态语言的编程中十分重要,文章中介绍了Ruby中的each迭代器和collect迭代器,需要的朋友可以参考下 ...

    goldensun2772020-04-25
  • RubyCentOS中配置Ruby on Rails环境

    CentOS中配置Ruby on Rails环境

    经过一个上午的折腾,终于把ROR环境在CentOS中搞定,绕了很多弯路,把文章写下来总结一下 ...

    可乐加糖4762020-04-12
  • RubyRuby设计模式编程中使用Builder建造者模式的实例

    Ruby设计模式编程中使用Builder建造者模式的实例

    这篇文章主要介绍了Ruby设计模式编程中使用Builder建造者模式的实例,建造者模式将一个复杂对象的构造与它的表示分离,使同样的构建过程可以创建不同的表...

    范孝鹏2192020-05-07
  • Ruby剖析 Ruby 访问控制

    剖析 Ruby 访问控制

    前面,我们说 Ruby 没有函数,只有方法.而且实际上有不止一种方法.这一节我们介绍 访问控制 (accesscontrols). 想想当我们在最高层而不是在一个类的定义里定义...

    ruby教程网3572020-04-08
  • RubyRuby环境下安装使用bundler来管理多版本的gem

    Ruby环境下安装使用bundler来管理多版本的gem

    这篇文章主要介绍了Ruby环境下安装使用bundler来管理多版本的gem的方法,举了Ruby On Rails中的应用实例来进行演示,需要的朋友可以参考下 ...

    日拱一卒4332020-05-10
  • RubyRuby进行文件信息输出实例代码

    Ruby进行文件信息输出实例代码

    Ruby进行文件信息输出实例代码,数据是随机的,所以每次的记录都会不同。 ...

    ruby教程网2962020-04-10