`
thomassun
  • 浏览: 27572 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论

Scala新手指南中文版 -第八篇 Welcome to the Future(欢迎来到未来世界)

阅读更多

译者注:原文出处http://danielwestheide.com/blog/2013/01/09/the-neophytes-guide-to-scala-part-8-welcome-to-the-future.html,翻译:Thomas

 

作为一个上进且充满激情的Scala开发者,你会愿意知道Scala在并行处理方面的成就,或者你正是被这吸引到Scala世界来的呢。Scala让你可以更容易的写出健壮的并行程序而无需像其它语言一样和低阶API打交道。

Scala在这方面的成就来自于两个方面,Future和Actor。前者正是本篇要涉及的内容,我会介绍future的优势以及如何以函数式的方式来使用它。

请确保你的Scala环境为2.9.3以上,以便亲自测试后面的代码。

为什么串行代码会比较糟糕

假设你要弄杯卡普奇诺喝喝。你可以顺序依次执行下述操作:

  1. 磨咖啡豆
  2. 烧热水
  3. 用热水蒸煮磨好的咖啡
  4. 给牛奶打泡
  5. 将蒸馏好的咖啡和打泡牛奶混合

翻译成Scala代码,会是下面的样子:

import scala.util.Try
// Some type aliases, just for getting more meaningful method signatures:
type CoffeeBeans = String
type GroundCoffee = String
case class Water(temperature: Int)
type Milk = String
type FrothedMilk = String
type Espresso = String
type Cappuccino = String
// dummy implementations of the individual steps:
def grind(beans: CoffeeBeans): GroundCoffee = s"ground coffee of $beans"
def heatWater(water: Water): Water = water.copy(temperature = 85)
def frothMilk(milk: Milk): FrothedMilk = s"frothed $milk"
def brew(coffee: GroundCoffee, heatedWater: Water): Espresso = "espresso"
def combine(espresso: Espresso, frothedMilk: FrothedMilk): Cappuccino = "cappuccino"
// some exceptions for things that might go wrong in the individual steps
// (we'll need some of them later, use the others when experimenting
// with the code):
case class GrindingException(msg: String) extends Exception(msg)
case class FrothingException(msg: String) extends Exception(msg)
case class WaterBoilingException(msg: String) extends Exception(msg)
case class BrewingException(msg: String) extends Exception(msg)
// going through these steps sequentially:
def prepareCappuccino(): Try[Cappuccino] = for {
  ground <- Try(grind("arabica beans"))
  water <- Try(heatWater(Water(25)))
  espresso <- Try(brew(ground, water))
  foam <- Try(frothMilk("milk"))
} yield combine(espresso, foam)

这样做有几个好处:你有了一个按步执行的指南。进一步讲,你不会被搞混,因为没有了上下文切换。

另一方面,这样一步一步的煮咖啡表示当进行周期长的步骤时你的大脑和身体处在等待状态,在等磨咖啡时,你实际上是被阻塞的,只有在磨好咖啡时,你才开始烧水及后续操作。

这显然是对宝贵资源的浪费。你当然更愿意同时开始一些步骤让它们同时执行。当你烧开水和研磨咖啡弄完时,你就可以开始蒸馏工作,同时去给牛奶打泡。

在写代码时也一样。web服务器用有限的线程处理用户请求并生成返回结果。你不会想因为需要等待数据库查询或调用另一个HTTP服务时而阻塞这些宝贵的线程,因而,当一个处理中的请求在等数据库结果时,为那个请求提供服务的web服务器线程可以接受新的用户请求而不是在那发呆。

“这听上去像是回调机制,我来给你的回调函数再提供一个回调函数就是了!”

当然,你已经非常熟悉这样的架构了- Node.js已是这方面的高手了。 Node.js和其它一些框架正是通过回调机制来实现的。不过很遗憾,这很容易导致回调函数内嵌套多层回调函数,最终导致你的代码很难看懂,也不方便debug。

Scala里的Future也支持回调机制,我很快就会讲到,不过Scala提供了更好的替代方案,所以你在Scala里反而不太会用回调。

“我知道Future,它们根本就没有用处!”

你也许已经熟悉其它一些Future的实现,尤其是Java下得Future实现。对于Java里的Future,你除了主动检查future是否完成或者阻塞在那里等它完成之外,没有其它用法,也就是说,它基本上没有什么用途,用起来绝对不会让你愉快。如果你以为Scala里future也是那样的,那就错了,我们现在就来看看。

Future的含义

Scala里的Future[T]来自scala.concurrent包,它是一个容器类型,代表一个代码最终会返回的T类型结果。不过,代码可能会出错或执行超时,所以当Future完成时,它有可能完全没有被成功执行,这时它会代表一个异常。

Future是一个一次写容器:当一个future完成时,它就不可变了。而且,Future类型仅是提供了一个接口用来读取最终结果。给最终结果赋值的工作是通过Promise来完成的,因而,相关的API设计是有非常明确的功能划分的。在本篇里,我们会专注于前者,即Future,下一篇来讲讲Promise类型。

使用Futures

Scala的Future有几种用法,我将通过用Future来改造前面的煮咖啡的代码来一一解释。首先我们要重写那些可以并行执行的函数,让它们立刻返回Future而不是阻塞时的执行:

import scala.concurrent.future
import scala.concurrent.Future
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.duration._
import scala.util.Random

def grind(beans: CoffeeBeans): Future[GroundCoffee] = Future {
  println("start grinding...")
  Thread.sleep(Random.nextInt(2000))
  if (beans == "baked beans") throw GrindingException("are you joking?")
  println("finished grinding...")
  s"ground coffee of $beans"
}

def heatWater(water: Water): Future[Water] = Future {
  println("heating the water now")
  Thread.sleep(Random.nextInt(2000))
  println("hot, it's hot!")
  water.copy(temperature = 85)
}

def frothMilk(milk: Milk): Future[FrothedMilk] = Future {
  println("milk frothing system engaged!")
  Thread.sleep(Random.nextInt(2000))
  println("shutting down milk frothing system")
  s"frothed $milk"
}

def brew(coffee: GroundCoffee, heatedWater: Water): Future[Espresso] = Future {
  println("happy brewing :)")
  Thread.sleep(Random.nextInt(2000))
  println("it's brewed!")
  "espresso"
}

 

有几个地方需要先解释一下。

首先,Future的联合对象有一个apply方法,这方法需要两个参数:

 

object Future {
  def apply[T](body: => T)(implicit execctx: ExecutionContext): Future[T]
}

 

异步执行的代码以by-name方式赋给body参数。第二个参数是一个隐式参数,意味着如果作用范围内有有匹配的隐式常量存在,我们就无需提供此参数,我们通过导入全局执行环境引入了一个隐式常量。

ExecutionContext是一个可以运行Future的环境,你可以把它当做是类似线程池的东西。因为ExecutionContext是一个隐式常量,所以我们只需要为前个单参数列表赋值。单参数列表可以不用括号而用大括号来包含,大家通常都会这样来调用future方法,这让它看上去更像是在使用语言的特性而不是一般的函数调用。ExecutionContext是所有FutureAPI的隐式常量。

进一步,我们在这个简单的例子里不用做任何的计算,所以用随机休眠来模拟实际计算花费的时间。我们在“计算”前后分别打印出信息,以清楚的表达代码中的不确定和并行特性。

Future返回的计算结果将会在Future被创建(通过ExecutionContext管理的线程)后的一个不确定时间出现。

回调

有时候,在简单场景下,用回调可以更方便。Future的回调函数是偏函数。你可以把一个回调函数传递给onSuccess方法,它仅在Future被成功执行时才调用,计算结果将会传递给回调函数:

 

grind("arabica beans").onSuccess { case ground =>
  println("okay, got my ground coffee")
}

同样的,你可以用onFailure方法来注册一个失败情况的回调函数。回调函数需要接收Throwable参数,只有当Future不能被成功执行时才会调用回调函数。

通常,更好的做法是同时为成功和失败定义两个回调函数,回调函数接收的参数是Try类型:

import scala.util.{Success, Failure}
grind("baked beans").onComplete {
  case Success(ground) => println(s"got my $ground")
  case Failure(ex) => println("This grinder needs a replacement, seriously!")
}

上面例子中的graind就有可能抛出异常,这就会导致Future以失败的状态完成。

组合Futures

当你需要嵌套回调函数时就会比较痛苦了。幸运的是,你不需要那样做。Scala的future真正强大的地方是它们可以被组合。

如果你看过本系列的前几篇,你可能已经注意到所有我们讨论过的容器类型都可以让你对它们做map和flatmap操作,或者在for语句中使用它们,我前面提到Future也是一个容器类型,因而Future也可以让你那样做应该没有什么惊奇的吧。

真正的问题是:对一些实际尚未完成的计算执行这些操作意味着什么?

对Future进行Map

你是否总是想成为一个时间旅行者去未来看看?一个Scala开发者就可以!假设你在烧水的过程中想要检查水温是否已经合适了,你可以通过将Future[Water]map成Future[Boolean]来做到:

 

val temperatureOkay: Future[Boolean] = heatWater(Water(25)).map { water =>
  println("we're in the future!")
  (80 to 85).contains(water.temperature)
}

 

赋给temperatureOkay的Future[Boolean]最终将会包含一个成功计算的boolean值。 试着修改一下heatWater的实现,让它抛出异常(比如你的水壶爆掉了啥的),再来观察你会发现 we're in the future 永远不会输出。

当你写传递给map的函数时,你实际上处在未来或者可能处在未来。一旦Future[Water]实例被成功执行完成时,map函数就会马上被执行,这个事件发生的时间可能不是当下。如果Future[Water]执行失败,你传递给map的函数将不会被调用。相反,map将会返回一个包含着Failure的Future[Boolean]。

确保未来是平的

如果一个Future的计算依赖于另一个Future的结果,你会需要flatMap来防止Future的多重嵌套。

例如,假设测量水温需要些时间,所以我们也要让判断水温是否合适的操作异步化。你有一个函数传入Water的实例,并返回一个Future[Boolean]:

 

def temperatureOkay(water: Water): Future[Boolean] = Future {
  (80 to 85).contains(water.temperature)
}

 

用flatMap而不是map以便得到一个Future[Boolean]而不是Future[Future[Boolean]]:

val nestedFuture: Future[Future[Boolean]] = heatWater(Water(25)).map {
  water => temperatureOkay(water)
}
val flatFuture: Future[Boolean] = heatWater(Water(25)).flatMap {
  water => temperatureOkay(water)
}

同样的,map方法仅在Future[Water]实例成功完成后才被调用。

For语句

除了调用flatMap,你还可以用for语句来达到同样目的,当时代码可读性更好。上面的例子就可以这样来写:

val acceptable:Future[Boolean]=for{
heatedWater <- heatWater(Water(25))
okay <- temperatureOkay(heatedWater)
}yield okay

当你有多个需要同时进行的计算时,你需要小心了,因为你已经在for语句之外生成了一个新的Future实例。

def prepareCappuccinoSequentially(): Future[Cappuccino] = {
  for {
    ground <- grind("arabica beans")
    water <- heatWater(Water(20))
    foam <- frothMilk("milk")
    espresso <- brew(ground, water)
  } yield combine(espresso, foam)
}

这看上去挺好,不过因为for语句不过是flatMap的另一种表达方式,所以flatMap的调用机制也同样适用,也就是说heatWater生成Future[Water]的语句仅当Future[GroundCoffee]被成功完成时才会被实例化。你可以通过观察函数输出来验证。

因而,你应该在for语句前实例化所有的独立的Future:

def prepareCappuccino(): Future[Cappuccino] = {
  val groundCoffee = grind("arabica beans")
  val heatedWater = heatWater(Water(20))
  val frothedMilk = frothMilk("milk")
  for {
    ground <- groundCoffee
    water <- heatedWater
    foam <- frothedMilk
    espresso <- brew(ground, water)
  } yield combine(espresso, foam)
}

现在在for语句开始前我们实例化了三个Future,它们立刻开始同时执行。如果你观察输出,你会看到无序的输出。唯一可以确定的就是“happy brewing“会在最后输出,因为所调用的方法需要来自另外两个Future的返回值,只有另外两个Future被成功完成时才有这两个值。

失败投影

你应该已经注意到,Future[T]是偏向成功的,这让你可以使用mapflatMap,filter等,都是基于它会被成功完成的前提的。有时候,你想以优雅的函数的方式来处理未来的失败。你可以呼叫Future[T]的failed方法来得到它的失败投影,即Future[Throwable]。现在你可以对Future[Throwable]执行例如map操作,map函数只有当Future[T]失败完成时才被调用。

预告

你已经了解Future了,他看上去很不错!可以像其他容器类型一样来用Future,这让你非常愉悦。

将阻塞代码包含到Future就可以让它并行执行。尽管如此,最好是能在一开始就不阻塞,要达到这个目的,你需要一个Promise来完成Future。Promise和Future实践将在下一篇中讲述。

原作者:Daniel Westheide,2013/1/9

分享到:
评论
1 楼 hyj1986 2016-01-15  
Scala 初学的时候  是有很多 和目前使用的语言的语法不一样的地方!! 楼主的这些博文写得非常好!非常容易理解!! 给一个 大大得赞!!

相关推荐

    scala-xml_2.12-1.0.6-API文档-中文版.zip

    包含翻译后的API文档:scala-xml_2.12-1.0.6-javadoc-API文档-中文(简体)版.zip; Maven坐标:org.scala-lang.modules:scala-xml_2.12:1.0.6; 标签:scala、lang、modules、xml、中文文档、jar包、java; 使用方法...

    flink-scala_2.12-1.14.3-API文档-中文版.zip

    包含翻译后的API文档:flink-scala_2.12-1.14.3-javadoc-API文档-中文(简体)版.zip 对应Maven信息:groupId:org.apache.flink,artifactId:flink-scala_2.12,version:1.14.3 使用方法:解压翻译后的API文档,用...

    scala-compiler-2.12.7-API文档-中文版.zip

    包含翻译后的API文档:scala-compiler-2.12.7-javadoc-API文档-中文(简体)版.zip; Maven坐标:org.scala-lang:scala-compiler:2.12.7; 标签:scala、lang、compiler、中文文档、jar包、java; 使用方法:解压翻译...

    scala-parser-combinators-2.11-1.0.4-API文档-中文版.zip

    标签:11、parser、scala、combinators_2、lang、modules、jar包、java、API文档、中文版; 使用方法:解压翻译后的API文档,用浏览器打开“index.html”文件,即可纵览文档内容。 人性化翻译,文档中的代码和结构...

    scala-compiler-2.11.8-API文档-中英对照版.zip

    包含翻译后的API文档:scala-compiler-2.11.8-javadoc-API文档-中文(简体)-英语-对照版.zip; Maven坐标:org.scala-lang:scala-compiler:2.11.8; 标签:scala、lang、compiler、中英对照文档、jar包、java; 使用...

    scala-intellij-bin-2016.3.9

    IntelliJ IDEA是一款广受欢迎的Java开发集成环境,由JetBrains公司开发。它以其强大的代码自动补全、重构工具和对多种编程语言的支持而闻名。"scala-intellij-bin-2016.3.9"是针对Scala语言的一个特定版本的IntelliJ...

    scala-intellij-bin-2016.3.1.zip

    Scala是一种强大的多范式编程语言,它融合了面向对象和函数式编程的概念。IntelliJ IDEA是一款非常流行的集成开发环境(IDE),尤其受到Java和Scala开发者喜爱。在本压缩包"scala-intellij-bin-2016.3.1.zip"中,...

    scala-reflect-2.11.8-API文档-中英对照版.zip

    包含翻译后的API文档:scala-reflect-2.11.8-javadoc-API文档-中文(简体)-英语-对照版.zip; Maven坐标:org.scala-lang:scala-reflect:2.11.8; 标签:reflect、scala、lang、jar包、java、API文档、中英对照版; ...

    scala-compiler-2.11.12-API文档-中文版.zip

    包含翻译后的API文档:scala-compiler-2.11.12-javadoc-API文档-中文(简体)版.zip; Maven坐标:org.scala-lang:scala-compiler:2.11.12; 标签:scala、lang、compiler、中文文档、jar包、java; 使用方法:解压...

    scala-SDK-4.7.0-vfinal-2.12-linux.gtk.x86_64.tar.gz

    scala-SDK-4.7.0-vfinal-2.12-linux.gtk.x86_64.tar.gz scala-SDK-4.7.0-vfinal-2.12-linux.gtk.x86_64.tar.gz

    scala-intellij-bin-0.41

    Scala是一种强大的多范式编程语言,它融合了函数式编程和面向对象编程的特点。IntelliJ IDEA是一款广受赞誉的Java开发集成环境,为开发者提供了高效、智能的代码编写体验。"scala-intellij-bin-0.41"是专门为...

    scala插件 scala-intellij-bin-2018.3.5.zip scala-intellij-bin-2018.3.6.zip

    IntelliJ IDEA是一款广受欢迎的集成开发环境(IDE),它提供了丰富的功能和工具来支持各种编程语言的开发,包括Scala。`scala-intellij-bin-2018.3.5.zip` 和 `scala-intellij-bin-2018.3.6.zip` 是两个版本的Scala...

    scala-xml_2.11-1.0.1-API文档-中文版.zip

    包含翻译后的API文档:scala-xml_2.11-1.0.1-javadoc-API文档-中文(简体)版.zip; Maven坐标:org.scala-lang.modules:scala-xml_2.11:1.0.1; 标签:11、xml_2、scala、lang、modules、jar包、java、中文文档; ...

    scala-intellij-bin-2018.3.2.zip

    scala-intellij-bin-2018.3.2.zip插件,亲测可用!!!scala-intellij-bin-2018.3.2.zip插件,亲测可用!!!scala-intellij-bin-2018.3.2.zip插件,亲测可用!!!

    scala-intellij-bin-2017.2.6

    IntelliJ IDEA是一款广受欢迎的集成开发环境(IDE),尤其在Java和Scala开发者中非常流行。"scala-intellij-bin-2017.2.6" 是一个特定版本的Scala插件,适用于IntelliJ IDEA,它提供了对Scala语言的全面支持,包括...

    scala-ide-plugin-eclipse

    scala eclipse插件.对应scala版本:2.10--2.11,对应eclipes版本:4.4--4.5. update site:http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site 下载地址:...

    scala-library-2.11.8-API文档-中文版.zip

    标签:library、scala、lang、jar包、java、API文档、中文版; 使用方法:解压翻译后的API文档,用浏览器打开“index.html”文件,即可纵览文档内容。 人性化翻译,文档中的代码和结构保持不变,注释和说明精准翻译...

    scala-compiler-2.11.0-API文档-中文版.zip

    包含翻译后的API文档:scala-compiler-2.11.0-javadoc-API文档-中文(简体)版.zip; Maven坐标:org.scala-lang:scala-compiler:2.11.0; 标签:scala、lang、compiler、jar包、java、中文文档; 使用方法:解压翻译...

    scala-intellij-bin-2017.2.13

    Scala是一种强大的多范式编程语言,它融合了面向对象和函数式编程的特性。IntelliJ IDEA是一款广受赞誉的Java集成开发环境(IDE),它为开发者提供了丰富的工具和功能来提升开发效率。"Scala-intellij-bin-2017.2.13...

    scala-intellij-bin-2020.2.3.zip

    Scala是一种强大的多范式编程语言,它融合了面向对象和函数式编程的概念。IntelliJ IDEA是一款著名的集成开发环境(IDE),广泛用于Java、Scala和其他 JVM 语言的开发。"scala-intellij-bin-2020.2.3.zip" 是一个...

Global site tag (gtag.js) - Google Analytics