泛型編程

泛型程序設計 （ 英文 ： 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 ） 。