C 模板 模板特化 模板偏特化

2021-08-14 04:28:23 字數 1838 閱讀 1856

模板是c++的乙個重要特性 使用模板 可以極大的減少類似功能**的編寫

這可以看做是c++相較於c的進步 因為這一特性在c中是不容易達到的(語言層面不支援)

模板的關鍵字是 template

簡單的模板應用:

template

class test

};int main()

使用模板的類在例項化時需要指明模板引數型別 test

例子會輸出 10 因為 10 > 5

那麼 如果把**換成

int main()
例子會輸出-1 為什麼呢?

這是因為例項化時宣告了模板引數是unsigned

int型別的 所以ctx呼叫bigger 無論無和都是預設輸入引數為unsigned

int型別 輸入-1也會被轉化為0xffffffff

那麼這樣一次也只能使用乙個模板生成的函式 並沒有我們想象中的編寫一次函式 多次呼叫都可以使用這個函式的效果

要達到這種效果 需要使用模板函式而非模板類!

template

int compare(t a, t b)

int main(void)

這樣 程式會輸出1

特化是為了應對某些模板無法完全處理好的情況

比如 compare函式的輸入引數是指標時? 理想情況是對比指標指向的值 但模板函式只會對比指標值

所有 特化出現

#include 

using

namespace

std;

template

class test

};template

<>

class test

};int main(void)

特化的語法在於 template <>

然後 test

偏特化顧名思義也就是不完全的特化 適用於不止乙個模板引數的模板

#include

using

namespace

std;

template

int compare(t a, n b)

template

int compare(int *a, n b)

int main(void)

例子中 特化時只有乙個模板引數 而把第乙個引數型別固定為int型別指標

這就是偏特化 特化一部分的模板引數

c++中的過載: 乙個類中可以存在多個同名方法 根據呼叫方法時傳入的引數決定呼叫哪個方法

過載:class test

void add(unsigned

int a)

};int main(void)

可以看到 根據傳入的引數 分別呼叫了兩個不同的名為add的方法

區別:

過載和模板可以達到類似的效果 都可以實現類似功能函式的聚合

乙個add方法可以適應多種情況

而c語言中 要這麼做

就會產生很多 addint() addchar這樣的** 使工程變得臃腫

然而模板的優勢在於乙個模板加上少數特化 偏特化可以完成功能

但是正如上述實驗 模板類乙個例項僅能針對一種情況 模板函式雖然沒有這個限制 但是畢竟脫離了類 有些不便

過載可以解決這個問題 乙個例項可以應對各個情況 然而過載要寫的重複性** 又要遠遠多於模板

應用時 應該根據實際情況選用特性

C 模板特化 偏特化

注意 特化時模板引數的先後順序不能變 特化是基於泛化版本進行的 函式模板特化過載與函式過載不衝突 函式模板只能全特化不能偏特化 模板類泛化 templateclass mytest int m func 模板類全特化 template class mytest 模板類偏特化 templateclas...

c 模板特化偏特化

模板為什麼要特化,因為編譯器認為,對於特定的型別,如果你對某一功能有更好地實現,那麼就該聽你的。模板分為類模板與函式模板,特化分為全特化與偏特化。全特化就是限定死模板實現的具體型別,偏特化就是模板如果有多個型別,那麼就只限定為其中的 一部分,其實特化細分為範圍上的偏特化與個數上的偏特化。模板的泛化 ...

C 模板特化 偏特化

模板分為函式模板和類模板,特化分為全特化和偏特化 partial specialization 其中,類模板有全特化和偏特化,函式模板只能全特化。使用模板的時候,我們的目的就是希望可以不用每個型別實現一遍,而是用乙個模板代替這個型別。如果所有型別的實現都是乙個統一的一樣的實現,就不需要模板特化或者偏...