C 模板之特化與偏特化詳解

2021-09-02 09:21:22 字數 1913 閱讀 9859

**:

前言

說到c++模板,這個已經不是什麼新東西了,自己在實際開發中也用過;對於c++模板特化和偏特化,對於別人來說,已經不是什麼新東西了,但是對於我來說,的確是我的盲區,那天在群裡討論這個問題,自己對於這部分確實沒有掌握,又聯想到在《stl原始碼剖析》一書中,對於此也是有著介紹。所以,今天就對此進行詳細的總結,以備後忘。

c++模板

說到c++模板特化與偏特化,就不得不簡要的先說說c++中的模板。我們都知道,強型別的程式設計迫使我們為邏輯結構相同而具體資料型別不同的物件編寫模式一致的**,而無法抽取其中的共性,這樣顯然不利於程式的擴充和維護。c++模板就應運而生。c++的模板提供了對邏輯結構相同的資料物件通用行為的定義。這些模板運算物件的型別不是實際的資料型別,而是一種引數化的型別。c++中的模板分為類模板和函式模板。

類模板如下:

複製**

**如下:

#include

using namespace std;

template

class tclass

;函式模板如下:

複製**

**如下:

template

t max(const t a, const t b)

模板特化

有時為了需要,針對特定的型別,需要對模板進行特化,也就是所謂的特殊處理。比如有以下的一段**:

複製**

**如下:

#include

using namespace std;

template

class tclass

;template

bool tclass::equal(const t& arg, const t& arg1)

int main()

;// 已經不具有template的意思了,已經明確為float了

template <>

class compare

;

// 已經不具有template的意思了,已經明確為double了

template <>

class compare

;

template

bool compare::isequal(const t& arg, const t& arg1)

;// specialize for _tp*

template

struct iterator_traits<_tp*>

;// specialize for const _tp*

template

struct iterator_traits;

看了了麼?這就是模板偏特化,與模板特化的區別在於,模板特化以後,實際上其本身已經不是templatized,而偏特化,仍然帶有templatized。我們來看乙個實際的例子:

複製**

**如下:

#include

using namespace std;

// 一般化設計

template

class testclass

對於輸出結果,我這裡就不寫了,大家可以試一試。

特化與偏特化的呼叫順序

對於模板、模板的特化和模板的偏特化都存在的情況下,編譯器在編譯階段進行匹配時,是如何抉擇的呢?從哲學的角度來說,應該先照顧最特殊的,然後才是次特殊的,最後才是最普通的。編譯器進行抉擇也是尊從的這個道理。從上面的例子中,我們也可以看的出來,這就就不再舉例說明。

總結

對於模板的特化和偏特化,我的理解可能也不是很正確。希望大家和我進行**。我這裡只是對自己的一些理解進行了總結。最後,也希望大家對我的部落格提出中肯的建議。我堅信,分享使我們更進步。

C 模板 特化 與 偏特化

c 模板作為乙個泛化手段,與之相對,對於某種特殊場合,可能要對模板進行相應的特化,偏特化處理。模板為什麼要特化,因為編譯器認為,對於特定的型別,如果你能對某一功能更好的實現,那麼就該聽你的。模板分為類模板與函式模板,特化分為全特化與偏特化。全特化就是限定死模板實現的具體型別,偏特化就是如果這個模板有...

C 模板特化 偏特化

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

c 模板特化偏特化

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