类型类模式
特设多态
类型类模式 是 CoddyKit 上的免费 Scala for Backend Engineering & Functional Programming 课时。 这是第 1 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Scala for Backend Engineering & Functional Programming 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Scala for Backend Engineering & Functional Programming 课程共包含 4 节课。
什么是类型类？
类型类是一种为类型添加行为的模式，无需修改这些类型。它属于特设多态的一种形式：同一个操作可以用于许多互不相关的类型，编译器会根据类型选择具体实现。
这种模式源自 Haskell，并广泛用于 Cats 等 Scala 库。
它解决的问题
继承会在类型定义时就将行为固定到类型中。但您经常无法编辑某个类型（例如它位于库中），或者希望在不同上下文中使用不同的行为。类型类可以让您在外部附加行为。
第 1 步：定义特征
类型类是一个由类型参数化的 trait。这里的 Show[A] 描述了如何将任意 A 渲染为 String。
trait Show[A] {
def show(value: A): String
}
@main def run(): Unit = {
println("Show trait defined")
}第 2 步：提供实例
对于您希望支持的每种具体类型，都要创建该特征的一个 instance。这些就是类型类实例。
trait Show[A] { def show(value: A): String }
object Main {
val intShow: Show[Int] = (v: Int) => s"Int($v)"
val strShow: Show[String] = (v: String) => s"Str($v)"
def main(args: Array[String]): Unit = {
println(intShow.show(7))
println(strShow.show("hi"))
}
}第 3 步：使用实例
函数会将实例作为参数。同一个 render 函数可以用于任何拥有 Show 实例的类型。
trait Show[A] { def show(value: A): String }
object Main {
def render[A](value: A, s: Show[A]): String = s.show(value)
val intShow: Show[Int] = (v: Int) => s"<$v>"
def main(args: Array[String]): Unit = {
println(render(99, intShow))
}
}设为隐式
手动传递实例很繁琐。将实例和参数标记为 implicit（Scala 3 中也可以使用 using），就能让编译器自动提供实例。
trait Show[A] { def show(value: A): String }
object Main {
implicit val intShow: Show[Int] = (v: Int) => s"<$v>"
def render[A](value: A)(implicit s: Show[A]): String = s.show(value)
def main(args: Array[String]): Unit = {
println(render(42))
}
}特设多态
同一个函数名会根据参数类型分派到不同的实现。这就是特设多态，与子类型多态（继承）和参数多态（泛型）不同。
trait Show[A] { def show(value: A): String }
object Main {
implicit val intShow: Show[Int] = (v: Int) => s"int:$v"
implicit val boolShow: Show[Boolean] = (v: Boolean) => s"bool:$v"
def render[A](value: A)(implicit s: Show[A]): String = s.show(value)
def main(args: Array[String]): Unit = {
println(render(5))
println(render(true))
}
}使用自定义类型
这种模式的真正优势在于：您可以清晰地为自己的类型添加行为，同时让数据类不必处理格式化问题。
trait Show[A] { def show(value: A): String }
case class User(name: String, age: Int)
object Main {
implicit val userShow: Show[User] = (u: User) => s"${u.name} (${u.age})"
def render[A](value: A)(implicit s: Show[A]): String = s.show(value)
def main(args: Array[String]): Unit = {
println(render(User("Ada", 36)))
}
}类型类与接口
接口会将行为与类型定义绑定在一起，而类型类则将两者解耦。
- 您可以为不属于自己的类型添加类型类实例。
- 您可以针对不同上下文拥有多个实例。
- 编译器会在调用位置选择行为。
三个组成部分
每个类型类都包含三个部分：
- 特征（抽象操作）。
- 实例（针对各类型的实现）。
- 接口（要求提供实例的函数）。
您将在接下来的课程中逐一学习这些部分。
完整的简短示例
通过使用隐式实例的泛型函数，将这一模式串联起来。
trait Show[A] { def show(value: A): String }
object Main {
implicit val intShow: Show[Int] = (v: Int) => s"#$v"
implicit val strShow: Show[String] = (v: String) => '"' + v + '"'
def printAll[A](xs: List[A])(implicit s: Show[A]): Unit =
xs.foreach(x => println(s.show(x)))
def main(args: Array[String]): Unit = {
printAll(List(1, 2, 3))
printAll(List("a", "b"))
}
}快速检查
测试您对类型类模式的理解程度。
回顾
您已经学会了类型类模式：
- 参数化的
trait描述一种操作。 - 实例针对具体类型实现该操作。
implicit参数让编译器能够提供实例。- 这带来了特设多态，也让您可以扩展不属于自己的类型。
常见问题解答
「类型类模式」课时是免费的吗？
是的 — 「类型类模式」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Scala for Backend Engineering & Functional Programming 课程的其余内容，请升级到 CoddyKit PRO。 Scala for Backend Engineering & Functional Programming 课程共包含 4 节课。
「类型类模式」这节课中我会学到什么？
特设多态 你通过在浏览器中直接运行的动手代码来练习 Scala for Backend Engineering & Functional Programming，全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Scala for Backend Engineering & Functional Programming 需要有经验吗？
无需任何先前经验。CoddyKit 上的 Scala for Backend Engineering & Functional Programming 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 1 节课，共 4 节。
「类型类模式」课时需要多长时间？
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。
我能在这节 Scala for Backend Engineering & Functional Programming 课中编写并运行代码吗？
能。每节 Scala for Backend Engineering & Functional Programming 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。