Scala中子类型多态与通用多态的区别及通用多态定义

Hey there! Since you already got a handle on subtype polymorphism from Scala Programming (3rd Edition) Chapter 10.4, let's dive into what generic (parametric) polymorphism looks like in Scala, and how it stacks up against the subtype variant you're familiar with.

什么是Scala中的通用多态 #

通用多态（often called parametric polymorphism）是指定义能处理多种类型的代码，完全不需要依赖类型之间的继承关系。它靠类型参数实现——你可以给类、特质或者方法指定一个或多个类型参数，让它们适配任意符合约束的类型。

Scala的标准集合类是最典型的例子：

// 定义时用类型参数A抽象元素类型
class List[A](val head: A, val tail: List[A])

// 使用时可以传入Int、String甚至自定义类型
val numbers: List[Int] = List(1, 2, 3)
val words: List[String] = List("foo", "bar", "baz")

这里的List[A]根本不关心A是什么类型（除非你加了显式约束），只要符合要求就能正常工作。这种多态是编译时确定的，编译器会为每个实际使用的类型完成类型检查，JVM上的Scala会做类型擦除，但核心逻辑在编译阶段就已经绑定好了。

和子类型多态的核心差异 #

先回顾下你在书中看到的子类型多态定义：

在10.4节中你已了解到，Element类型的变量可以引用ArrayElement类型的对象，这种现象被称为多态，意为‘多种形态’，此时Element对象可呈现多种形式[7]……[7]这类多态被称为子类型多态……

两者的核心区别可以从这几个角度拆解：

• 依赖关系不同：

  • 子类型多态必须依赖继承/子类型关系：比如ArrayElement得是Element的子类（或实现了该特质），才能让Element类型的变量引用它。
  • 通用多态完全不依赖继承：类型参数可以是任意类型（你也可以加约束，比如A <: Element限定范围），不同类型之间不需要有任何继承关联就能被同一个通用代码处理。

• 实现机制不同：

  • 子类型多态靠动态绑定生效：调用方法时，实际执行的逻辑由运行时对象的真实类型决定（比如Element的draw方法，会实际调用ArrayElement的实现）。
  • 通用多态靠类型参数化实现：编译期就确定了具体的类型，运行时没有动态绑定的过程（除非你同时结合了子类型多态）。

• 适用场景不同：

  • 子类型多态适合抽象同一接口的不同实现：比如所有Element子类都实现了draw，你可以用Element类型统一处理它们，不用关心具体是哪个子类。
  • 通用多态适合抽象不同类型的相同逻辑：比如集合的增删改查逻辑，不管存的是数字还是字符串，逻辑都是一致的，不需要为每个类型写单独的集合类。

当然，你也可以把两者结合起来用，比如给通用类加上子类型约束：

// 只接受Element的子类型作为容器元素
class ElementContainer[A <: Element](val element: A)
val arrContainer: ElementContainer[ArrayElement] = ElementContainer(new ArrayElement(Array("hello")))

这里就同时用到了通用多态（ElementContainer[A]的参数化）和子类型多态（A <: Element的约束）。

内容的提问来源于stack exchange，提问作者rapt