基本介紹
- 中文名：泛型編程
- 外文名：Generic Programming
- 所屬門類：軟體學科
- 代表作品：STL
簡介,概述,由來,泛型的機制,機制,編譯機制,
簡介
概述
泛型編程的代表作品STL是一種高效、泛型、可互動操作的軟體組件。STL以疊代器 (Iterators)和容器(Containers)為基礎，是一種泛型算法(Generic Algorithms)庫，容器的存在使這些算法有東西可以操作。STL包含各種泛型算法(algorithms)、泛型疊代器（iterators）、泛型容器(containers)以及函式對象(function objects)。STL並非只是一些有用組件的集合，它是描述軟體組件抽象需求條件的一個正規而有條理的架構。
泛型的第一個好處是編譯時的嚴格類型檢查。這是集合框架最重要的特點。此外,泛型消除了絕大多數的類型轉換。如果沒有泛型，當你使用集合框架時，你不得不進行類型轉換。
關於泛型的理解可以總結下面的一句話，它是把數據類型作為一種參數傳遞進來。
泛型編程（Generic Programming）最初提出時的動機很簡單直接：發明一種語言機制，能夠幫助實現一個通用的標準容器庫。所謂通用的標準容器庫，就是要能夠做到，比如用一個List類存放所有可能類型的對象,這樣的事情；熟悉一些其它面向對象的語言的人應該知道，如Java裡面這是通過在List裡面存放Object引用來實現的。Java的單根繼承在這裡起到了關鍵的作用。然而單根繼承對C++這樣的處在語言鏈底層的語言卻是不能承受之重。此外使用單根繼承來實現通用容器也會帶來效率和類型安全方面的問題，兩者都與C++的理念不相吻合。
由來
泛型編程最初誕生於C++中，由Alexander Stepanov[2]和David Musser[3]創立。目的是為了實現C++的STL（標準模板庫）。其語言支持機制就是模板（Templates）。模板的精神其實很簡單：參數化類型。換句話說，把一個原本特定於某個類型的算法或類當中的類型信息抽掉，抽出來做成模板參數T。比如qsort泛化之後就變成了：
template<class RandomAccessIterator, class Compare>
void sort(RandomAccessIterator first, RandomAccessIterator last,
Compare comp);
