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