Can you summarize the following document?
        
  標準模板庫系由創造於1979年前後,這也正是比雅尼·斯特勞斯特魯普創造C++的年代。  雖然David R. Musser於1971年開始即在計算機幾何領域發展並倡導某些泛型程式設計觀念,但早期並沒有任何程式語言支援泛型程式設計。 Alex和Musser曾於1987開發出一套相關的Ada library.  標準模板庫設計人Stepanov早期從事教育工作,1970年代研究泛型程式設計,那時他與其同事一起在GE公司開發出一個新的程式語言——Tecton。  1983年,Stepanov先生轉至紐約大學坦登工程學院擔任助理教授,繼續研究泛型程式設計,同時寫了許多Scheme的程式,應用在graph與network的演算法上,1985年又轉至GE公司專門教授高階程式設計,並將graph與network的Scheme程式,改用Ada寫,用了Ada以後,他發現到一個動態(dynamically)型別的程式(如Scheme)與強制(strongly)型別的程式(如Ada)有多麼的不同。  在動態型別的程式中,所有型別都可以自由的轉換成別的型別,而強制型別的程式卻不能。但是,強制型別在出錯時較容易發現程式錯誤。  1988年Stepanov先生轉至HP公司執行開發泛型程式庫的工作。此時,他已經認識C語言中指標(pointer)的威力,他表示一個程式設計師只要有些許硬體知識,就很容易接受C語言中指標的觀念,同時也瞭解到C語言的所有資料結構均可以指標間接表示,這點是C與Ada、Scheme的最大不同。  Stepanov並認為,雖然C++中的繼承功能可以表示泛型設計,但終究有個限制。雖然可以在基礎型別(superclass)定義演算法和介面,但不可能要求所有物件皆是繼承這些,而且龐大的繼承體系將減低虛擬(virtual)函式的執行效率,這便違反的前面所說的「效率」原則。  到了C++模板觀念,Stepanov參加了許多有關的研討會,與C++之父比雅尼討論模板的設計細節。如,Stepanov認為C++的函式模板(function template)應該像Ada一樣,在宣告其函式原型後,應該顯式的宣告一個函式模板之例項(instance);比雅尼則不然,他認為可以透過C++的過載(overloading)功能來表達。  Stepanov想像中的函式模板:  比雅尼認為的函式模板:  幾經爭辯,Stepanov發現比雅尼是對的(參考侯俊傑標準模板庫講座·第三章)。事後Stepanov回想起來非常同意比雅尼的作法。  事實上,C++的模板,本身即是一套複雜的巨集語言(macro language),巨集語言最大的特色為:所有工作在編譯時期就已完成。顯式的宣告函式模板之例項,與直接透過C++的多載功能隱式宣告,結果一樣,並無很大區別,只是前者加重程式設計師的負擔,使得程式變得累贅。  1992年Meng Lee加入Alex的專案,成為另一位主要貢獻者。  1992年,HP泛型程式庫計劃結束,小組解散,只剩下Stepanov先生與Meng Lee小姐(她是東方人,標準模板庫的英文名稱其實是取STepanov與Lee而來),Lee先前研究的是編譯器的製作,對C++的模板很熟,第一版的標準模板庫中許多程式都是Lee的傑作。  1993年,Andy Koenig到斯坦福大學演講,Stepanov便向他介紹標準模板庫,Koenig聽後,隨即邀請Stepanov參加1993年11月的ANSI/ISO C++標準化會議,並發表演講。  Bell實驗室的Andrew Koenig於1993年知道標準模板庫研究計劃後,邀請Alex於是年11月的ANSI/ISO C++標準委員會會議上展示其觀念。並獲得與會者熱烈的迴應。  1994年1月6日,Koenig寄封電子郵件給Stepanov,表示如果Stepanov願意將標準模板庫的說明檔案撰寫齊全,在1月25日前提出,便可能成為標準C++的一部分。Stepanov回通道:"Andy, are you crazy?" 。 Koenig便說:"Well, yes I am crazy, but why not try it?"。  Alex於是在次年夏天在滑鐵盧舉行的會議前完成其正式的提案,並以百分之八十壓倒性多數,一舉讓這個巨大的計劃成為C++ Standard的一部分。  標準模板庫於1994年2月年正式成為ANSI/ISO C++的一部分,它的出現,促使C++程式設計師的思維方式更朝向泛型程式設計(generic program)發展。

  STL 將“在資料上執行的操作”與“要執行操作的資料分開”,分別以如下概念指代:

  標準模板庫包含了序列容器(sequence containers)與關聯容器(associative containers)。

  迭代器是泛化的指標,通過使用迭代器,開發者可以運算元據結構而無需關心其內部實現。根據迭代器的操作方式的不同,迭代器分為五種:

  STL提供了一些常見 的演算法,如排序和搜尋等。這些演算法與資料結構的實現進行了分離。因此,用於也可對自定義的資料結構使用這些演算法,只需讓這些自定義的資料結構擁有演算法所預期的迭代器。。

  狹義的函式物件即過載了操作符()的類的例項,而廣義來講所有可用 x(...) 形式呼叫的 x 都可稱為函式物件、或曰可呼叫物件。。

  介面卡為一個模板類,用於提供介面對映。。

  一個常見的誤解是STL是C++標準程式庫的一部分,但事實上並非如此。例如hash table的資料結構實作在STL中有<hash_map>模板可供呼叫,但C++標準程式庫一直到C++11才加入了<unordered_map>。參見無序關聯容器_(STL)。
標準模板庫(英文:Standard Template Library,縮寫:STL),是一個C++軟體庫,大量影響了C++標準程式庫但並非是其的一部分。其中包含4個元件,分別為演算法、容器、函式、迭代器。