摘要

本章介绍了大多数上下文抽象主题，包括

• 扩展方法
• 给定实例和使用子句
• 上下文界限
• 给定导入
• 类型类
• 多重相等
• 隐式转换

这些特性都是术语推断核心思想的变体：给定一个类型，编译器会合成一个具有该类型的“规范”术语。

这里没有涵盖一些更高级的主题，包括

• 条件给定实例
• 类型类派生
• 上下文函数
• 按名称上下文参数
• 与 Scala 2 隐式的关系

这些主题在 参考文档 中进行了详细讨论。