Scala視圖是什么

這篇文章主要介紹“Scala視圖是什么”，在日常操作中，相信很多人在Scala視圖是什么問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對(duì)大家解答”Scala視圖是什么”的疑惑有所幫助！接下來，請(qǐng)跟著小編一起來學(xué)習(xí)吧！

視圖
隱含參數(shù)和方法也可以定義隱式轉(zhuǎn)換，稱作視圖。由類型S到類型T的視圖由一個(gè)函數(shù)類型為S=>T或(=>S)=>T的隱含值或一個(gè)可以轉(zhuǎn)變?yōu)樵擃愋偷闹刀x。
視圖在兩種情況下應(yīng)用。
1. 如果表達(dá)式e類型為T，且T與表達(dá)式的期望類型不一致。這種情況下將會(huì)搜索一個(gè)隱含的v，v可以應(yīng)用到e且結(jié)果類型與pt一致。搜索的形式類似于隱含參數(shù)，隱含作用域類似于T => pt。如果找到了這樣一個(gè)視圖，則表達(dá)式e變?yōu)関(e)。
2. 選擇e.m中，e的類型為T，如果選擇器m并不表示T的成員。這種情況下會(huì)搜索視圖v，v可以應(yīng)用到e且結(jié)果包含一個(gè)名為m的成員。搜索的形式類似于隱含參數(shù)，隱含作用域是T。如果找到了這樣一個(gè)視圖，則選擇e.m變?yōu)関(e).m。
對(duì)于隱含參數(shù)，如果有多個(gè)可選者，則應(yīng)用重載解析。
示例7.3.1 類scala.Ordered[A]有一個(gè)方法
def <= [B >: A](that: B)(implicit b2ordered: B => Ordered[B]): Boolean
設(shè)有類型為List[Int]的兩個(gè)列表xs和ys，且§7.2中定義的方法list2ordered和int2ordered在作用域中，那么操作
xs <= ys
是合法的，且擴(kuò)展為
list2ordered(xs)(int2ordered).<=
(ys)
(xs => list2ordered(xs)(int2ordered))

list2ordered的第一個(gè)應(yīng)用將列表xs轉(zhuǎn)變?yōu)轭怬rdered的一個(gè)實(shí)例，第二個(gè)則是傳遞給<=方法的隱含參數(shù)的一部分。

到此，關(guān)于“Scala視圖是什么”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識(shí)，請(qǐng)繼續(xù)關(guān)注億速云網(wǎng)站，小編會(huì)繼續(xù)努力為大家?guī)砀鄬?shí)用的文章！