這篇文章給大家分享的是有關(guān)C++中Template函數(shù)模板的示例分析的內(nèi)容。小編覺(jué)得挺實(shí)用的，因此分享給大家做個(gè)參考，一起跟隨小編過(guò)來(lái)看看吧。

因?yàn)榕驼嬲\(chéng)，有更多的客戶和我們聚集在一起，為了共同目標(biāo)，成都創(chuàng)新互聯(lián)公司在工作上密切配合，從創(chuàng)業(yè)型企業(yè)到如今不斷成長(zhǎng)，要感謝客戶對(duì)我們的高要求，讓我們敢于面對(duì)挑戰(zhàn)，才有今天的進(jìn)步與發(fā)展。從網(wǎng)站到小程序制作,軟件開(kāi)發(fā),成都app開(kāi)發(fā),十多年企業(yè)網(wǎng)站建設(shè)服務(wù)經(jīng)驗(yàn),為企業(yè)提供網(wǎng)站設(shè)計(jì),成都網(wǎng)站托管一條龍服務(wù).為企業(yè)提供成都全網(wǎng)營(yíng)銷推廣,定制設(shè)計(jì),原創(chuàng)設(shè)計(jì),十多年品質(zhì),值得您的信賴.

為什么要有泛型編程

C++是一門(mén)強(qiáng)類型語(yǔ)言，所以無(wú)法做到像動(dòng)態(tài)語(yǔ)言（python javascript）那樣子，編寫(xiě)一段通用的邏輯，可以把任意類型的變量傳進(jìn)去處理。泛型編程彌補(bǔ)了這個(gè)缺點(diǎn)，通過(guò)把通用邏輯設(shè)計(jì)為模板，擺脫了類型的限制，提供了繼承機(jī)制以外的另一種抽象機(jī)制，極大地提升了代碼的可重用性。

注意：模板定義本身不參與編譯，而是編譯器根據(jù)模板的用戶使用模板時(shí)提供的類型參數(shù)生成代碼，再進(jìn)行編譯，這一過(guò)程被稱為模板實(shí)例化。用戶提供不同的類型參數(shù)，就會(huì)實(shí)例化出不同的代碼。

函數(shù)模板定義

把處理不同類型的公共邏輯抽象成函數(shù)，就得到了函數(shù)模板。

函數(shù)模板可以聲明為inline或者constexpr的，將它們放在template之后，返回值之前即可。

普通函數(shù)模板

下面定義了一個(gè)名叫compare的函數(shù)模板，支持多種類型的通用比較邏輯。

template<typename T>
int compare(const T& left, const T& right) {
  if (left < right) {
    return -1; 
  }
  if (right < left) {
    return 1; 
  }
  return 0;
}

compare<int>(1, 2); //使用模板函數(shù)

成員函數(shù)模板

不僅普通函數(shù)可以定義為模板，類的成員函數(shù)也可以定義為模板。

class Printer {
public:
  template<typename T>
  void print(const T& t) {
    cout << t <<endl;
  }
};

Printer p;
p.print<const char*>("abc"); //打印abc

為什么成員函數(shù)模板不能是虛函數(shù)(virtual)？

這是因?yàn)閏++ compiler在parse一個(gè)類的時(shí)候就要確定vtable的大小，如果允許一個(gè)虛函數(shù)是模板函數(shù)，那么compiler就需要在parse這個(gè)類之前掃描所有的代碼，找出這個(gè)模板成員函數(shù)的調(diào)用（實(shí)例化），然后才能確定vtable的大小，而顯然這是不可行的，除非改變當(dāng)前compiler的工作機(jī)制。

實(shí)參推斷

為了方便使用，除了直接為函數(shù)模板指定類型參數(shù)之外，我們還可以讓編譯器從傳遞給函數(shù)的實(shí)參推斷類型參數(shù)，這一功能被稱為模板實(shí)參推斷。

如何使用

compare(1, 2); //推斷T的類型為int
compare(1.0, 2.0); //推斷T的類型為double
p.print("abc"); //推斷T的類型為const char*

有意思的是，還可以通過(guò)把函數(shù)模板賦值給一個(gè)指定類型的函數(shù)指針，讓編譯器根據(jù)這個(gè)指針的類型，對(duì)模板實(shí)參進(jìn)行推斷。

int (*pf) (const int&, const int&) = compare; //推斷T的類型為int

當(dāng)返回值類型也是參數(shù)時(shí)

當(dāng)一個(gè)模板函數(shù)的返回值類型需要用另外一個(gè)模板參數(shù)表示時(shí)，你無(wú)法利用實(shí)參推斷獲取全部的類型參數(shù)，這時(shí)有兩種解決辦法：

返回值類型與參數(shù)類型完全無(wú)關(guān)，那么就需要顯示的指定返回值類型，其他的類型交給實(shí)參推斷。

注意：此行為與函數(shù)的默認(rèn)實(shí)參相同，我們必須從左向右逐一指定。

template<typename T1, typename T2, typename T3>
T1 sum(T2 v2, T3 v3) {
 return static_cast<T1>(v2 + v3);
}

