方法可以具有 隱式 參數(shù)列表，由參數(shù)列表開頭的 implicit 關(guān)鍵字標(biāo)記。 如果參數(shù)列表中的參數(shù)沒有像往常一樣傳遞， Scala 將查看它是否可以獲得正確類型的隱式值，如果可以，則自動(dòng)傳遞。

Scala 將查找這些參數(shù)的位置分為兩類：

• Scala 在調(diào)用包含有隱式參數(shù)塊的方法時(shí)，將首先查找可以直接訪問的隱式定義和隱式參數(shù) (無前綴)。

• 然后，它在所有伴生對(duì)象中查找與隱式候選類型相關(guān)的有隱式標(biāo)記的成員。

更加詳細(xì)的關(guān)于 Scala 到哪里查找隱式參數(shù)的指南請(qǐng)參考 常見問題

在下面的例子中，我們定義了一個(gè)方法 sum，它使用 Monoid 類的 add 和 unit 方法計(jì)算一個(gè)列表中元素的總和。請(qǐng)注意，隱式值不能是頂級(jí)值。

abstract class Monoid[A] { def add(x: A, y: A): A def unit: A}object ImplicitTest { implicit val stringMonoid: Monoid[String] = new Monoid[String] { def add(x: String, y: String): String = x concat y def unit: String = "" } implicit val intMonoid: Monoid[Int] = new Monoid[Int] { def add(x: Int, y: Int): Int = x + y def unit: Int = 0 } def sum[A](xs: List[A])(implicit m: Monoid[A]): A = if (xs.isEmpty) m.unit else m.add(xs.head, sum(xs.tail)) def main(args: Array[String]): Unit = { println(sum(List(1, 2, 3))) println(sum(List("a", "b", "c"))) }}

類 Monoid 定義了一個(gè)名為 add 的操作，它將一對(duì) A 類型的值相加并返回一個(gè) A，以及一個(gè)名為 unit 的操作，用來創(chuàng)建一個(gè)(特定的)A 類型的值。

為了說明隱式參數(shù)如何工作，我們首先分別為字符串和整數(shù)定義 Monoid 實(shí)例， StringMonoid 和 IntMonoid。implicit 關(guān)鍵字表示可以隱式使用相應(yīng)的對(duì)象。

方法 sum 接受一個(gè) List[A]，并返回一個(gè) A 的值，它從 unit 中取初始的 A 值，并使用 add 方法依次將列表中的下一個(gè) A 值相加。在這里將參數(shù) m 定義為隱式意味著，如果 Scala 可以找到隱式 Monoid[A] 用于隱式參數(shù) m，我們?cè)谡{(diào)用 sum 方法時(shí)只需要傳入 xs 參數(shù)。

在 main 方法中我們調(diào)用了 sum 方法兩次，并且只傳入?yún)?shù) xs。Scala 會(huì)在上例的上下文范圍內(nèi)尋找隱式值。第一次調(diào)用 sum 方法的時(shí)候傳入了一個(gè) List[Int] 作為 xs 的值，這意味著此處類型 A 是 Int。隱式參數(shù)列表 m 被省略了，因此 Scala 將查找類型為 Monoid[Int] 的隱式值。第一查找規(guī)則如下

Scala 在調(diào)用包含有隱式參數(shù)塊的方法時(shí)，將首先查找可以直接訪問的隱式定義和隱式參數(shù) (無前綴)。

intMonoid 是一個(gè)隱式定義，可以在main中直接訪問。 并且它的類型也正確，因此它會(huì)被自動(dòng)傳遞給 sum 方法。

第二次調(diào)用 sum 方法的時(shí)候傳入一個(gè) List[String]，這意味著此處類型 A 是 String。 與查找 Int 型的隱式參數(shù)時(shí)類似，但這次會(huì)找到 stringMonoid，并自動(dòng)將其作為 m 傳入。

該程序?qū)⑤敵?#xff1a;

6abc

推薦閱讀：

23.scala的自類型

22.scala的復(fù)合類型

21.scala的抽象類型

20.scala的內(nèi)部類

《新程序員》：云原生和全面數(shù)字化實(shí)踐50位技術(shù)專家共同創(chuàng)作，文字、視頻、音頻交互閱讀

總結(jié)

以上是生活随笔為你收集整理的传递list对象作为参数_24.scala的隐式参数的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

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