【STL源码学习】STL算法学习之二

第一章:前言

学习笔记,记录学习STL算法的一些个人所得,在以后想用的时候可以快速拾起。

第二章:明细

 copy

函数原型:
template <class InputIterator, class OutputIterator>
 OutputIterator copy (InputIterator first, InputIterator last, OutputIterator result);
函数作用:
将[first,last)区间的元素拷贝至result开头的迭代器区间,并返回赋值以后的result。
copy_n
函数原型:
template <class InputIterator, class Size, class OutputIterator>
 OutputIterator copy_n (InputIterator first, Size n, OutputIterator result);
函数作用:
从first的迭代器位置开始,拷贝n个元素至result开头的迭代器序列,从函数实现来看,该函数未保证一定不越界,调用者要自己判断n的大小。
copy_if
函数原型:
template <class InputIterator, class OutputIterator, class UnaryPredicate>
 OutputIterator copy_if (InputIterator first, InputIterator last, OutputIterator result, UnaryPredicate pred);
函数作用:
将[first,last)区间传入pred,另pred返回true的元素将被拷贝至result开始的迭代器序列。
copy_backward
函数原型:
template <class BidirectionalIterator1, class BidirectionalIterator2>
 BidirectionalIterator2 copy_backward (BidirectionalIterator1 first, BidirectionalIterator1 last,BidirectionalIterator2 result);
函数作用:
打个比方,copy是穿上衣,copy_backward就是穿裤子。
最终返回的result指向result序列的开始,非结束位置。
这个函数是什么意思呢?和copy都有哪些不一样的应用场合?
move
函数原型:
template <class InputIterator, class OutputIterator>
 OutputIterator move (InputIterator first, InputIterator last, OutputIterator result);
函数作用:
像文件mv操作一样,将[first,last)之间的元素拷贝至result开头的迭代器序列。从vs2010的STL源码来看,没有找到对容量进行检测的,调用者需要保证result的空间足够。
move_backward
函数原型:
template <class BidirectionalIterator1, class BidirectionalIterator2>
 BidirectionalIterator2 move_backward (BidirectionalIterator1 first, BidirectionalIterator1 last, BidirectionalIterator2 result);
函数作用:
倒着mv并返回result,此时的result是mv后的元素的迭代器序列开始。调用者保证result的空间。
swap
函数原型:
template <class T> void swap (T& a, T& b)
 noexcept (is_nothrow_move_constructible<T>::value && is_nothrow_move_assignable<T>::value);
template <class T, size_t N> void swap(T (&a)[N], T (&b)[N])
 noexcept (noexcept(swap(*a,*b)));
函数作用:
将a与b互换,或者a的数组和b的数组互换,如果是数组互换,要指定下标并且下标保持一致。
swap_ranges
函数原型:
template <class ForwardIterator1, class ForwardIterator2>
 ForwardIterator2 swap_ranges (ForwardIterator1 first1, ForwardIterator1 last1, ForwardIterator2 first2);
函数作用:
将[first1,last1)区间的元素与first2开始的区间的元素进行互换,调用者要保证first2的元素足够多。
iter_swap
函数原型:
template <class ForwardIterator1, class ForwardIterator2>
 void iter_swap (ForwardIterator1 a, ForwardIterator2 b);
函数作用:
适用于指针或迭代器,交换的是指向的元素,即*a和*b。
transform
函数原型:
template <class InputIterator, class OutputIterator, class UnaryOperation>
 OutputIterator transform (InputIterator first1, InputIterator last1, OutputIterator result, UnaryOperation op);
template <class InputIterator1, class InputIterator2, class OutputIterator, class BinaryOperation>
 OutputIterator transform (InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, OutputIterator result,BinaryOperation binary_op);
函数作用:
第一种实现,将[first1,last1)区间的元素传给op函数进行处理,将op函数返回值记录在result开头的迭代器序列中,返回的result是迭代器序列的end。
第二种实现,将[first1,last1)区间和first2开头的区间的元素传递给binary_op(*first1++,*first2++),binary_op函数的返回值记录在result开头的迭代器序列中,返回的result是迭代器序列的end。
如上两者都是对迭代器序列进行op处理,处理之后的元素保存在result中,就是转换。
replace
函数原型:
template <class ForwardIterator, class T>
 void replace (ForwardIterator first, ForwardIterator last, const T& old_value, const T& new_value);
函数作用:
将迭代器区间内元素值等于old_value的重新赋值为new_value。
replace_if
函数原型:
template <class ForwardIterator, class UnaryPredicate, class T>
 void replace_if (ForwardIterator first, ForwardIterator last, UnaryPredicate pred, const T& new_value );
函数作用:
和replace联系起来就很好理解了,将迭代器区间元素的值传入pred,另pred返回ture的元素将被赋值为new_value。
replace_copy
函数原型:
template <class InputIterator, class OutputIterator, class T>
 OutputIterator replace_copy (InputIterator first, InputIterator last, OutputIterator result, const T& old_value, const T& new_value);
函数作用:
拿一起理解容易混淆,将作用分开理解的话会好一些
第一个作用:将[first,last)区间的元素拷贝至result开头的迭代器区间。
第二个作用:对result开头的迭代器区间执行replace。
返回值的result是拷贝区间的end。
replace_copy_if
函数原型:
template <class InputIterator, class OutputIterator, class UnaryPredicate, class T>
 OutputIterator replace_copy_if (InputIterator first, InputIterator last, OutputIterator result, UnaryPredicate pred, const T& new_value);
函数作用:
和replace_copy结合起来理解,第一个作用是一样的,第二个作用是对result开头的迭代器区间执行replace_if。
返回值的result是拷贝区间的end。
fill
函数原型:
template <class ForwardIterator, class T>
 void fill (ForwardIterator first, ForwardIterator last, const T& val);
