📑 Table of Contents▼

泛型程序设计（英文：generic programming）是程序设计语言的一种风格或范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种程序语言和其编译器、运行环境对泛型的支持均不同。Ada、Delphi、Eiffel、Java、C#、F#、Swift 和 Visual Basic .NET 称之为泛型（generics）；ML、Scala 和 Haskell 称之为参数多态（Parametric polymorphism（英语：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()方法可于程序运行时得知泛型及其类型参数的实际类型，更可以运用反射式编程。

using System;

// 定義一個泛型列表類，T 表示類型參數
public class GenericList<T>
{
    private T[] _items; // 存儲列表items的數組
    private int _count; // 列表中items的計數

    // 構造函數，初始化列表的容量
    public GenericList(int capacity)
    {
        _items = new T[capacity];
        _count = 0;
    }

    // 添加item到列表中
    public void Add(T item)
    {
        if (_count < _items.Length)
        {
            _items[_count] = item;
            _count++;
        }
        else
        {
            Console.WriteLine("List capacity reached."); // 列表容量已滿
        }
    }

    // 根據索引獲取列表中的item
    public T GetItem(int index)
    {
        if (index >= 0 && index < _count)
        {
            return _items[index];
        }
        else
        {
            throw new IndexOutOfRangeException("Index out of range."); // 索引超出範圍
        }
    }
}

public class Program
{
    public static void Main()
    {
        // 創建一個存儲整數的泛型列表
        GenericList<int> intList = new GenericList<int>(3);
        intList.Add(1);
        intList.Add(2);
        intList.Add(3);
        Console.WriteLine(intList.GetItem(1));  // 輸出: 2

        // 創建一個存儲字符串的泛型列表
        GenericList<string> stringList = new GenericList<string>(2);
        stringList.Add("Hello");
        stringList.Add("World");
        Console.WriteLine(stringList.GetItem(0));  // 輸出: Hello
    }
}

在上面的例子中展示了一個簡單的泛型列表類 GenericList<T>，它可以存儲任何類型的數據（由 T 指定）。Program 類中的 Main 方法演示了如何使用這個泛型類來存儲和檢索整數和字符串。

.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. ^ Standard ECMA-335 Common Language Infrastructure (CLI) 4th Edition. June 2006 [2007-08-03]. （原始内容存档于2013-06-26）. 
  2. ^ James Gosling, Bill Joy, Guy Steele, Gilad Bracha. The Java Language Specification Third Edition. 2005 [2007-08-03]. （原始内容存档于2009-02-26）. 

參考文獻

编辑

延伸閱讀

编辑

外部連結

编辑
C++/D
C#/.NET
Delphi/Object Pascal
Eiffel
Haskell
Java


📚 Artikel Terkait di Wikipedia

Java

Edition（Java SE：Java平台标准版） Java Platform, Micro Edition（Java ME：Java平台微型版） Java Platform, Card Edition 2006年昇陽電腦在JavaOne公佈Java 開放原始碼項目，並推出OpenJDK计划。Java

JavaScript

JavaScript（通常缩写为JS）是一门基于原型和头等函数的多范式高级解释型编程语言，它支持面向对象程式設計、指令式编程和函数式编程。它提供方法来操控文本、数组、日期以及正则表达式等。不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它由Ecma通过ECMAScript实

菲利普·瓦德勒

(5): 1. doi:10.1145/130697.130699.  Wadler, Philip; Naftalin, Maurice. Java generics and collections. Sebastopol, CA: O'Reilly. 2007. ISBN 978-0-596-52775-4

Java版本歷史

自JDK 1.0版本以来，Java語言历经了多次迭代更新，并在基础程式庫中持续增添大量類別与包。自J2SE 1.4版本起，Java语言的演变过程交由 Java Community Process（JCP）统一管理，其采用Java规范请求（Java Specification

XobotOS

4.0從原本的基於Java/Dalvik移植到C#以探究C#的效能和記憶體佔用的優點。 XobotOS是把Android 4.0的源代碼半自動從Java移植到C#。自動移植部分採用了一個改進了的版本的Sharpen，以編譯更高級的Java constructs和支援generics

Java和C++的對照

也提供了可选的边界检查. 总的来说，Java 数组是"总是安全；严格限制；开销较多" ，而 C++ 原生数组是"可选的开销； 完全不限制；有潜在的不安全." C++ 和 Java 都提供泛型编程的能力，分别是模板 和 泛型(Generics in Java（英语：Generics in Java）).

Haskell

Escher（英语：Escher (programming language)）, F#, Frege, Hack, Idris, Isabelle, Java/Generics, LiveScript, Mercury, PureScript, Python, Raku, Rust, Scala, Swift,

类型擦除

通过某种通用类型来擦除类型：如boost.any 通过闭包来擦除类型：如std::function、lambda函数等 Java的类型擦除（英语：Generics in Java#Problems with type erasure） 类型多态 Langer, Angelika. What is reification