泛型编程

泛型进程设计（英文：generic programming）是进程设计语言的一种风格或范型。泛型允许进程员在强类型进程设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种进程语言和其编译器、运行环境对泛型的支持均不同。Ada、Delphi、Eiffel、Java、C#、F#、Swift 和 Visual Basic .NET 称之为泛型（generics）；ML、Scala 和 Haskell 称之为参数多态（parametric polymorphism）；C++ 和 D称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型（parameterized type）。

多态
特设多态
参数多态
子类型

泛型的定义及目的

泛型的定义主要有以下两种：

  1. 在进程编码中一些包含类型参数的类型，也就是说泛型的参数只可以代表，不能代表个别。（这是当今常见的定义）
  2. 在进程编码中一些包含参数的。其参数可以代表或等等。（现在人们大多把这称作模板）

不论使用哪个定义，泛型的参数在真正使用泛型时都必须作出指明。

一些强类型进程语言支持泛型，其主要目的是加强类型安全及减少转换的次数，但一些支持泛型的进程语言只能达到部份目的。

伪代码例子

 
类　例泛类<T> {
　　值 : T

　　设置值(新值 : T) {
　　　　值 := 新值
　　}

　　获取值() : T {
　　　　返回　值
　　}
}

例方法1() {
　　例对象 : 例泛类<整数型>
　　例对象 := 新　例泛类<整数型>()
　　例对象.设置值(5)
　　输出整数(例对象.获取值())
}

例方法2() {
　　例对象 : 例泛类<浮点数型>
　　例对象 := 新　例泛类<浮点数型>()
　　例对象.设置值(5.5)
　　输出浮点数(例对象.获取值())
}

在这例子中，例泛是一个泛型，而T是一个类型参数。在例泛中没指明T的实际类型，只有例方法1()和例方法2()在使用例泛时才加以指明。

运行这例子的例方法1()将输出整数5，而运行例方法2()将输出浮点数5.5。

一些进程语言的泛型特性

.NET 的泛型
条目：.NET Framework泛型

.NET 泛型的参数只可以代表，不能代表个别。由于 .NET 泛型的类型参数之实际类型在运行时均不会被消除，运行速度会因为类型转换的次数减少而加快。另外，使用GetType()方法可于进程运行时得知泛型及其类型参数的实际类型，更可以运用反射式编程。

.NET 允许对个别泛型的类型参数进行约束，包括以下几种形式[1]（假设T是泛型的类型参数，C是一般、泛类，或是泛型的类型参数）：

  • T是一个。
  • T是一个值类型。
  • T具有无参数的公有建构方法。
  • T实现I。
  • T是C，或继承自C。

Java 的泛型
参见：Java和Java 5.0

Java 泛型的参数只可以代表，不能代表个别。由于Java泛型的类型参数之实际类型在编译时会被消除，所以无法在运行时得知其类型参数的类型，而且无法直接使用基本值类型作为泛型类型参数。Java编译进程在编译泛型时会自动加入类型转换的编码，故运行速度不会因为使用泛型而加快。

由于运行时会消除泛型的对象实例类型信息等缺陷经常被人诟病，Java及JVM的开发方面也尝试解决这个问题，例如：Java通过在生成字节码时添加类型推导辅助信息，从而可以通过反射接口获得部分泛型信息；通过改进泛型在JVM的实现，使其支持基本值类型泛型和直接获得泛型信息等。

Java允许对个别泛型的类型参数进行约束，包括以下两种形式[2]（假设T是泛型的类型参数，C是一般、泛类，或是泛型的类型参数）：

  • T实现接口I。
  • T是C，或继承自C。

C++的泛型（模板）

C++ 泛型的参数可以代表或个别。在一般意义上，C++ 缺乏对泛型的类型参数进行直接约束的手段，但可利用 SFINAE（模板代换失败非错误，指在模板实例化过程中的错误仅意味此次代换失败，并不一定产生编译错误）规则及 C++11 的 static_assert 等实现相似功能。

#include <type_traits>

class B{
...
};
class D: public B{
...
};
template<typename T>
void SFINAE(const std::enable_if_t<std::is_base_of<B, T>::value, T> &t);
template<typename T>
void STATIC_ASSERT(const T &t){
    static_assert(std::is_pod<T>::value, "Use with POD types only!");
}

如上所示，std::enable_if（std::enable_if_t<boolean, Type> 是 std::enable_if<boolean, Type>::type 的缩写）利用 SFINAE 规则来实现模板类型参数约束的手段之一。其实现方式是若布尔判断为假，则把类型设为 void，而这将导致 const void & 这种不合法的类型出现，从而禁止这种类型参数的使用。

static_assert 则在布尔判断失败时把后面的字符串作为消息内容报告为编译错误。

在编译时，每个被使用的封闭泛型类型（即是所有泛型参数的实际类型都已被指明的泛型）都会有独立的编码产生，编译进程会在此时确保类型安全性。可是如果泛型要运用其泛型参数的某成员，而该泛型参数又不包含该成员的时候，编译进程所产生的错误信息或会看似与实际问题无关，增加除错的难度。

数据源
  1. 4th Edition. June 2006 [2007-08-03]. （原始内容存档于2013-06-26）.
  2. James Gosling, Bill Joy, Guy Steele, Gilad Bracha. Third Edition. 2005 [2007-08-03]. （原始内容存档于2009-02-26）.

参考文献
  • Musser, D. R.; Stepanov, A. A. . P. Gianni (编). . Lecture Notes in Computer Science 358. 1989: 13–25. ISBN 978-3-540-51084-0. doi:10.1007/3-540-51084-2_2.
  • Stroustrup, Bjarne. (PDF). ACM HOPL 2007. 2007 [2018-04-04]. （原始内容存档 (PDF)于2007-11-20）.
  • Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John. . Addison-Wesley. 1994. ISBN 0-201-63361-2.

延伸阅读

外部链接
C++/D
  • Walter Bright, Templates Revisited （页面存档备份，存于）.
  • David Vandevoorde, Nicolai M Josuttis, C++ Templates: The Complete Guide, 2003 Addison-Wesley. ISBN 0-201-73484-2
C#/.NET
Delphi/Object Pascal
Eiffel
Haskell
Java
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.