計算機編程語言種類繁多，目前能夠查詢到的有 600 多種，常用的不超過 20 種，TIOBE 每個月都會發布世界編程語言排行榜，統計前 50 名編程語言的市場份額以及它們的變動趨勢。該榜單反映了編程語言的熱門程度，程序員可以據此來檢查自己的開發技能是否跟得上趨勢，公司或機構也可以據此做出戰略調整。

這些編程語言根據不同的標準可以分為不同的種類，根據“在定義變量時是否需要顯式地指明數據類型”可以分為

強類型語言和弱類型語言。

強類型語言
強類型語言在定義變量時需要顯式地指明數據類型，并且一旦為變量指明了某種數據類型，該變量以后就不能賦予其他類型的數據了，除非經過強制類型轉換或隱式類型轉換。典型的強類型語言有 C/C++、Java、C# 等。

下面的代碼演示了如何在 C/C++ 中使用變量：

強類型語言

int a = 100; //不轉換 a = 12.34; //隱式轉換（直接舍去小數部分，得到12） a = (int)"http://c.biancheng.net"; //強制轉換（得到字符串的地址）

下面的代碼演示了如何在 Java 中使用變量

int a = 100; //不轉換 a = (int)12.34; //強制轉換（直接舍去小數部分，得到12）

Java 對類型轉換的要求比 C/C++ 更為嚴格，隱式轉換只允許由低向高轉，由高向低轉必須強制轉換。

弱類型語言

弱類型語言在定義變量時不需要顯式地指明數據類型，編譯器（解釋器）會根據賦給變量的數據自動推導出類型，并且可以賦給變量不同類型的數據。典型的弱類型語言有 JavaScript、Python、PHP、Ruby、Shell、Perl 等。
下面的代碼演示了如何在 JavaScript 中使用變量：

var a = 100; //賦給整數 a = 12.34; //賦給小數 a = "http://c.biancheng.net"; //賦給字符串 a = new Array("JavaScript","React","JSON"); //賦給數組

var 是 JavaScript 中的一個關鍵字，表示定義一個新的變量，而不是數據類型。

下面的代碼演示了如何在 PHP 中使用變量：

$a = 100; //賦給整數 $a = 12.34; //賦給小數 $a = "http://c.biancheng.net"; //賦給字符串 $a = array("JavaScript","React","JSON"); //賦給數組

類型對于編程語言來說非常重要，不同的類型支持不同的操作，例如class Student類型的變量可以調用 display() 方法，int類型的變量就不行。不管是強類型語言還是弱類型語言，在編譯器（解釋器）內部都有一個類型系統來維護變量的各種信息

對于強類型的語言，變量的類型從始至終都是確定的、不變的，編譯器在編譯期間就能檢測某個變量的操作是否正確，這樣最終生成的程序中就不用再維護一套類型信息了，從而減少了內存的使用，加快了程序的運行。
對于弱類型的語言，變量的類型可以隨時改變，賦予它什么類型的數據它就是什么類型，編譯器在編譯期間不好確定變量的類型，只有等到程序運行后、真的賦給變量一個值了，才能確定變量當前是什么類型，所以傳統的編譯對弱類型語言意義不大，因為即使編譯了也有很多東西確定不下來。

弱類型語言往往是一邊執行一邊編譯，這樣可以根據上下文（可以理解為當前的執行環境）推導出很多有用信息，讓編譯更加高效。我們將這種一邊執行一邊編譯的語言稱為解釋型語言，而將傳統的先編譯后執行的語言稱為編譯型語言。

強類型語言較為嚴謹，在編譯時就能發現很多錯誤，適合開發大型的、系統級的、工業級的項目；而弱類型語言較為靈活，編碼效率高，部署容易，學習成本低，在 Web 開發中大顯身手。另外，強類型語言的 IDE 一般都比較強大，代碼感知能力好，提示信息豐富；而弱類型語言一般都是在編輯器中直接書寫代碼。

模板所支持的類型是寬泛的，沒有限制的，我們可以使用任意類型來替換，這種編程方式稱為泛型編程（Generic Programming）。

相應地，可以將參數 T 看做是一個泛型，而將 int、float、string 等看做是一種具體的類型。除了 C++，Java、C#、Pascal（Delphi）也都支持泛型編程。

C++ 模板也是被迫推出的，最直接的動力來源于對數據結構的封裝。數據結構關注的是數據的存儲，以及存儲后如何進行增加、刪除、修改和查詢操作，它是一門基礎性的學科，在實際開發中有著非常廣泛的應用。C++ 開發者們希望為線性表、鏈表、圖、樹等常見的數據結構都定義一個類，并把它們加入到標準庫中，這樣以后程序員就不用重復造輪子了，直接拿來使用即可。

但是這個時候遇到了一個無法解決的問題，就是數據結構中每份數據的類型無法提前預測。以鏈表為例，它的每個節點可以用來存儲小數、整數、字符串等，也可以用來存儲一名學生、教師、司機等，還可以直接存儲二進制數據，這些都是可以的，沒有任何限制。而 C++ 又是強類型的，數據的種類受到了嚴格的限制，這種矛盾是無法調和的。

要想解決這個問題，C++ 必須推陳出新，跳出現有規則的限制，開發新的技術，于是模板就誕生了。模板雖然不是 C++ 的首創，但是卻在 C++ 中大放異彩，后來也被 Java、C# 等其他強類型語言采用。

C++ 模板有著復雜的語法，可不僅僅是前面兩節講到的那么簡單，它的話題可以寫一本書。C++ 模板也非常重要，整個標準庫幾乎都是使用模板來開發的，STL 更是經典之作。

STL（Standard Template Library，標準模板庫）就是 C++ 對數據結構進行封裝后的稱呼 《新程序員》：云原生和全面數字化實踐50位技術專家共同創作，文字、視頻、音頻交互閱讀

總結

以上是生活随笔為你收集整理的模板编程的来龙去脉的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。