深度剖析C++中的C++類型
在C++中，C++類模板不能直接使用，必須先實例化為相應的模板類，定義模板類的對象后，才可使用，可以用以下方式創(chuàng)建類模板的實例，下面進行學習探討，希望大家能夠喜歡。
模板（template）利用一種完全通用的方法來設(shè)計函數(shù)或類而不必預先說明將被使用的每個對象的類型，利用模板功能可以構(gòu)造相關(guān)的函數(shù)或類的系列。因此模板也可稱為參數(shù)化的類型。在C++類型中，模板可分為類模板（class template）和函數(shù)模板（function template）。
在程序中說明了一個函數(shù)模板后，編譯系統(tǒng)發(fā)現(xiàn)有一個相應的函數(shù)調(diào)用時，將根據(jù)實參中的類型來確認是否匹配函數(shù)模板中對應的形參。然后生成一個重載函數(shù)。該重載函數(shù)的定義體與函數(shù)模板的函數(shù)定義體相同，稱之為模板函數(shù)（template function）。
函數(shù)模板與模板函數(shù)的區(qū)別是：函數(shù)模板是模板的定義，定義中用到通用類型參數(shù)。模版函數(shù)是實實在在的函數(shù)定義，它由編譯系統(tǒng)在遇到具體函數(shù)調(diào)用時所產(chǎn)生，具有程序代碼。
同樣，在說明了一個類模板之后，可以創(chuàng)建類模板的實例，即生成模板類。類模板與摸板類的區(qū)別是：類模板是模板的定義。不是一個實實在在的類，定義中用到通用類型參數(shù)；模板類是實實在在的類定義，是類模板的實例。
1.函數(shù)模板
通過前面知識的學習可知，在所定義的函數(shù)中，函數(shù)形參的類型是固定的，當調(diào)用函數(shù)時，實參的類型要與被調(diào)函數(shù)的形參類型保持一致，否則會出現(xiàn)類型不一致的錯誤。因此，對于功能相同而只是參數(shù)的類型不同的情況，也必須定義不同的函數(shù)來分別完成相應的功能，這顯然是很不靈活的。
C++語言中提供的函數(shù)模板功能就是為解決以上問題而提出的。C++類型提供的函數(shù)模板可以定義一個對任何類型變量都可進行操作的函數(shù)，從而大大增強了函數(shù)設(shè)計的通用性。
因為普通函數(shù)只能傳遞變量參數(shù)，而函數(shù)模板卻提供了傳遞類型的機制在上面的定義形式中，<參數(shù)形參表>可以有一到若干個形參，各形參前必須加上class關(guān)鍵字，表示傳遞類型，當有多個形參時，各形參間用逗號分隔。
從中可以看出，<類型形參表>中的每個形參就表示了一種數(shù)據(jù)類型。“形參表”中至少有一個形參的類型必須用<類型形參表>中的形參來定義。函數(shù)模板只是說明，不能直接執(zhí)行，需要實例化為模板函數(shù)后才能執(zhí)行。當編譯系統(tǒng)發(fā)現(xiàn)有一個函數(shù)調(diào)用：函數(shù)名（實參表）；
將根據(jù)“實參表”中的實參的類型和已定義的函數(shù)模板生成一個重載函數(shù)即模板函數(shù)。該模板函數(shù)的定義體與函數(shù)模板的定義體相同，而“形參表”中的類型則以“實參表”中的實際類型為依據(jù)。
2.類模板
<C++類型形參表>中可以包括一到若干個形參，這些形參既可以是“類型形參”，也可以是“表達式形參”。每個類型形參前必須加class關(guān)鍵字，表示對類模板進行實例化時代表某種數(shù)據(jù)類型。
也就是說，C++類型形參是在類模板實例化時傳遞數(shù)據(jù)類型用的；表達式形參的類型是某種具體的數(shù)據(jù)類型，當對類模板進行實例化時，給這些參數(shù)提供的是具體的數(shù)據(jù)，也就是說，表達式形參是用來傳遞具體數(shù)據(jù)的。當<類型形參表>中的參數(shù)有多個時，需用逗號隔開。如：
- template <class arg1，int arg2，class arg3>
- class myclass
- {
- //類的定義體
- }；
【編輯推薦】
