您好,登錄后才能下訂單哦!
本篇內(nèi)容主要講解“scala的類(lèi)型推斷是什么”,感興趣的朋友不妨來(lái)看看。本文介紹的方法操作簡(jiǎn)單快捷,實(shí)用性強(qiáng)。下面就讓小編來(lái)帶大家學(xué)習(xí)“scala的類(lèi)型推斷是什么”吧!
Scala 編譯器通常可以推斷出表達(dá)式的類(lèi)型,因此你不必顯式地聲明它。
val businessName = "Montreux Jazz Café"
編譯器可以發(fā)現(xiàn) businessName
是 String 類(lèi)型。它的工作原理和方法類(lèi)似:
def squareOf(x: Int) = x * x
編譯器可以推斷出方法的返回類(lèi)型為 Int
,因此不需要明確地聲明返回類(lèi)型。
對(duì)于遞歸方法,編譯器無(wú)法推斷出結(jié)果類(lèi)型。下面這個(gè)程序就是由于這個(gè)原因而編譯失?。?/p>def fac(n: Int) = if (n == 0) 1 else n * fac(n - 1)
當(dāng)調(diào)用 多態(tài)方法 或?qū)嵗?泛型類(lèi) 時(shí),也不必明確指定類(lèi)型參數(shù)。Scala 編譯器將從上下文和實(shí)際方法的類(lèi)型/構(gòu)造函數(shù)參數(shù)的類(lèi)型推斷出缺失的類(lèi)型參數(shù)。
看下面兩個(gè)例子:
case class MyPair[A, B](x: A, y: B)
val p = MyPair(1, "scala")
def id[T](x: T) = x
val q = id(1)
編譯器使用傳給 MyPair
參數(shù)的類(lèi)型來(lái)推斷出 A
和 B
的類(lèi)型。對(duì)于 x
的類(lèi)型同樣如此。
編譯器從不推斷方法形式參數(shù)的類(lèi)型。但是,在某些情況下,當(dāng)函數(shù)作為參數(shù)傳遞時(shí),編譯器可以推斷出匿名函數(shù)形式參數(shù)的類(lèi)型。
Seq(1, 3, 4).map(x => x * 2)
方法 map 的形式參數(shù)是 f: A => B
。因?yàn)槲覀儼颜麛?shù)放在 Seq
中,編譯器知道 A
是 Int
類(lèi)型 (即 x
是一個(gè)整數(shù))。因此,編譯器可以從 x * 2
推斷出 B
是 Int
類(lèi)型。
通常認(rèn)為,公開(kāi)可訪問(wèn)的 API 成員應(yīng)該具有顯示類(lèi)型聲明以增加可讀性。 因此,我們建議你將代碼中向用戶(hù)公開(kāi)的任何 API 明確指定類(lèi)型。
此外,類(lèi)型推斷有時(shí)會(huì)推斷出太具體的類(lèi)型。 假設(shè)我們這么寫(xiě):
var obj = null
我們就不能進(jìn)行重新賦值:
obj = new AnyRef
它不能編譯,因?yàn)?obj
推斷出的類(lèi)型是 Null
。由于該類(lèi)型的唯一值是 null
,因此無(wú)法分配其他的值。
到此,相信大家對(duì)“scala的類(lèi)型推斷是什么”有了更深的了解,不妨來(lái)實(shí)際操作一番吧!這里是億速云網(wǎng)站,更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢(xún),關(guān)注我們,繼續(xù)學(xué)習(xí)!
免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱:is@yisu.com進(jìn)行舉報(bào),并提供相關(guān)證據(jù),一經(jīng)查實(shí),將立刻刪除涉嫌侵權(quán)內(nèi)容。