scala - Scala 泛型类型约束

Question

我现在正在阅读Programming Scala。我刚刚读完关于隐式类型转换的章节，其中<%介绍了符号。还有一个<:符号和一个<符号。

有人可以总结一下不同的类型约束吗？例如，我正在努力解决和之间的<:区别<。我很好奇是否还有其他我尚未介绍的内容。

Answer 1

没有称为 的类型约束<。

A <: B意思A是字面上的子类型B（其中子类型是反身定义的，这意味着对于任何类型T都是T <: T）。

A <% B手段A要么是 的子类型，B要么存在从A到不同类型的隐式转换AAwhich AA <: B。这称为“视图边界”。

A >: B手段A是 的超类型B。