多态 (计算机科学)

编程语言类型论中,多态英語:)指为不同数据类型的实体提供统一的接口[1],或使用一个单一的符号来表示多个不同的类型[2]

多态的最常见主要类别有:

  • 特设多态:为个体的特定类型的任意集合定义一个共同接口。
  • 参数多态:指定一个或多个类型不靠名字而是靠可以标识任何类型的抽象符号。
  • 子类型(也叫做子类型多态或包含多态):一个名字指称很多不同的类的实例,这些类有某个共同的超类[3]

历史

在1967年,英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念》中[4],首次提出了特设多态和参数多态的概念。特设多态是Algol 68的特征,而参数多态是ML在1975年介入的类型系统的核心特征[5]

在1985年,彼得·瓦格纳卢卡·卡代利在论文中引入了术语「包含多态」来为子类型继承建模[2],引证1967年的Simula为子类型和继承的最早的对应实现。

类别

特设多态

克里斯托弗·斯特雷奇选择术语“特设多态”来指称一个多态函数可以应用于有不同类型的实际参数上,但是以来它们所应用到的实际参数类型而有不同的表现(也叫做为函数重载运算符重载[6]。在这个上下文中术语“特设”(ad hoc)不意图表达贬义,它只是简单的指出这种多态不是类型系统的基本特征。在下面的Pascal/Delphi例子中,在查看Add函数的调用的时候,它好像通用的工作在各种类型之上,但编译器对所有意图和用途都把它们视为完全不同的两个函数:

program Adhoc;

function Add(x, y : Integer) : Integer;
begin
    Add := x + y
end;

function Add(s, t : String) : String;
begin
    Add := Concat(s, t)
end;

begin
    Writeln(Add(1, 2));                   (* 打印"3"             *)
    Writeln(Add('Hello, ', 'Mammals!'));    (* 打印"Hello, Mammals!" *)
end.

动态类型语言中情况可能更加复杂,因为需要调用的正确函数只能在运行时间确定。

隐式类型转换也被定义为多态的一种形式,叫做“强迫多态”[2][7]

参数多态

参数多态允许函数或数据类型被一般性的书写,从而它可以“统一”的处理值而不用依赖于它们的类型[8]。参数多态是使语言更加有表现力而仍维持完全的静态类型安全的一种方式。这种函数和数据类型被分别称为“泛化函数”和“泛化数据类型”从而形成了泛型编程的基础。

例如,可以构造连接两个列表的一个函数append,它不关心元素的类型:它可以附加整数的列表、实数的列表、字符串的列表等等。设定“类型变量a”来指定这个列表中元素的类型。接着append可以确定类型:

forall a. [a] × [a] -> [a]

这里的[a]指示具有类型a的元素的列表类型。我们称对于a的所有的值,append的类型“由a参数化”。结果的列表必须由相同类型的元素组成。对于应用append的每个位置,都要为a确定一个值。

参数多态的概念适用于数据类型函数二者。可以被求值或应用于不同类型的值之上的函数叫做“多态函数”。看起来具有泛化类型性质的数据类型(比如具有任意类型的元素的列表)被指认为“多态数据类型”,就像根据它来做特殊化的泛化类型那样。

参数多态在函数式编程之中是普遍的,在这里它经常被简称为“多态”。下面的Haskell例子展示了参数化列表数据类型和在其上的两个参数多态函数:

data List a = Nil | Cons a (List a)

length :: List a -> Integer
length Nil         = 0
length (Cons x xs) = 1 + length xs

map :: (a -> b) -> List a -> List b
map f Nil         = Nil
map f (Cons x xs) = Cons (f x) (map f xs)

参数多态在很多面向对象语言中也能获得到。例如,C++D模板,和在C#DelphiJava中所称谓的泛型:

class List<T> {
    class Node<T> {
        T elem;
        Node<T> next;
    }
    Node<T> head;
    int length() { ... }
}

List<B> map(Func<A, B> f, List<A> xs) {
    ...
}

John C. Reynolds(和后来的Jean-Yves Girard)正式的将这种多态概念发展为对lambda演算的扩展(叫做多态lambda演算或系统F)。任何参数多态函数都必然在能做什么上受到限制,工作在数据的形状而不是它的值之上,这导致了parametricity的概念。

子类型

面向对象程序设计中,计算机程序執行時,相同的訊息可能會送給多個不同的類別之物件,而系統可依據物件所屬類別,引發對應類別的方法,而有不同的行為。簡單來說,所謂多型意指相同的訊息給予不同的物件會引發不同的動作。比如有動物之類別,而且由動物繼承出類別貓和類別狗,並對同一源自類別動物(父類別)之一訊息有不同的響應,如類別動物有「叫」之動作,而類別貓會「喵喵」,類別狗則會「汪汪」,則稱之為多型態。

在下面的这个例子中猫和狗都是动物的子类型。过程letsHear()接受一个动物,但在传递给它一个子类型的时候也能正确工作:

abstract class Animal {
    abstract String talk();
}

class Cat extends Animal {
    String talk() {
        return "Meow!";
    }
}

class Dog extends Animal {
    String talk() {
        return "Woof!";
    }
}

static void letsHear(final Animal a) {
    println(a.talk());
}

static void main(String[] args) {
    letsHear(new Cat());
    letsHear(new Dog());
}

多态可分为变量多态与函数多态。变量多态是指:基类型的变量(对于C++是引用或指针)可以被赋值基类型对象,也可以被赋值派生类型的对象。函数多态是指,相同的函数调用界面(函数名与实参表),传送给一个对象变量,可以有不同的行为,这视该对象变量所指向的对象类型而定。多态也可定义为“一种将不同的特殊行为和单个泛化记号相关联的能力”,变量多态是函数多态的基础。

实现角度类别

依据实现时做出的选择,多态可分为:

  • 动态多态(dynamic polymorphism):生效于运行期
  • 静态多态(static polymorphism):将不同的特殊行为和单个泛化记号相关联,由于这种关联处理于编译期而非运行期,因此被称为“静态”。可以用来实现类型安全、运行高效的同质对象集合操作。C++ STL不采用动态多态来实现就是个例子。

对于C++语言,带变量的宏和函数重载机制也允许将不同的特殊行为和单个泛化记号相关联。然而,习惯上并不将这种函数多态、宏多态展现出来的行为称为多态(或静态多态),否则就连C语言也具有宏多态了。谈及多态时,默认就是指动态多态,而静态多态则是指基于模板的多态。

参见

参考资料

  1. Bjarne Stroustrup. . February 19, 2007 [2018-06-29]. (原始内容存档于2018-06-29). polymorphism – providing a single interface to entities of different types.
  2. Cardelli, Luca; Wegner, Peter. (PDF). ACM Computing Surveys (New York, NY, USA: ACM). December 1985, 17 (4): 471–523 [2018-06-29]. ISSN 0360-0300. doi:10.1145/6041.6042. (原始内容 (PDF)存档于2019-10-14).: "Polymorphic types are types whose operations are applicable to values of more than one type."
  3. Booch, et al 2007 Object-Oriented Analysis and Design with Applications. Addison-Wesley.
  4. Strachey, Christopher. . Higher-Order and Symbolic Computation. 2000, 13 (1/2): 11–49. ISSN 1573-0557. doi:10.1023/A:1010000313106.
  5. Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", Proc. Conference on Proving and Improving Programs, Arc-et-Senans (1975)
  6. Christopher Strachey. (PDF). www.itu.dk (Kluwer Academic Publishers). [2012-10-13]. (原始内容存档 (PDF)于2017-08-12).
  7. Allen B. Tucker. . Taylor & Francis. 28 June 2004: 91– [2021-02-06]. ISBN 978-1-58488-360-9. (原始内容存档于2017-03-31).
  8. Pierce, B. C. 2002 Types and Programming Languages. MIT Press.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.