STL 源碼剖析 stl_numeric.h -- copy

標籤：style   blog   http   color   使用   io   

本文為senlie原創，轉載請保留此地址：http://blog.csdn.net/zhengsenlie

copy

//唯一對外介面/*--------------------------------------------------------------------------------------* copy 函數及其重載形式*///完全泛化版本。 template<class InputIterator, class OutputIterator> // ？ 這裡的 InputIterator 和 OutputIterator 都只是名稱而已，哪裡確保了它們真的至少是 InputIterator 和 OutputIterator ？inline OutputIterator copy(InputIterator first, InputIterator last, OutputIterator result){// 不明白為什麼要用 function object 實現，用普通的 function 實現不行嗎？// 因為 function object 可以偏特化 ？ 但普通的 function 也可以重載呀// 難道因為通過 function object 實現的偏特化是編譯時間多態，比 function 重載的運行時多態要好 ？return __copy_dispatch<InputIterator, OutputIterator>() (first, last, result); }//針對原生指標(可視為一種特殊的迭代器) const char * 和 const wchar_t *， 進行記憶體直接拷貝操作//特殊版本[1] 重載形式inline char *copy(const char* first, const char *last, char *result){memmove(result, first, last - first);return result + (last - first); //為什麼要返回這樣的迭代器呢？}//特殊版本[2] 重載形式inline wchar_t *copy(const wchar_t *first, const wchar_t *last, wchar_t *result){memmove(result, first, sizeof(wchar_t) * (last - first));return result + (last - first);}/*--------------------------------------------------------------------------------------* __copy_dispatch 及其偏特化版本*///copy() 函數的泛化版本中調用了一個 __copy_dispatch() 函數，此函數有一個泛化版本和兩個偏特化版本//完全泛化版本template<class InputIterator, class OutputIterator>struct __copy_dispatch{OutputIterator operator()(InputIterator first, InputIterator last, OutputIterator result){return __copy(first, last, result, iterator_category(first));}};//下面的兩個偏特化版本的參數為原生指標形式//偏特化版本[1]，兩個參數都是T *指標形式template<class T>struct __copy_dispatch<T *, T*>{T *operator()(T *first, T *last, T *result){typedef typename __type_traits<T>::has_trivial_assignment_operator t;return __copy_t(first, last, result, t());}};//偏特化版本[2]，第一個參數是 const T*指標形式，第二參數是 T *指標形式template<class T>struct __copy_dispatch<const T*, T*>{T *operator()(const T *first, const T *last, T *result){typedef typename __type_traits<T>::has_trivial_assignment_operator t;return __copy_t(first, last, result, t());}};/*--------------------------------------------------------------------------------------* 不同版本的_copy 函數*/// 下面的 InputIterator 版本、 RandomAccessIter 版本 中的 InputIterator 和 RandomAccessIter 都只是名稱而已，編譯器怎麼知道具體化哪個函數版本？ ？// --> 有個 input_iterator_tag 來確定迭代器的類型，從而使編譯器能夠知道該具體化哪個函數的版本//InputIterator 版本template<class InputIterator, class OutputIterator>inline OutputIterator __copy(InputIterator first, InputIterator last, OutputIterator result, input_iterator_tag){//如果只是 InputIterator 的話，以迭代器贊同與否，決定迴圈是否繼續、速度慢for( ; first != last; ++result, ++first)*result = *first;return result;}// RandomAccessIter 版本template<class RandomAccessIter, class OutputIterator>inline OutputIterator __copy(RandomAccessIter first, RandomAccessIter last, OutputIterator result, random_access_iterator_tag){// 其他地方可能也會用到 __copy_dreturn __copy_d(first, last, result, distance_type(first));}template<class RandomAccessIter, class OutputIterator, class Distance>inline OutputIterator __copy_d(RandomAccessIter first, RandomAccessIter last, OutputIterator result, Distance *){// 以 n 決定迴圈的執行次數。速度快for(Distance n = last - first; n > 0; --n, ++result, ++first)*result = *first;return result;}/*--------------------------------------------------------------------------------------* 偏特化版本使用的 copy_t 函數*///以下版本適用於"指標所指之對象具備 trivial assignment operator"template<class T>inline T *__copy_t(const T* first, const T *last, T *result, __true_type){memmove(result, first, sizeof(T) * (last - first));return result + (last - first);}//以下版本適用於"指標所指之對象具備 non-trivial assignment operator"template<class T>inline T *__copy_t(const T* first, const T *last, T *result, __false_type){return __copy_d(first, last, result, (ptrdiff_t *) 0); // 轉而調用  __copy_d }