traits技術是stl中比較常見的一種c++語言技巧表達方式之一，通過c++模板的能力，將物件型別萃取出來，讓同乙個介面實現對應的功能。特別是在演算法和容器中，可以解耦出具體的物件型別，使得兩者通過迭代器實現鏈結。
c++中通過使用迭代器，將stl中的容器和演算法相解耦，在c++中編譯器編譯器需要考慮相應的型別判斷。
首先我們通過模板獲取形參的資料型別
// 通過class 自動推導iter型別和*iter型別
template
<
class
t>
void
func
(i iter)
template
<
classi,
class
t>
void
func_tmpl
(i iter, t t)
intmain()
但是模板引數不能簡單地通過型別返回
template
<
class
t>
(*t)
func
(t t)
template
<
class
t>
struct iter_traits
; t&
operator*(
)const};
template
<
class
t>
typename t::value_type
func
(t iter)
當然，c++11同樣也支援了尾行的型別推導
template
<
typename it>
auto
func
(it begin, it end)
->
decltype
(*beg)
模板在編譯時支援特化，特化有全特化和偏特化
template
<
classt,
class
i>
void
fun(t t, i i)
//全特化
template
<
>
void fun<
int,
char
>
(int a,
char b)
//偏特化
// template
// void func(t t, int i)
而這裡的偏特化是為了引入traits寫法
// 類返回值型別推導
template
<
class
t>
struct iter_traits
; t&
operator*(
)const};
template
<
class
t>
typename t::value_type
func
(t iter)
// 原生指標型別
template
<
class
t>
tfunc
(t* iter)
// 原生指標const型別
template
<
class
t>
t func
(const t* iter)
template
<
class
t>
struct iterator_traits
;template
<
class
t>
struct iterator_traits>
;template
<
class
t>
struct iterator_traits<
const t*
>
;
template
<
class
t>
struct iter_impl
; t&
operator*(
)const};
template
<
class
i>
typename iterator_traits
::value_type
get(i ite)
intmain()
C語言筆記之技巧
1.要從邏輯上刪除一段c 更好的辦法時使用 if指令。if 0 statements endif 使用 雖好，但是當某段 之中如果原來就有注釋存在，這種方法就不能奏效。2.在c語言中，陣列引數是以引用的形式進行傳遞的，也就是傳址呼叫，而標量和常量是按值傳遞的。在函式中對標量引數的任何修改都會在函式返...
STL中的Traits程式設計技巧
stl原始碼剖析 一書中提到traits程式設計技法，它的作用是獲取型別 associated type 的特性。這樣講比較抽象，到底什麼是相應型別，或者到底什麼時候需要用到traits程式設計技法呢？先來看乙個例子。假設有這麼乙個函式，接受乙個iterator，返回這個iterator所指代的型別...
STL之traits程式設計技法
traits程式設計技法利用了 內嵌型別 的程式設計技巧與編譯器的template引數推導功能。下面主要看看利用traits程式設計技法實現的迭代器萃取機制。5種迭代器型別定義 struct input iterator tag struct output iterator tag struct f...