2.5 ZIO類型別名

ZIO的三個類型參數(shù)，功能極為強大。我們可以使用環(huán)境類型參數(shù)進行參數(shù)注入（數(shù)據(jù)庫，連接池，配置等），并且可以使用錯誤和成功類型參數(shù)返回結(jié)果。
在最常見的情況下，程序需要向下傳播依賴關(guān)系，并向上返回結(jié)果，而ZIO將所有這些都提供給類型安全的程序包。
但是有時候，我們可能不需要所有這些功能。我們可能知道應(yīng)用程序不需要外部環(huán)境，或者只能因某種類型的錯誤而失敗，或者根本不會失敗。
為了簡化這些情況，ZIO附帶了許多有用的類型別名。如果您不想，則不必使用這些類型別名。您始終可以只使用完整的ZIO類型簽名。但是這些類型別名在ZIO代碼庫中經(jīng)常使用，因此熟悉它們很有幫助，并且如果您選擇使用它們，它們可以使您的代碼更具可讀性。

這些類型如下：

type IO[+E, +A] = ZIO[Any, E, A] type Task[+A] = ZIO[Any, Throwable, A] type RIO[-R, +A] = ZIO[R, Throwable, A] type UIO[+A] = ZIO[Any, Nothing, A] type URIO[-R, +A] = ZIO[R, Nothing, A]

下面是一個簡單的關(guān)于類型別名的描述，可以幫助你記住他們:

• IO[E, A] - 這種類型代表的effect 不需要環(huán)境，可能以E失敗,也可能成功返回一個A

• Task - 這種類型的effect不需要任何環(huán)境，可能會以拋出Throwable 失敗，也可能以返回A成功。Task類似Future，可以直接運行

• UIO - 這是Task的一種特殊情況，不需要依賴，也不會失敗, 只返回一個A

• RIO - 這個和Task不同的地方在于需要一個參數(shù)R才能生存可以直接運行的程序。可以理解為一個返回這為Task的函數(shù)，而R為參數(shù)。

• URIO[R, A] - 這是RIO的特例，特殊的地方在于他不會失敗

  譯者注： IO是最高級別的抽象。Task類似Future,RIO是生成Task的函數(shù)，RIO 注入 環(huán)境就可以生成一個Task. URIO是RIO的特例，UIO是Task的特例，他倆都不會失敗.

ZIO和ZIO生態(tài)系統(tǒng)中的其他庫中的其他幾種數(shù)據(jù)類型也使用類似的類型別名，因此，如果您熟悉這些別名，則也可以很快將其取用。
ZIO隨附了每種類型別名的伴隨對象，因此您可以使用對ZIO本身的相同方式調(diào)用具有這些類型別名的靜態(tài)方法。
例如，這兩個定義是等效的，并且都是有效的語法：

import zio._val first: ZIO[Any, Nothing, Unit] = ZIO.effectTotal(println("Going to the grocery store"))val second: UIO[Unit] = UIO.effectTotal(println("Going to the grocery store"))

ZIO致力于全面實現(xiàn)出色的類型推斷，但在極少數(shù)必須顯式指定類型參數(shù)的情況下，伴隨對象上的構(gòu)造函數(shù)可能需要較少的類型參數(shù)（例如，UIO上的構(gòu)造函數(shù)沒有錯誤參數(shù)），因此它們可以改善類型推斷 和人體工程學(xué)。

總結(jié)

以上是生活随笔為你收集整理的2.5 zio入门——ZIO类型别名的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。