Scala泛型类型约束

Tra*_*rks 9 generics scala type-constraints

我正在阅读Programming Scala.我刚刚介绍了隐式类型转换的章节,其中<%引入了符号.还有一个<:符号和一个<符号.

有人可以总结一下不同的类型限制吗?我用的区别挣扎<:,并<为实例.我很好奇是否有其他我尚未涉及的其他人.

Ran*_*ulz 17

没有调用类型约束<.

A <: Bmeans A实际上是一个子类型B(其中subtype是自反定义的,意味着任何类型T都是这种情况T <: T).

A <% B手段A是要么的子类型B或存在来自隐式转换A到的独特的类型AA为其AA <: B.这称为"视图绑定".

A >: B手段A是超类型B.