在 Scala 中，类型类（Type Class）是一种怎样的编程模式？请说明其基本概念，并阐述如何利用类型类机制来实现多态行为。

回答思路

1. 【回答框架 1】类型类是一种模式，通过隐式参数和隐式实例将特定行为附加到已有类型，无需修改类型定义即可为类型添加功能。它由类型类定义（如 trait）、实例（implicit val）和使用处（上下文边界或隐式参数）三部分组成。
2. 【回答框架 2】实现多态时，类型类允许定义通用接口，针对不同类型提供不同实例，在编译期选择相应实现，实现ad-hoc多态。例如定义 Show[A] 类型类，为 Int、String 等提供实例，就可在泛型函数中通过类型类约束调用。
3. 【回答框架 3】现代 Scala 中推荐使用 given/using 语法（Scala 3）或 implicit 参数（Scala 2）传递实例。类型类实例必须唯一且可被编译器搜索到，可通过伴生对象或导入的方式提供。
4. 【回答框架 4】类型类与子类型多态的主要区别：类型类是开放性的，不侵入原有类型系统，可灵活为第三方类型添加行为，而子类多态要求类型之间有继承关系。
5. 【关键点 1】类型类模式由特征（定义行为）、实例（具体实现）、隐式机制（自动查找）组成。
6. 【关键点 2】通过类型类可以实现ad-hoc多态，在编译期选择合适的实例。
7. 【关键点 3】Scala 3 使用 given/using 替代 implicit 提供更清晰的语法。
8. 【关键点 4】类型类支持开放性扩展，无需修改原类型定义即可添加新行为。
9. 【易错点 1】实例重复定义会导致隐式解析歧义，需确保作用域内每个类型只有一个实例。
10. 【易错点 2】误用 implicit 可能导致编译错误，特别是隐式作用域搜索不当时。
11. 【易错点 3】类型类无法处理运行时多态（同一类型不同行为），需配合其他机制。