STL里面有一個重要的算法copy积暖，進行的是復制操作，而在上篇文章中怪与，已經(jīng)提到了對于POD元素類型來說夺刑，是可以直接使用C語言中memmove或memcpy，能夠大幅提高效率分别。對此遍愿，copy中用了函數(shù)重載，迭代器型別特性耘斩，模板偏特化等大量技巧來對此優(yōu)化沼填。
// 泛化版copy
template <typename InputIterator, typename InputIterator>
inline OutputIterator copy
(InputIterator first, InputIterator last, OutputIterator result)
{
returrn __copy_dispatch<InputIteratorm, OutputIterator>()(first, last, result);
}
// 對char* 的重載版本, 直接采用memove
inline char* copy(const char* first, const char* last, char *result)
{
memmove(result, first, last - first);
return result + (last - first);
}
// 對wchar_t* 的重載版本, 直接采用memove
inline wchar_t* copy(const w_char* first, const w_char* last, wchar_t result)
{
memmove(result, first, sizeof(wchar_t) * (last - first));
return result + (last - first);
}
OutputIterator copy (InputIterator first, InputIterator last, OutputIterator result)char* copy(const char* first, const char* last, char *result)wchar_t* copy(const w_char* first, const w_char* last, wchar_t result)
利用函數(shù)重載，如果是char* 和 wchar_t* 則會直接采用memmove括授。
泛化版__copy_dispatch
// 泛化版__copy_dispatch(重載了函數(shù)調(diào)用運算符的類)
template <typename InputIterator, typename OutputIterator>
struct __copy_dispatch
{
OutputIterator operator()(InputIterator first, InputIterator last, OutputIterator result)
{
__copy(first, last, result, iterator_category(first));
}
};
// 偏特化
template <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());
}
};
// 偏特化
template <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_dispatch()的完全泛化版本根據(jù)迭代器的種類不同坞笙，會調(diào)用不同的__copy()，
為的是不同種類的迭代器所使用的循環(huán)條件不同荚虚，有快慢之別薛夜。
下面討論將分為2條線，一條是__copy版述，另一條是偏特化版本
// inputIterator 版本
template <typename InputIterator, typename OutputIterator>
inline OutputIterator __copy(InputIterator first, InputIterator last, OutputIterator result, input_iterator_tag) {
for (; first != last; ++result, ++first)
{
*result = *first;
}
return result;
}
// RandomAccessIterator版本
template <typename RandomAccessIterator, typename OutputIterator>
inline OutputIterator __copy(InputIterator first, InputIterator last, OutputIterator result, random_access_iterator_tag)
{
return __copy_d(first, last, result, distance_type(first));
}
// 這個只是為了復用梯澜，后面有塊也會用到。
template <typename RandomAccessIterator, typename OutputIteator, typename Distance>
inline OutputIterator __copy_d(RandomAccessIterator first, RandomAccessIterator last, OutputIterator result, Distance*)
{
for (Distance n = last - first; n > 0; --n, ++result, ++first) {
*result = *first;
}
return result;
}
/************************************分割線******************************/
// 指針所指對象具備trivial assignment operator
template <typename 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 <typename 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原貌渴析⊥砘铮可用一張圖總結：
copy.jpg
