2.2 按順序組合ZIO

正如上小節所述，ZIO效果是描述并發工作流的藍圖，并且我們通過轉換和組合更小，更簡單的效果來構建更復雜的效果，從而解決業務問題。

我們看到了如何使用 ZIO 的 delay 運算符將一個效果轉換為另一種效果，并將其執行延遲到將來。 除了延遲之外，ZIO還擁有數十種其他強大的運算符，它們可以轉換并組合效果以解決現代應用程序開發中的常見問題。

我們將在隨后的章節中學習大多數這些運算符，但是我們需要介紹的最重要的運算符之一就是flatMap。ZIO效果的flatMap方法表示兩個效果的順序組合，使我們可以根據第一個效果的輸出來創建第二個效果。

flatMap的簡化類型簽名如下所示：

trait ZIO[R, E, A] { ...def flatMap[B](andThen: A => ZIO[R, E, B]): ZIO[R, E, B] = ... ... }

實際上，flatMap的意思是說：“先運行第一個效果，然后根據第一個運行的結果運行第二個效果”。 使用此順序運算符，我們可以描述一個簡單的工作流，該工作流讀取用戶輸入，然后將輸入顯示給用戶，如以下代碼片段所示：

// 下面的程序將兩個沒有關系的effect通過flatMap串成一個effect import scala.io.StdIn val readLine = ZIO.effect(StdIn.readLine()) def printLine(line: String) =ZIO.effect(println(line)) val echo = readLine.flatMap(line => printLine(line))

請注意，我們在控制臺上打印的內容取決于我們從控制臺讀取的內容：因此，我們依次執行兩件事，而我們所做的第二件事取決于我們所做的第一件事所產生的結果。

flatMap基本的運算符，因為它捕獲了在程序中語句的執行方式：后面的語句取決于前面的語句計算的結果。

如果我們通過過程式的代碼編寫這段程序就是：

val line = Console.readLine Console.println(line)

過程編程與flatMap運算符之間的這種關系是如此精確，我們實際上可以通過將每個簡單的語句包裝在諸如ZIO.effect之類的構造函數中，然后使用flatMap將這些語句粘合在一起，從而將任何程序程序轉換為ZIO。

例如，假設我們在以下代碼段中顯示了程序程序：

val data = doQuery(query)val response = generateResponse(data) writeResponse(response)

我們可以將上面的代碼轉變為下面的形式：

ZIO.effect(doQuery(query)).flatMap(data =>ZIO.effect(generateResponse(data)).flatMap(response => ZIO.effect(writeResponse(response))))

盡管是一種簡單的轉換，但是如果連續超過兩個或三個flatMap操作，代碼的嵌套將變得有些困難。 幸運的是，Scala具有for推導的功能，該功能使我們能夠以類似于過程編程的方式表達順序組合。
在下一節中，我們將詳細探討各種理解。

2.2.1

通過 for 推導，我們可以將下面的代碼：

readLine.flatMap(line => printLine(line))

重寫成下面的形式：

import zio._val echo = for {line <- readLine_ <- printLine(line) } yield ()}

從這個簡短的代碼片段中可以看出，沒有嵌套，并且理解中的每一行看起來都類似于過程編程中的一條語句。

for推導具有如下的結構：

• 它們由關鍵字for引入，后跟一個代碼塊，并以關鍵字yield結束，關鍵字yield之后是單個參數，代表effect的執行成功的返回值。
• for 推導的每一行都使用格式 result <-effect 編寫，其中effect是一個作用，而result是一個變量，代表該作用的成功值。 如果不需要作用的結果，則可以將下劃線用作變量名稱。

Scala將具有n行的for推導轉換為對效果的flatMap方法的n-1次調用，最后對最后一個作用調用map方法。

例如：

for {x <- doAy <- doB(x)z <- doC(x, y)} yield x + y + z

scala程序會將上面的代碼轉為下面的語句

doA.flatMap(x => doB(x).flatMap(y => doC(x, y).map(z => x + y + z)))

許多Scala開發人員發現，for推導比起一連串的FlatMap嵌套調用更容易理解。 在本書中，除了非常簡短的摘錄外，我們更喜歡for推導而不是顯式調用flatMap。

總結

以上是生活随笔為你收集整理的2.2 zio入门——按顺序组合ZIO的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。