Scala非值類型的作用是什么

這期內(nèi)容當(dāng)中小編將會(huì)給大家?guī)?lái)有關(guān)Scala非值類型的作用是什么，文章內(nèi)容豐富且以專業(yè)的角度為大家分析和敘述，閱讀完這篇文章希望大家可以有所收獲。

方法類型

方法類型在內(nèi)部表示為(Ts)U，(Ts)是一個(gè)類型序列(T1,...,Tn) n>=0，U是一個(gè)(值或者方法)類型。這個(gè)類型表示一個(gè)命名的方法，其參數(shù)的類型是T1,...,Tn，返回結(jié)果的類型是U。

方法類型是右結(jié)合的，(Ts1)(Ts2)U被處理的方式是(Ts1)((Ts2)U)。

一個(gè)特例是沒(méi)有參數(shù)的方法類型。可以寫(xiě)為=>T的形式。無(wú)參數(shù)方法名稱表達(dá)式將會(huì)在每次名稱被引用時(shí)求值。

方法類型并不以值的類型的形式存在。如果方法名以值的方式被引用，其類型將會(huì)被自動(dòng)轉(zhuǎn)換為對(duì)應(yīng)的函數(shù)類型(§6.25)。

示例3.3.1 以下聲明：

def a: Int

def b (x: Int): Boolean

def c (x: Int)(y: String, z: String): String

產(chǎn)生以下類型：

a: => Int

b: (Int) Boolean

c: (Int)(String, String) String

多態(tài)方法類型

多態(tài)方法類型在內(nèi)部表示為[tps]T，[tps]是類型參數(shù)部分[a1 >: L1 <: U1,...,an >: Ln <: Un]，n>=0，T是一個(gè)(值或方法)類型。該類型表示一個(gè)以S1,...,Sn為類型參量并產(chǎn)生類型為T(mén)的結(jié)果的命名方法，參數(shù)類型S1,...,Sn與下界L1,...,Ln和上界U1,...,Un一致(§3.2.4)。

示例3.3.2 以下聲明：

def empty[A]: List[A]

def union[A <: Comparable[A]] (x: Set[A], xs: Set[A]): Set[A]

產(chǎn)生如下類型：

empty: [A >: Nothing <: Any] List[A]

union: [A >: Nothing <: Comparable[A]] (x: Set[A], xs: Set[A]) Set[A]

類型構(gòu)造器

類型構(gòu)造器在內(nèi)部的表示方法類似于多態(tài)方法類型。[+/- a1 >: L1 <: U1,...,+/-an >: Ln <: Un] T表示一個(gè)期望是類型構(gòu)造器參數(shù)(§4.4)或有對(duì)應(yīng)類型參數(shù)子句的抽象類型構(gòu)造器綁定(§4.3)的類型。

示例3.3.3 以下是類Iterable[+X]的片段：

trait Iterable[+X] {

def flatMap[newType[+X]<:Iterabe[X], S](f: X => newType[S]): newType[S]

}

上述就是小編為大家分享的Scala非值類型的作用是什么了，如果剛好有類似的疑惑，不妨參照上述分析進(jìn)行理解。如果想知道更多相關(guān)知識(shí)，歡迎關(guān)注億速云行業(yè)資訊頻道。