Scala非值类型的作用是什么 - 行业资讯 - 肥雀云

介绍

这期内容当中小编将会给大家带来有关Scala非值类型的作用是什么,文章内容丰富且以专业的角度为大家分析和叙述,阅读完这篇文章希望大家可以有所收获。

方法类型

方法类型在内部表示为( Ts ) U (Ts)是一个类型序列(T1,…, Tn) n>=0,你是一个值(或者方法)类型。这个类型表示一个命名的方法,其参数的类型是T1,…, Tn,返回结果的类型是美国

方法类型是右结合的,(壹空间)(Ts2) U被处理的方式是(壹空间)((Ts2) U)。

一个特例是没有参数的方法类型。可以写为=祝辞;T的形式。无参数方法名称表达式将会在每次名称被引用时求值。

方法类型并不以值的类型的形式存在。如果方法名以值的方式被引用,其类型将会被自动转换为对应的函数类型(§6.25)。

示例3.3.1以下声明:

<强> def 答:Int

<强> def b (x: Int):布尔

<强> def c (x: Int) (y:字符串,z: String):字符串

产生以下类型:

答:=比;Int

b:布尔(Int)

c: (Int)字符串(字符串,字符串)

多态方法类型

多态方法类型在内部表示为(tps) T (tps)是类型参数部分(a1祝辞:L1 & lt; U1,…祝辞:Ln & lt;:联合国],n>=0, T是一个(值或方法)类型。该类型表示一个以S1,…, Sn为类型参量并产生类型为T的结果的命名方法,参数类型S1,…, Sn与下界L1,…, Ln和上界U1,…,联合国一致(§第3.2.4)。

示例3.3.2以下声明:

<强> def 空[A]:列表(一)

<强> def 强联盟[& lt;:可比[一]](x:设置一个,xs:[一]):设置(一)

产生如下类型:

空:[祝辞:& lt;任何):列表(一)

联盟:[祝辞:& lt;:可比[一]](x:设置一个,xs:[一])设置(一)

类型构造器

类型构造器在内部的表示方法类似于多态方法类型。[+/- a1祝辞:L1 & lt;: U1,…,+/４?Ln & lt;:联合国)T表示一个期望是类型构造器参数(§4.4)或有对应类型参数子句的抽象类型构造器绑定(§4.3)的类型。

示例3.3.3以下是类Iterable (+ X)的片段:

<强> Iterable特征[+ X] {

<强> def flatMap [newType [+ X] & lt;: Iterabe [X], S] (f: X=比;newType [S]): newType [S]

}