摘要

本章節提供大部分 Contextual Abstractions 主題的簡介，包括

• 擴充方法
• 已提供實例和使用子句
• 內容界限
• 已提供匯入
• 型別類別
• 多重等號
• 隱式轉換

這些功能都是術語推論核心概念的變體：給定一個型別，編譯器會綜合一個具有該型別的「標準」術語。

這裡未涵蓋一些更進階的主題，包括

• 條件已提供實例
• 類型類別推導
• 情境函數
• 依名稱傳遞的情境參數
• 與 Scala 2 隱含參數的關係

這些主題在 參考文件 中有詳細討論。