函数作用:
太好理解了,遍历&赋值
fill_n
函数原型:
template <class OutputIterator, class Size, class T>
 OutputIterator fill_n (OutputIterator first, Size n, const T& val);
函数作用:
遍历n个元素进行赋值,调用者保证first的size足够。
generate
函数原型:
template <class ForwardIterator, class Generator>
 void generate (ForwardIterator first, ForwardIterator last, Generator gen);
函数作用:
类似fill函数,将区间的元素赋值为gen的返回值,gen为无参函数。
generate_n
函数原型:
template <class OutputIterator, class Size, class Generator>
 OutputIterator generate_n (OutputIterator first, Size n, Generator gen);
函数作用:
类似于fill_n,赋值n个元素为gen的返回值,gen为无参函数。
remove
函数原型:
template <class ForwardIterator, class T>
 ForwardIterator remove (ForwardIterator first, ForwardIterator last, const T& val);
函数作用:
将迭代器区间值等于val的元素删除掉,并返回迭代器区间的new end。
remove_if
函数原型:
template <class ForwardIterator, class UnaryPredicate>
 ForwardIterator remove_if (ForwardIterator first, ForwardIterator last, UnaryPredicate pred);
函数作用:
类似remove,令pred(*first++)返回true的元素将被删掉,并返回迭代器区间的new end。
remove_copy
函数原型:
template <class InputIterator, class OutputIterator, class T>
 OutputIterator remove_copy (InputIterator first, InputIterator last, OutputIterator result, const T& val);
函数作用:
将[first,last)区间值不等于val的元素拷贝至result开头的迭代器区间,并返回result迭代器区间的new end。
remove_copy_if
函数原型:
template <class InputIterator, class OutputIterator, class UnaryPredicate>
 OutputIterator remove_copy_if (InputIterator first, InputIterator last, OutputIterator result, UnaryPredicate pred);
函数作用:
和remove_copy结合理解,所有令pred(*first++)返回值不等于true的将被拷贝至result开头的迭代器区间,返回值是result开头的迭代器区间的new end。
unique
函数原型:
template <class ForwardIterator>
 ForwardIterator unique (ForwardIterator first, ForwardIterator last);
template <class ForwardIterator, class BinaryPredicate>
 ForwardIterator unique (ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
函数作用:
将迭代器序列中相邻的重复元素删除掉(重复的元素只留下一个),第二个重载就是将pred(*first,*first++)返回true的元素删除掉,返回值是迭代器序列的new end。

把函数名称理解成去相邻重复更好。 

unique_copy
函数原型:
template <class InputIterator, class OutputIterator>
 OutputIterator unique_copy (InputIterator first, InputIterator last, OutputIterator result);
template <class InputIterator, class OutputIterator, class BinaryPredicate>
 OutputIterator unique_copy (InputIterator first, InputIterator last, OutputIterator result, BinaryPredicate pred);
函数作用:
将[first,last)序列中相邻的非重复元素(相邻不相等或pred(*first,*first++)返回false)拷贝至result开头的迭代器区间,返回result开头的迭代器区间的new end。
reverse
函数原型:
emplate <class BidirectionalIterator>
 void reverse (BidirectionalIterator first, BidirectionalIterator last);
函数作用:
将迭代器区间的元素倒置。
reverse_copy
函数原型:
template <class BidirectionalIterator, class OutputIterator>
 OutputIterator reverse_copy (BidirectionalIterator first, BidirectionalIterator last, OutputIterator result);
函数作用:
将[first,last)区间的元素倒序复制到result开头的区间,函数返回result开头的迭代器区间的new end。
rotate
函数原型:
template <class ForwardIterator>
 ForwardIterator rotate (ForwardIterator first, ForwardIterator middle, ForwardIterator last);
函数作用:
说是旋转,其实不然,就是将middle以及后面的元素拷贝至开头,原本在前面的元素拷贝至最后。
123456789   middle设置为4,翻转后结果是456789123.
rotate_copy
函数原型:
template <class ForwardIterator, class OutputIterator>
 OutputIterator rotate_copy (ForwardIterator first, ForwardIterator middle, ForwardIterator last, OutputIterator result);
函数作用:
1. 拷贝middle-last之间的元素至result
2. 拷贝first-middle之间的元素只result
返回值是result区间的new end。
random_shuffle
函数原型:
template <class RandomAccessIterator>
 void random_shuffle (RandomAccessIterator first, RandomAccessIterator last);
template <class RandomAccessIterator, class RandomNumberGenerator>
 void random_shuffle (RandomAccessIterator first, RandomAccessIterator last, RandomNumberGenerator&& gen);
函数作用:
重新排列迭代器区间的元素。第二个重载版本用gen作为随机的规则。
shuffle
函数原型:
template <class RandomAccessIterator, class URNG>
 void shuffle (RandomAccessIterator first, RandomAccessIterator last, URNG&& g);
函数作用:
随机重新排列迭代器区间的元素,但是比较复杂,用到了random中的生成器,如果没要求的话,用random_shuffle的第一个重载版本就可以。

第三章:畅想

  C++11中新增的STL算法函数并不是必不可少的,也不是超级复杂需要极高水平才能实现的,也没有对系统进行封装提炼的,因为C++的基本功能已经很完善了,甚至说超级复杂了,C++11着眼于提高程序员的开发效率,提供程序员可重用的轮子,事实上这里的大多数函数都可以用10行以内的代码实现一个非模板函数的版本,C++11的这种转变是一种令人欣喜的改变,但愿更多C++coder能掌握C++11.

原文地址:https://www.cnblogs.com/learn-my-life/p/3761709.html