auto ret = sum<long>(1L, 23); //指定T1, T2和T3交由編譯器來(lái)推斷

template<typename T1, typename T2, typename T3>
T3 sum_alternative(T1 v1, T2 v2) {
 return static_cast<T1>(v1 + v2);
}
auto ret = sum_alternative<long>(1L, 23); //error，只能從左向右逐一指定
auto ret = sum_alternative<long,int,long>(1L,23); //ok, 誰(shuí)叫你把最后一個(gè)T3作為返回類型的呢？

返回值類型可以從參數(shù)類型中獲得，那么把函數(shù)寫(xiě)成尾置返回類型的形式，就可以愉快的使用實(shí)參推斷了。

template<typename It>
auto sum(It beg, It end) -> decltype(*beg) {
 decltype(*beg) ret = *beg;
 for (It it = beg+1; it != end; it++) {
   ret = ret + *it;
 }
 return ret;
}

vector<int> v = {1, 2, 3, 4};
auto s = sum(v.begin(), v.end()); //s = 10

實(shí)參推斷時(shí)的自動(dòng)類型轉(zhuǎn)換

編譯器進(jìn)行模板實(shí)參推斷時(shí)通常不會(huì)對(duì)實(shí)參進(jìn)行類型轉(zhuǎn)換，只有以下幾種情況例外：

1. 普通對(duì)象賦值給const引用 int a = 0; -> const T&

2. 數(shù)組名轉(zhuǎn)換為頭指針 int a[10] = {0}; -> T*

3. 函數(shù)名轉(zhuǎn)換為函數(shù)指針 void func(int a){...} -> T*

 函數(shù)模板重載

函數(shù)模板之間，函數(shù)模板與普通函數(shù)之間可以重載。編譯器會(huì)根據(jù)調(diào)用時(shí)提供的函數(shù)參數(shù)，調(diào)用能夠處理這一類型的最特殊的版本。在特殊性上，一般按照如下順序考慮：

1. 普通函數(shù)

2. 特殊模板（限定了T的形式的，指針、引用、容器等）

3. 普通模板（對(duì)T沒(méi)有任何限制的）

對(duì)于如何判斷某個(gè)模板更加特殊，原則如下：如果模板B的所有實(shí)例都可以實(shí)例化模板A，而反過(guò)來(lái)則不行，那么B就比A特殊。

template<typename T>
void func(T& t) { //通用模板函數(shù)
  cout << "In generic version template " << t << endl;
}

template<typename T>
void func(T* t) { //指針版本
  cout << "In pointer version template "<< *t << endl;
}

void func(string* s) { //普通函數(shù)
  cout << "In normal function " << *s << endl;
}

int i = 10;
func(i); //調(diào)用通用版本，其他函數(shù)或者無(wú)法實(shí)例化或者不匹配
func(&i); //調(diào)用指針版本，通用版本雖然也可以用，但是編譯器選擇最特殊的版本
string s = "abc";
func(&s); //調(diào)用普通函數(shù)，通用版本和特殊版本雖然也都可以用，但是編譯器選擇最特化的版本
func<>(&s); //調(diào)用指針版本，通過(guò)<>告訴編譯器我們需要用template而不是普通函數(shù)

模板函數(shù)特化

有時(shí)通用的函數(shù)模板不能解決個(gè)別類型的問(wèn)題，我們必須對(duì)此進(jìn)行定制，這就是函數(shù)模板的特化。函數(shù)模板的特化必須把所有的模版參數(shù)全部指定。

template<>
void func(int i) {
  cout << "In special version for int "<< i << endl; 
}

int i = 10;
func(i); //調(diào)用特化版本

感謝各位的閱讀！關(guān)于“C++中Template函數(shù)模板的示例分析”這篇文章就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，讓大家可以學(xué)到更多知識(shí)，如果覺(jué)得文章不錯(cuò)，可以把它分享出去讓更多的人看到吧！

另外有需要云服務(wù)器可以了解下創(chuàng)新互聯(lián)建站www.rwnh.cn，海內(nèi)外云服務(wù)器15元起步，三天無(wú)理由+7*72小時(shí)售后在線，公司持有idc許可證，提供“云服務(wù)器、裸金屬服務(wù)器、高防服務(wù)器、香港服務(wù)器、美國(guó)服務(wù)器、虛擬主機(jī)、免備案服務(wù)器”等云主機(jī)租用服務(wù)以及企業(yè)上云的綜合解決方案，具有“安全穩(wěn)定、簡(jiǎn)單易用、服務(wù)可用性高、性價(jià)比高”等特點(diǎn)與優(yōu)勢(shì)，專為企業(yè)上云打造定制，能夠滿足用戶豐富、多元化的應(yīng)用場(chǎng)景需求。

網(wǎng)站名稱：C++中Template函數(shù)模板的示例分析-創(chuàng)新互聯(lián)
網(wǎng)站鏈接：http://www.rwnh.cn/article18/ehcgp.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供微信小程序、網(wǎng)站制作、外貿(mào)建站、微信公眾號(hào)、做網(wǎng)站、網(wǎng)站營(yíng)銷

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)