Scala函数---既存类型

Bertha 。 2022-01-11 17:27 201阅读 0赞

语法：  
Type ::= InfixType ExistentialClauses  
ExistentialClauses ::= forSome \{ ExistentialDcl  
\{semi ExistentialDcl\} \}  
ExistentialDcl ::= type TypeDcl  
| val ValDcl  
既存类型具有 T forSome \{Q\}的形式，Q是一个类型声明的序列(§4.3)。设t1\[tps1\]>n<:Un是Q中声明的类型(任何类型参数部分\[tpsi\]都可以没有)。每个类型ti的域都包含类型T和既存子句Q。类型变量ti就称为在类型T forSome \{Q\}中被绑定。在T中但是没被绑定的类型变量就被称为在T中是自由的。  
T forSome \{Q\}的类的实例就是类σT，σ是t1,...,tn上的迭代，对于每一个i，都有σLi<:σti<:σUi。既存类型T forSome\{Q\}的值的集合就是所有其类型实例值的集  
类型合的合集。  
T forSome \{Q\}的斯科伦化是一个类实例σT，σ是\[t1/t1,..., tn/tn上的迭代，每个ti是介于σLi和σUi间的新的抽象类型。  
简化规则  
既存类型遵循以下四个等效原则：  
1. 既存类型中的多个for子句可以合并。例 T forSome \{Q\} forSome\{Q\}等价于T forSome \{Q;Q\}  
2. 未使用的限定可以去掉。例：T forSome \{Q;Q\}，但是Q中定义的类型没有被T或Q引用，那么该表达式可等价为 T forSome \{Q\}  
3. 空的限定可以丢弃。例：T forSome\{\}等价于T。  
4. 一个既存类型 T forSome \{Q\}，Q中包含一个子句type t\[tps\] >: L <: U等价于类型 T forSome \{Q\}，T是将T中所有t的协变量替换为U并且将T中所有的t的逆变量替换为L的结果。  
在值上的既存量化  
为了语法上的方便，在既存类型上的绑定子句可以包括值声明 val x: T。既存类型T forSome \{ Q; val x: S; Q\} 是T forSome \{ Q; type t <: S with Singleton; Q\}的简写形式，此处t是一个新的类型名，T是将T中所有x.type用t代替的结果。  
既存类型的占位符语法  
语法：  
WildcardType ::= \_ TypeBounds  
Scala支持既存类型的占位符语法。通配符类型的形式为 \_><:U。两个边界均可忽略。如果下界>被忽略则用>:scala.Nothing。如果上界<:U被忽略则用<:scala.Any。通配符类型是既存限定类型变量的简写，既存的限定条件是内涵的。  
通配符类型只能作为参数化类型的类型参量出现。设T=p.c\[targs,T,tags\]是一个参数化类型，targs,targs可以为空，T是一个通配符类型\_><:U。那么T等价于以下既存类型：  
p.c\[tags,t,tags\] forSome \{ type t ><:U\}  
t是一个新的类型变量。通配符类型可以作为中缀类型(§3.2.8)，函数类型(§3.2.9)或元组类型(§3.2.5)的一部分出现。它们的扩展也就是等价参数化类型的扩展  
示例3.2.5 假定以下类定义：  
class Ref\[T\]  
abstract class Outer \{ type T \}  
以下是一些既存类型的例子：  
Ref\[T\] forSome \{ type T <: java.lang.Number \}  
Ref\[x.T\] forSome \{ val x: Outer \}  
Ref\[x\_type \# T\] forSome \{ type x\_type <: Outer with Singleton \}  
非值类型  
列表中的后两个类型是等价的。使用通配符语法的另一种形式是：  
Ref\[\_ <: java.lang.Number\]  
Ref\[(\_ <: Outer with Singleton)\# T\]  
示例3.2.6 类型List\[List\[\_\]\]等价于既存类型：  
List\[List\[t\] forSome \{ type t \}\]  
示例3.2.7 假定有协变类型：  
class List\[+T\]  
类型：  
List\[T\] forSome \{ type T <: java.lang.Number \}  
应用上面的第四条简化规则，上式等价于：  
List\[java.lang.Number\] forSome \{ type T <: java.lang.Number \}  
如果再应用上面的第二和第三条简化规则，上式可化为：

List\[java.lang.Number\]

更多精彩内容请关注：[http://bbs.superwu.cn][http_bbs.superwu.cn]

关注超人学院微信二维码：![20150602165401195][].

关注超人学院java免费学习交流群：![20150602165243245][]

转载于:https://blog.51cto.com/crxy2013/1657614

[http_bbs.superwu.cn]: http://bbs.superwu.cn
[20150602165401195]: /images/20220110/dbd4307eaf094edb8fc9a7525abaa2a7.png
[20150602165243245]: /images/20220110/beebdc49811e436db58743e3de4ab737.png