- 视界(“类型类”)
- 一个视界指定一个类型可以被“看作是”另一个类型。这对对象的只读操作是很有用的。
- 隐函数允许类型自动转换。更确切的说,在隐式函数可以帮助满足类型推断时,它们允许按需的函数应用。
- 视界,就像类型边界,要求对给定的类型存在这样一个函数。你可以使用<%指定类型限制。
- 其他类型限制
- 方法可以通过隐含参数执行更复杂的类型限制。
- 使用视图进行泛型编程。
- 上下文边界和implicitly[]。
- 更高级多态性类型和特设多态性
- scala可以对“更高阶”的类型进行抽象。
- F-界多态性
- 结构类型
- 抽象类型成员
- 类型擦除和清单
这部分和上部分的很多内容还不理解,后续需查阅其他资料学习。
No comments:
Post a Comment