STL源碼剖析 [筆記]

1，靜態常量整數成員在class內部可以直接初始化。

2，STL迭代器前閉後開區間 [) 的設計，遍曆的時候直接：

for( first; first != last; first++)

使用 != ，而不是 < 或 >，好處元素之間無需佔有連續的記憶體空間。

3，vs下的stl空間配置器在標頭檔<xmomory>中。

空間配置分為兩個階段：

申請時候：申請記憶體地區(_Allocate函數，調用::operator new)，調用建構函式(_Allocate函數)

釋放時候：調用解構函式()_Destroy，釋放記憶體地區（直接調用::operator delete）

::operator new類似於malloc，不同於new，前者不會調用建構函式，後者會調用。

4，為了設計容器的迭代器，必須對該容器的實現細節有豐富的瞭解，所以設計容器的同時設計該容器迭代器，對於使用者起到封裝作用。

5，型別的萃取：

C++支援sizeof，

RTTI性質中的typeid，

function template的參數推導argument deduction機制

version 1：

template<class I, class T><br />void func_impl(I iter, T t)<br />{<br />T tmp;//T為迭代器所指之物的型別<br />//... do some stuff<br />}<br />template<class I><br />void func(I iter)<br />{<br />func_impl(iter, *iter);<br />} 

函數參數推導機制只能推導函數的參數類型，無法推導函數的傳回值型別。

version 2：

template<class T><br />struct MyIter<br />{<br />typedef T value_type;//nested type<br />T* ptr;<br />T& operator*() const { return *ptr; }<br />};<br />template<class I><br />typename I::value_type<br />func(I iter)<br />{<br />return *iter;<br />} 

要求所有的迭代器必須有一個value_type類型定義。陷阱~

version 3：

使用trait技術結合模板偏特化template partial specialization

約定：STL的每一種迭代器必須自行以內嵌型別定義（nested typedef）的方式定義出相應型別（associated types）。

 

6，演算法：問題之解法也~

演算法的泛化鬼過程：抽象出模式pattern

參見泛化技術：

 http://www.generic-programming.org/languages/cpp/techniques.php

 http://www.boost.org/community/generic_programming.html

STL中演算法在#include <functional>, #include <algorithm>, #include <numeric> 

 

7，copy函數：

連續記憶體拷貝，

離散隨機記憶體拷貝，

使用者自訂類型：編譯器非智能地判定其具有non-trivial assignment operator

基礎資料型別 (Elementary Data Type)，具有trivial assignment operator

 

first, last迭代器指向源記憶體起始位置，result迭代器指向目標記憶體

 

// 隨機記憶體拷貝 : 每次比較迭代器判斷迴圈是否結束，慢~

for (; first!=last; result++, first++)

*result = *first;  //調用賦值操作符

 

// 連續記憶體，通過距離n判斷迴圈是否結束，快~

_copy_d(first, last, result)

for( distance n = last-first; n>0; --n, ++result, ++first )

*result = *first; //調用賦值操作符

 

// 對於特化版本：基礎資料型別 (Elementary Data Type)指標指向的連續記憶體區，使用memmove函數最佳化

template<T>

inline T* __copy_t(const T* first, const T* last, T* result)  {

memmove( result, first, sizeof(T) * (last-first) );

return result + (last - first);

}