30180
备注:
|
45899
|
删除的内容标记成这样。 | 加入的内容标记成这样。 |
行号 3: | 行号 3: |
STL是Standard Template Library的缩写,是C++标准库中最强大、最复杂、最有用的部分。STL主要由'''容器'''(container)、'''跌代子'''(iterator)、'''算法'''(algorithm)所组成。还有'''仿函数'''(functor)、'''适配器'''(adapter)、'''配置器'''(allocator)等辅助组件。 * 容器container:容器是存放和管理数据元素的数据结构。容器一般使用模板类来实现 * 跌代子iterator:跌代子是用来访问容器内元素的对象,其作用类似指针。 * 算法algorithm:算法是用来处理容器内的元素的一些操作,比如搜索、排序、拷贝、修改等。算法一般使用函数模板来实现。 * 仿函数functor:用法类似函数的对象。可以是普通函数,也可以是重载了operator()的类或者模板类 |
标准模板库(Standard Template Library),简称STL,是关于容器类(container)、算法(algorithm)和迭代子(iterator)的C++库。它提供了计算机科学所需的基本的算法和数据结构。STL是一个通用的库,意思是它的组件大量都是参数化的:STL中几乎每一个组件都是模板。在使用STL前,你应该了解C++的模板是如何用的。 == 容器和算法 == 跟许多其他类库一样,STL也包含容器类:这些类的目的是用来容纳其他对象。STL的容器类包括vector,list,deque,set,multiset,map,multimap,hash_set,hash_multiset,hash_map,hash_meultimap。每一个这样的类都是一个模板,模板可以被实例化成容纳特定类型的容器。比如说,你可以与使用C语言数组非常相似的方式使用vector<int>,另外vector还消除了手动管理内存分配的繁琐。 {{{#!cplusplus vector<int> v(3); // Declare a vector of 3 elements. v[0] = 7; v[1] = v[0] + 3; v[2] = v[0] + v[1]; // v[0] == 7, v[1] == 10, v[2] == 17 }}} STL里面还包含了大量的算法,用来对容器里面的数据进行操作。比如说,只要使用reverse算法,你就可以将一个vector里面的元素顺序反过来: {{{#!cplusplus reverse(v.begin(), v.end()); // v[0] == 17, v[1] == 10, v[2] == 7 }}} 在调用reverse的时候有两点需要注意。第一,reverse是一全局函数,不是成员函数。第二,它需要两个参数而不是一个:它对一个区间内的元素进行操作,而不是一个容器。在这个特例里面,这个区间恰好是整个容器v。 造成这两点的原因是相同的:reverse,其它STL算法也一样,是与STL容器相分离的。也就是说,reverse不仅可以用于反转vector的数据元素,也可以用来反转list的数据元素,甚至是C语言数组的元素。比如下面的程序也是合法的: {{{#!cplusplus double A[6] = { 1.2, 1.3, 1.4, 1.5, 1.6, 1.7 }; reverse(A, A + 6); for (int i = 0; i < 6; ++i) cout << "A[" << i << "] = " << A[i]; }}} 和前面的反转vector例子类似,这个例子也使用了一个区间:reverse的第一个参数是指向区间开始的指针,第二个参数是指向区间结束的指针。这个区间记为[A, A+6);这个不对称的标记表明区间的两端时不一样的,第一个是区间开始的位置,第二个是区间最后元素的下一个位置。 == 迭代子 == 在反转C数组元素的例子中,reverse的参数很清楚,是double*类型的。但是在反转vector的时候,reverse参数的类型是什么呢?反转list呢?也就是说,reverse的参数到底声明成什么?v.begin()和v.end()到底返回什么? 答案就是,传给reverse的参数是迭代子,它是一种泛化的指针。指针本身也是迭代子,这就是为什么reverse可以反转C语言数组的元素。类似的,在vector中声明了内嵌的类型iterator和const_iterator。在前面的例子中,v.begin()和v.end()返回的类型就是vector<int>::iterator。而还有一些迭代子,比如istream_iterator和ostream_iterator,他们根本不和容器关联。 有了迭代子这种机制,使得让算法和容器分离成了可能:算法是模板,用迭代子作为参数,因此他并不局限于一种容器。比如说,要写一个算法在一个区间内进行线性的查找。这实际上就是一个STL的find算法。 {{{#!cplusplus template <class InputIterator, class T> InputIterator find(InputIterator first, InputIterator last, const T& value) { while (first != last && *first != value) ++first; return first; } }}} find有三个参数:两个迭代子定义了查找的区间,一个值指定了在这个区间内需要搜索的值。find检查区间[first, last)内的每一个迭代子,从开始一步一步前进到最后,最终当找到一个迭代子指向需要查找的元素的时候或者到达区间的最后的时候停下来。 first和last声明为{{{InputIterator}}}类型,它是一个模板参数。也就是说,实际上并没有一个叫做{{{InputIterator}}}的类型:当你调用find的时候,编译器将模板的两个形参{{{InputIterator}}}和T替换成参数的实际类型。如果find的前两个参数的类型是int*,第三个参数的类型是int,那么调用find就好像调用了这个函数一样: {{{#!cplusplus int* find(int* first, int* last, const int& value) { while (first != last && *first != value) ++first; return first; } }}} == 概念与建立模型 == 关于模板函数(不单单是STL算法)的一个非常重要的问题是用哪些类型来代替模板的形参是正确的?比如说,可以用int*或者double*来替换find的模版形参{{{InputIterator}}}。而int或者double就不可以:find使用*first表达式,dereference操作对于int或者double类型的对象是没有意义的。简单的答案是find隐含了对于参数类型的一组需求,任何满足需求的类型都可以用来实例化参数。要替代{{{InputIterator}}}的类型必须提供这样一些操作:它必须能够比较两个对象是否相等,它必须能够自增,它必须能够dereference并返回它所指向的对象,等等。 find不是唯一有着这样需求的STL算法;for_each和count等等其它算法的参数也必须满足同样的需求。这些需求非常重要,因此我们需要给它一个名字:我们把对于类型的一组需求叫做一个'''概念'''(concept),我们把这里这个特定的概念称为Input Iterator。如果某个类型满足某个概念的所有需求,我们讲这个类型是'''符合'''(conform)这个概念的,或者说这个类型是这个概念的一个'''模型'''(model)。我们说int*是Input Iterator的一个模型,因为int*满足所有Input Iterator定义的需求。 概念不是C++语言的一个语法部分;也就是说没有办法在程序中声明一个概念,也没办法声明一个类型是某一个概念的模型。但是,概念是STL极端重要的部分。使用概念可以让程序的接口与实现彻底的分离开来:find的作者只要考虑Input Iterator概念所定义的接口,而不用考虑每一种类型的具体实现。类似的,如果你要使用find,你只要保证find的参数必须是Input Iterator的模型就可以了。这就是为什么在list、vector、C语言数组以及其它很多类型上都可以使用reverse:用概念的方式编程而不是用特定的类型编程,可以使得软件组件可以重用,并把这些组件组合在一起。 == Refinement == Input Iterator实际上是一个相对较弱的概念:就是说,它的需求非常少。一个Input Iterator只需要支持指针的算术运算的子集(Input Iterator必须支持前置和后置的++运算符),而不需要支持指针的所有算术运算。这对于find已经足够了,但是其它的一些算法,它们的参数需要满足更多的需求。比如说reverse必须能够对它的参数进行自减(--)操作;因为它使用了--last这样的表达式。用概念的方式讲,reverse必须是Bidirectional Iterator概念的模型而不是Input Iterator概念。 Bidirectional Iterator概念与Input Iterator概念非常相似:它只是添加了更多的需求。满足Bidirectional Iterator的类型集合是满足Input Iterator的类型集合的子集:一个类型,只要它是Bidirectional Iterator的模型,那么它一定也是Input Iterator的模型。比如说,int*既是Bidirectional Iterator的模型,也是Input Iterator的模型,但是istream_iterator它是Input Iterator的模型,但不是Bidirectional的模型:它不符合Bidirectional Iterator的更多更严格的需求。 We describe the relationship between Input Iterator and Bidirectional Iterator by saying that Bidirectional Iterator is a refinement of Input Iterator. Refinement of concepts is very much like inheritance of C++ classes; the main reason we use a different word, instead of just calling it "inheritance", is to emphasize that refinement applies to concepts rather than to actual types. There are actually three more iterator concepts in addition to the two that we have already discussed: the five iterator concepts are Output Iterator, Input Iterator, Forward Iterator, Bidirectional Iterator, and Random Access Iterator; Forward Iterator is a refinement of Input Iterator, Bidirectional Iterator is a refinement of Forward Iterator, and Random Access Iterator is a refinement of Bidirectional Iterator. (Output Iterator is related to the other four concepts, but it is not part of the hierarchy of refinement: it is not a refinement of any of the other iterator concepts, and none of the other iterator concepts are refinements of it.) The Iterator Overview has more information about iterators in general. Container classes, like iterators, are organized into a hierarchy of concepts. All containers are models of the concept Container; more refined concepts, such as Sequence and Associative Container, describe specific types of containers. Other parts of the STL If you understand algorithms, iterators, and containers, then you understand almost everything there is to know about the STL. The STL does, however, include several other types of components. First, the STL includes several utilities: very basic concepts and functions that are used in many different parts of the library. The concept Assignable, for example, describes types that have assignment operators and copy constructors; almost all STL classes are models of Assignable, and almost all STL algorithms require their arguments to be models of Assignable. Second, the STL includes some low-level mechanisms for allocating and deallocating memory. Allocators are very specialized, and you can safely ignore them for almost all purposes. Finally, the STL includes a large collection of function objects, also known as functors. Just as iterators are a generalization of pointers, function objects are a generalization of functions: a function object is anything that you can call using the ordinary function call syntax. There are several different concepts relating to function objects, including Unary Function (a function object that takes a single argument, i.e. one that is called as f(x)) and Binary Function (a function object that takes two arguments, i.e. one that is called as f(x, y)). Function objects are an important part of generic programming because they allow abstraction not only over the types of objects, but also over the operations that are being performed. |
行号 275: | 行号 352: |
cout << "list1: "; copy (l1.begin(), l1.end(), ostream_iterator<int>(cout," ")); cout << endl << "list2: "; copy (12.begin(), 12.end(), ostream_iterator<int>(cout," ")); cout << endl << endl; } int main() { list<int> list1, list2; for (int i=0; i<6; ++i) { list1.push_back(i); list2.push_front(i); } printLists(list1, list2); list2.splice(find(list2.begin(),list2.end(), 3), list1); printLists(list1, list2); list2.splice(list2.end(), list2, list2.begin()); printLists(list1, list2); list2.sort(); list1 = list2; list2.unique(); printLists(list1, list2); list1.merge(list2); printLists(list1, list2); |
cout << "list1: "; copy (l1.begin(), l1.end(), ostream_iterator<int>(cout," ")); cout << endl << "list2: "; copy (12.begin(), 12.end(), ostream_iterator<int>(cout," ")); cout << endl << endl; } int main() { list<int> list1, list2; for (int i=0; i<6; ++i) { list1.push_back(i); list2.push_front(i); } printLists(list1, list2); list2.splice(find(list2.begin(),list2.end(), 3), list1); printLists(list1, list2); list2.splice(list2.end(), list2, list2.begin()); printLists(list1, list2); list2.sort(); list1 = list2; list2.unique(); printLists(list1, list2); list1.merge(list2); printLists(list1, list2); |
行号 302: | 行号 379: |
{{{#!cplusplus | |
行号 304: | 行号 382: |
template <class T, class Container = deque<T> > class stack; } 实现: |
template <class T, class Container = deque<T> > class stack; } }}} |
行号 310: | 行号 388: |
push() 入栈 top() 取栈顶元素 pop() 出栈 |
* push() 入栈 * top() 取栈顶元素 * pop() 出栈 |
行号 316: | 行号 394: |
stack<int> st; st.push(l); st.push(2); st.push(3); cout << st.top() << ' '; st.pop() ; cout << st.top() << ' '; st.pop() ; st.top() = 77; st.push(4); st.push(5); st.pop() ; while (!st.empty()) { cout << st.top() << ' '; st.pop() ; } cout << endl; |
stack<int> st; st.push(l); st.push(2); st.push(3); cout << st.top() << ' '; st.pop() ; cout << st.top() << ' '; st.pop() ; st.top() = 77; st.push(4); st.push(5); st.pop() ; while (!st.empty()) { cout << st.top() << ' '; st.pop() ; } cout << endl; |
行号 337: | 行号 415: |
{{{#!cplusplus | |
行号 339: | 行号 418: |
template <class T, class Container = deque<T> > class queue; } 实现 |
template <class T, class Container = deque<T> > class queue; } |
行号 345: | 行号 423: |
push pop back front |
* push * pop * back * front |
行号 353: | 行号 431: |
queue<string> q; q.push("These "); q.push("are "); q.push("more than "); cout << q.front(); q.pop(); cout << q.front(); q.pop(); q.push(''four "); q.push("words!"); q.pop(); cout << q.front(); q.pop(); cout << q.front() << endl; q.pop(); cout << "number of elements in the queue: " << q.size() << endl; |
queue<string> q; q.push("These "); q.push("are "); q.push("more than "); cout << q.front(); q.pop(); cout << q.front(); q.pop(); q.push(''four "); q.push("words!"); q.pop(); cout << q.front(); q.pop(); cout << q.front() << endl; q.pop(); cout << "number of elements in the queue: " << q.size() << endl; |
行号 521: | 行号 599: |
分类: * 非变动性算法,比如: {{{ for_each count count_if min_element max_element find find_if search_n search find_end find_first_of adjacent_find equal mismatch lexicographical_compare |
算法的数量很多,大致可以分为: * 非变动性算法,一般不会改变容器里面的数据,比如: {{{ for_each 对每一个元素执行某操作 count 返回元素个数 count_if 返回满足某一条件的元素个数 min_element 返回最小的元素的迭代子 max_element 返回最大的元素的迭代子 find 搜索等于某值元素 find_if 搜索满足某个条件的元素 search_n 搜索连续n个元素,每个元素都等于某值或者满足某种条件 search 搜索子区间,该子区间内的每个元素和另一个区间内的元素值相等或者满足一定的关系 find_end 搜索最后出现的一个子区间,该子区间内的每个元素和另一个区间内的元素值相等或者满足一定的关系 find_first_of 搜索某些元素第一次出现的位置 adjacent_find 所艘连着两个相等的元素,或者连着两个元素满足某种关系 equal 判断两个区间内的元素是否相等或者满足一定关系 mismatch 搜索两个区间内第一个不同的元素 lexicographical_compare 检验第一区间内的元素是否小于第二个区间内的元素 |
行号 542: | 行号 620: |
copy copy_backward transform merge swap_ranges fill fill_n generate generate_n replace replace_if replace_copy replace_copy_if |
for_each 对每个元素执行某个操作 copy 复制 copy_backward 复制(从后向前) transform 对一个区间每一个元素做某个操作,结果传给另一区间。对两个区间内的元素作某个操作,结果传给第三个区间。 swap_ranges 交换两个区间内的元素 fill 某一区间内填充某个值 fill_n 某一位置开始填充n个某个值 generate 用一个产生值填充某个区间 generate_n 用一个产生值填充某一位置开始的n个元素 replace 替换区间内原来为某值的元素为某一新值 replace_if 替换区间内满足某一条件的元素为某一新值 replace_copy 某区间内的元素复制到另一个区间,其中值为某一特定值的元素替换为某一新值 replace_copy_if 某区间内的元素复制到另一个区间,其中满足特定条件的元素替换成新的值 |
行号 558: | 行号 636: |
remove remove_if remove_copy remove_copy_if unique unique_copy |
remove 删除序列内某一个值的元素 remove_if 删除序列中满足某个条件的元素 remove_copy 将一个区间内的元素复制到另一个区间,复制过程中移除某个值的元素 remove_copy_if 将一个区间内的元素复制到另一个区间,复制过程中移除满足一定条件的元素 unique 删除连续的重复元素,或者删除连续的两个满足一定条件的元素中的后面一个 unique_copy 将一个区间内的元素复制到另一个区间,复制过程中删除连续的重复元素 |
行号 567: | 行号 645: |
reverse reverse_copy rotate rotate_copy next_permutation prev_permutation random_shuffle partition stable_partition |
reverse 逆转区间内的元素 reverse_copy 将一个区间内的元素复制到另一个区间,目标区间内的元素顺序和原来的相反 rotate 旋转元素次序,使某一个元素成为第一个,该元素之前的元素接在原来的最后面 rotate_copy 将一个区间内的元素复制到另一个区间,并旋转元素的次序 next_permutation 使区间内的元素符合下一次排列的顺序 prev_permutation 是区间内的元素符合上一次排列的顺序 random_shuffle 打乱区间内的元素顺序 partition 对元素进行分段 stable_partition 对元素进行分段(稳定的) |
行号 579: | 行号 657: |
sort stable_sort partial_sort partial_sort_copy nth_element partition stable_partition make_heap push_heap pop_heap sort_heap |
sort 排序(快速排序,不稳定) stable_sort 排序(稳定的) partial_sort 对区间内开始的一部分元素进行局部排序 partial_sort_copy 将一个区间的元素复制到另一个区间,并对元素进行排序 nth_element 对区间内最小的n个元素进行排序 partition 对元素进行分段 stable_partition 对元素进行分段(稳定的) make_heap 建堆 push_heap 入堆 pop_heap 出堆 sort_heap 堆排序 |
行号 593: | 行号 671: |
binary_search includes lower_bound upper_bound equal_range merge set_union set_intersection set_difference set_symmetric_difference inplace_merge |
binary_search 二分查找 includes 判断一个区间是不是另一个区间的子集 lower_bound 找大于等于某个值的第一个元素 upper_bound 找大于某个值的第一个元素 equal_range 返回等于某个值的区间 merge 合并两个区间,结果存到另一个区间 inplace_merge 将一个区间的元素合并到另一个区间 set_union 两个集合并 set_intersection 两个集合交 set_difference 两个集合差 set_symmetric_difference 两个集合对称差 |
行号 607: | 行号 685: |
accumulate inner_product adjacent_difference partial_sum |
accumulate 一个区间内的元素累加 inner_product 两个区间的元素求内积 adjacent_difference 计算区间内每两个相邻元素的差 partial_sum 求区间内的每个元素的部分和 |
行号 629: | 行号 707: |
cout << elem << ‘ ‘; | cout << elem << '\t'; |
行号 639: | 行号 717: |
template< class T> | void add10(int &elem) { elem+=10; } void print ( int elem) { cout << elem << '\t'; } int main() { vector<int> col(5, 10); for_each(col.begin(), col.end(), add10); for_each(col.begin(), col.end(), print); } }}} {{{#!cplusplus class AddValue{ private: int value; public: AddValue( const int&v) : value(v) {} void operator()(int&elem) const { elem+=value; } }; void print ( int elem) { cout << elem << '\t'; } int main() { vector<int > col(5, 10); int n; cin >> n; for_each(col.begin(), col.end(), AddValue(n)); for_each(col.begin(), col.end(), print); } }}} {{{#!cplusplus template<class T> |
行号 647: | 行号 759: |
template<class T> void print ( T elem) { cout << elem << '\t'; } |
|
行号 649: | 行号 765: |
for_each(col.begin(), col.end(), AddValue<int>(10)); copy( col.begin(), col.end(), ostream_iterator<int>(cout, " ")); } }}} |
vector<float> col2(5, 5.5); vector<string> col3(5, "hello "); int n; float m; string s; cin >> n >> m >> s; for_each(col.begin(), col.end(), AddValue<int>(n)); for_each(col2.begin(), col2.end(), AddValue<float>(m)); for_each(col3.begin(), col3.end(), AddValue<string>(s)); for_each(col.begin(), col.end(), print<int>); for_each(col2.begin(), col2.end(), print<float>); for_each(col3.begin(), col3.end(), print<string>); } }}} |
行号 671: | 行号 799: |
{{{ | {{{#!cplusplus |
行号 674: | 行号 802: |
while( first != last ) { | while( first != last ) { |
行号 678: | 行号 806: |
} return result; |
} return result; |
行号 683: | 行号 811: |
{{{ | {{{#!cplusplus |
行号 686: | 行号 814: |
while( first1 != last1 ) { *result = op(*first1, *first2); |
while( first1 != last1 ) { *result = binary_op(*first1, *first2); |
行号 691: | 行号 819: |
} return result; |
} return result; |
行号 696: | 行号 824: |
{{{ int main() { vector< int > c1(5, 10); transform( c1.begin(), c1.end(), c1.begin(), negate<int>() ); list < int> c2; transform( c1.begin(), c1.end(), back_inserter(c2), bind2nd(multiplies<int>(), 5)); transform( c2.rbegin(), c2.rend(), ostream_iterator<int>(cout, “ “), negate<int>()); transform( c1.begin(), c1.end(), c1.begin(), c1.begin(), multiplies<int>()); transform( c1.begin(), c1.end(), c2.rbegin(), c1.begin(), plus<int>()); transform( c1.begin(), c1.end(), c1.begin(), ostream_iterator<int>(cout, “ “), minus<int>() ); |
{{{#!cplusplus template<class T> class AddValue{ private: T value; public: AddValue( const T&v) : value(v) {} T operator()(const T&elem) const { return elem+value; } }; template<class T> class Add{ public: T operator()(const T& a, const T& b) const { return a + b; } }; int main() { vector< int > c1(5, 10); transform( c1.begin(), c1.end(), c1.begin(), AddValue<int>(10) ); vector< int > c2(5, 5); vector< int > c3(5); transform( c1.begin(), c1.end(), c2.begin(), c3.begin(), Add<int>()); |
行号 1071: | 行号 1209: |
1. Write a program to print a histogram of the frequencies of different characters in its input. 1. Write a program to print a histogram of the lengths of words in its input. It is easy to draw the histogram with the bars horizontal; a vertical orientation is more challenging. 1. Write a program that prints the distinct words in its input sorted into decreasing order of frequency of occurrence. Precede each word by its count. 1. Write a cross-referencer that prints a list of all words in a document, and for each word, a list of the line numbers on which it occurs. |
1. Write a program to print a histogram of the frequencies of different characters in its input. 写一个程序,打印输入中所有字符出现次数的直方图。 1. Write a program to print a histogram of the lengths of words in its input. It is easy to draw the histogram with the bars horizontal; a vertical orientation is more challenging. 写一个程序,打印输入中单词长度的直方图。横着画直方图的条是比较简单的,竖着画更有挑战。 1. Write a program that prints the distinct words in its input sorted into decreasing order of frequency of occurrence. Precede each word by its count. 写一个程序,统计输入中每个单词的出现次数,并按照出现次数的顺序打印单词。在每个单词前打印出现次数。 1. Write a cross-referencer that prints a list of all words in a document, and for each word, a list of the line numbers on which it occurs. 写一个交叉索引程序,打印文章中所有单词及每个单词在文章中出现的行号。 |
行号 1077: | 行号 1215: |
}}}prints the last n lines. The program should behave rationally no matter how unreasonable the input or the value of n. Write the program so it makes the best use of available storage. | }}}prints the last n lines. The program should behave rationally no matter how unreasonable the input or the value of n. Write the program so it makes the best use of available storage. 写一个tail程序,打印输入中的倒数n行。n默认值为10。n也可以被命令行参数指定,这样的命令{{{ tail -n }}}只打印最后n行。这个程序应该在任何输入和任意的n值下等能够正常地工作。这个程序要写得能够最有效率的利用存储空间。 |
行号 1081: | 行号 1221: |
= 参考资源 = * [http://www.sgi.com/tech/stl/ Standard Template Library Programmer's Guide] * [http://msdn.microsoft.com/library/en-us/vcstdlib/html/vcoriStandardCLibraryReference.asp MSDN Standard C++ Library Reference] |
STL概述
标准模板库(Standard Template Library),简称STL,是关于容器类(container)、算法(algorithm)和迭代子(iterator)的C++库。它提供了计算机科学所需的基本的算法和数据结构。STL是一个通用的库,意思是它的组件大量都是参数化的:STL中几乎每一个组件都是模板。在使用STL前,你应该了解C++的模板是如何用的。
1. 容器和算法
跟许多其他类库一样,STL也包含容器类:这些类的目的是用来容纳其他对象。STL的容器类包括vector,list,deque,set,multiset,map,multimap,hash_set,hash_multiset,hash_map,hash_meultimap。每一个这样的类都是一个模板,模板可以被实例化成容纳特定类型的容器。比如说,你可以与使用C语言数组非常相似的方式使用vector<int>,另外vector还消除了手动管理内存分配的繁琐。
STL里面还包含了大量的算法,用来对容器里面的数据进行操作。比如说,只要使用reverse算法,你就可以将一个vector里面的元素顺序反过来:
在调用reverse的时候有两点需要注意。第一,reverse是一全局函数,不是成员函数。第二,它需要两个参数而不是一个:它对一个区间内的元素进行操作,而不是一个容器。在这个特例里面,这个区间恰好是整个容器v。
造成这两点的原因是相同的:reverse,其它STL算法也一样,是与STL容器相分离的。也就是说,reverse不仅可以用于反转vector的数据元素,也可以用来反转list的数据元素,甚至是C语言数组的元素。比如下面的程序也是合法的:
和前面的反转vector例子类似,这个例子也使用了一个区间:reverse的第一个参数是指向区间开始的指针,第二个参数是指向区间结束的指针。这个区间记为[A, A+6);这个不对称的标记表明区间的两端时不一样的,第一个是区间开始的位置,第二个是区间最后元素的下一个位置。
2. 迭代子
在反转C数组元素的例子中,reverse的参数很清楚,是double*类型的。但是在反转vector的时候,reverse参数的类型是什么呢?反转list呢?也就是说,reverse的参数到底声明成什么?v.begin()和v.end()到底返回什么?
答案就是,传给reverse的参数是迭代子,它是一种泛化的指针。指针本身也是迭代子,这就是为什么reverse可以反转C语言数组的元素。类似的,在vector中声明了内嵌的类型iterator和const_iterator。在前面的例子中,v.begin()和v.end()返回的类型就是vector<int>::iterator。而还有一些迭代子,比如istream_iterator和ostream_iterator,他们根本不和容器关联。
有了迭代子这种机制,使得让算法和容器分离成了可能:算法是模板,用迭代子作为参数,因此他并不局限于一种容器。比如说,要写一个算法在一个区间内进行线性的查找。这实际上就是一个STL的find算法。
find有三个参数:两个迭代子定义了查找的区间,一个值指定了在这个区间内需要搜索的值。find检查区间[first, last)内的每一个迭代子,从开始一步一步前进到最后,最终当找到一个迭代子指向需要查找的元素的时候或者到达区间的最后的时候停下来。
first和last声明为InputIterator类型,它是一个模板参数。也就是说,实际上并没有一个叫做InputIterator的类型:当你调用find的时候,编译器将模板的两个形参InputIterator和T替换成参数的实际类型。如果find的前两个参数的类型是int*,第三个参数的类型是int,那么调用find就好像调用了这个函数一样:
3. 概念与建立模型
关于模板函数(不单单是STL算法)的一个非常重要的问题是用哪些类型来代替模板的形参是正确的?比如说,可以用int*或者double*来替换find的模版形参InputIterator。而int或者double就不可以:find使用*first表达式,dereference操作对于int或者double类型的对象是没有意义的。简单的答案是find隐含了对于参数类型的一组需求,任何满足需求的类型都可以用来实例化参数。要替代InputIterator的类型必须提供这样一些操作:它必须能够比较两个对象是否相等,它必须能够自增,它必须能够dereference并返回它所指向的对象,等等。
find不是唯一有着这样需求的STL算法;for_each和count等等其它算法的参数也必须满足同样的需求。这些需求非常重要,因此我们需要给它一个名字:我们把对于类型的一组需求叫做一个概念(concept),我们把这里这个特定的概念称为Input Iterator。如果某个类型满足某个概念的所有需求,我们讲这个类型是符合(conform)这个概念的,或者说这个类型是这个概念的一个模型(model)。我们说int*是Input Iterator的一个模型,因为int*满足所有Input Iterator定义的需求。
概念不是C++语言的一个语法部分;也就是说没有办法在程序中声明一个概念,也没办法声明一个类型是某一个概念的模型。但是,概念是STL极端重要的部分。使用概念可以让程序的接口与实现彻底的分离开来:find的作者只要考虑Input Iterator概念所定义的接口,而不用考虑每一种类型的具体实现。类似的,如果你要使用find,你只要保证find的参数必须是Input Iterator的模型就可以了。这就是为什么在list、vector、C语言数组以及其它很多类型上都可以使用reverse:用概念的方式编程而不是用特定的类型编程,可以使得软件组件可以重用,并把这些组件组合在一起。
4. Refinement
Input Iterator实际上是一个相对较弱的概念:就是说,它的需求非常少。一个Input Iterator只需要支持指针的算术运算的子集(Input Iterator必须支持前置和后置的++运算符),而不需要支持指针的所有算术运算。这对于find已经足够了,但是其它的一些算法,它们的参数需要满足更多的需求。比如说reverse必须能够对它的参数进行自减(--)操作;因为它使用了--last这样的表达式。用概念的方式讲,reverse必须是Bidirectional Iterator概念的模型而不是Input Iterator概念。
Bidirectional Iterator概念与Input Iterator概念非常相似:它只是添加了更多的需求。满足Bidirectional Iterator的类型集合是满足Input Iterator的类型集合的子集:一个类型,只要它是Bidirectional Iterator的模型,那么它一定也是Input Iterator的模型。比如说,int*既是Bidirectional Iterator的模型,也是Input Iterator的模型,但是istream_iterator它是Input Iterator的模型,但不是Bidirectional的模型:它不符合Bidirectional Iterator的更多更严格的需求。
We describe the relationship between Input Iterator and Bidirectional Iterator by saying that Bidirectional Iterator is a refinement of Input Iterator. Refinement of concepts is very much like inheritance of C++ classes; the main reason we use a different word, instead of just calling it "inheritance", is to emphasize that refinement applies to concepts rather than to actual types.
There are actually three more iterator concepts in addition to the two that we have already discussed: the five iterator concepts are Output Iterator, Input Iterator, Forward Iterator, Bidirectional Iterator, and Random Access Iterator; Forward Iterator is a refinement of Input Iterator, Bidirectional Iterator is a refinement of Forward Iterator, and Random Access Iterator is a refinement of Bidirectional Iterator. (Output Iterator is related to the other four concepts, but it is not part of the hierarchy of refinement: it is not a refinement of any of the other iterator concepts, and none of the other iterator concepts are refinements of it.) The Iterator Overview has more information about iterators in general.
Container classes, like iterators, are organized into a hierarchy of concepts. All containers are models of the concept Container; more refined concepts, such as Sequence and Associative Container, describe specific types of containers. Other parts of the STL
If you understand algorithms, iterators, and containers, then you understand almost everything there is to know about the STL. The STL does, however, include several other types of components.
First, the STL includes several utilities: very basic concepts and functions that are used in many different parts of the library. The concept Assignable, for example, describes types that have assignment operators and copy constructors; almost all STL classes are models of Assignable, and almost all STL algorithms require their arguments to be models of Assignable.
Second, the STL includes some low-level mechanisms for allocating and deallocating memory. Allocators are very specialized, and you can safely ignore them for almost all purposes.
Finally, the STL includes a large collection of function objects, also known as functors. Just as iterators are a generalization of pointers, function objects are a generalization of functions: a function object is anything that you can call using the ordinary function call syntax. There are several different concepts relating to function objects, including Unary Function (a function object that takes a single argument, i.e. one that is called as f(x)) and Binary Function (a function object that takes two arguments, i.e. one that is called as f(x, y)). Function objects are an important part of generic programming because they allow abstraction not only over the types of objects, but also over the operations that are being performed.
容器container
容器是存放和管理数据元素的数据结构,分为两大类:顺序容器(sequence container)和关联容器(associative container)。
- 顺序容器有:vector(向量,酷似数组), deque(双端队列), list(双链表)
- 关联容器有:map(字典), set(集合), multi_map(允许重复键的字典), multi_set(允许重复键的集合)
除此以外还有:
- 特殊的容器:string(字符串), array(C语言原始数组)
- 容器适配器:stack(栈), queue(队列), priority_queue(优先队列)
- 内部容器:不提供给用户使用,只用来实现其他容器,比如红黑树(用来实现map,set),堆(用来实现priority_queue)
容器一般使用模板类来实现
1. vector向量
1.1. 接口说明
vector的用法类似于数组,不同的是数组空间可以动态分配。
T可以是任何类型,但是必须满足:assignable, copyable
1.1.1. 构造方法
1.1.2. 不变操作和赋值
1.1.3. 元素访问
1.1.4. 跌代子
1.1.5. 插入删除操作
1 a1.insert( a1.begin(), 5); //在a1的最前面插入一个5
2 a1.insert(a1.end(), 10, 6); //在a1的最后面插入10个6
3 a1.insert(a1.begin(), values, values+5) //在a1的最前面插入values[0]到values[4]
4 a1.push_back( 5 ) //在a1的最后面插入一个5
5 a1.pop_back( ) // 删除a1的最后一个元素
6 a1.erase( a1.begin() ) //删除a1中的第一个元素
7 a1.erase( a1.begin(), a1.begin() +2) //删除a1最前面2个元素
8 a1.resize( 10 ) //将a1元素个数改为10,增加的部分值为默认构造
9 a1.resize( 10, 6) //将a1元素个数改为10,增加的部分值为6
10 a1.clear() //清除所有元素
11
1.2. 用法实例
1 #include <vector>
2 int main() {
3 using namespace std;
4 vector< string > sentence;
5 sentence.reserve( 5 );
6 sentence.push_back( “ Hello, “);
7 sentence.push_back( “how “);
8 sentence.push_back( “are “);
9 sentence.push_back( "you ");
10 sentence.push_back( “?“);
11 copy( sentence.begin(), sentence.end(), ostream_iterator<string>(cout, “ “));
12 cout << endl;
13 cout << sentence.size() << endl;
14 cout << sentence.capacity() << endl;
15 swap( sentence[1], sentence[3]);
16 sentence.insert( find(sentence.begin(), sentence.end(), “?”), “always”);
17 sentence.back() = “!”;
18 copy( sentence.rbegin(), sentence.rend(), ostream_iterator<string>(cout, “ “));
19 cout << endl;
20 }
用vector代替数组使用
1.3. vector的实现
vector的实现类似于数据结构中的顺序表
attachment:vector.jpg
1 template<class T, class Alloc=alloc>
2 class vector {
3 public:
4 typedef T value_type;
5 typedef value_type* iterator;
6 typedef value_type& reference;
7 typedef size_t size_type;
8 protected:
9 iterator start;
10 iterator finish;
11 iterator end_of_storage;
12
13
14 public:
15 iterator begin() { return start; }
16 iterator end() { return finish; }
17 size_type size() const { //返回当前元素个数
18 return size_type(end() - begin());
19 }
20 bool empty() const {
21 return begin() == end();
22 }
23 reference operator[](size_type n) {
24 return *(begin() + n);
25 }
26 reference front() {
27 return *begin();
28 }
29 reference back() {
30 return *(end() - 1);
31 }
32 size_type capacity() const { //返回当前容量的大小
33 return size_type(end_of_storage - begin());
34 }
35 size_type reserve(size_type n); //改变容量的大小
36 void push_back(const T& x) {
37 if(finish != end_of_storage) {
38 construct(finish, x);
39 ++finish;
40 } else {
41 insert_aux(end(), x);
42 }
43 }
44 protected:
45 typedef simple_alloc<value_type, Alloc> data_allocator;
46 void deallocate() {
47 if(start) data_allocator::deallocate(start, end_of_storage - start);
48 }
49
50 void insert_aux(iterator position, const T& x) {
51 if(finish != end_of_storage) {
52 construct(finish, *(finish-1));
53 ++finish;
54 T x_copy = x;
55 copy_backward(position, finish-2, finish-1);
56 *position = x_copy;
57 } else {
58 const size_type old_size = size();
59 const size_type len = old_size != 0 ? 2 * old_size : 1;
60 iterator new_start = data_allocator::alloate(len);
61 iterator new_finish = new_start;
62 try {
63 new_finish = uninitialized_copy(start, position, new_start);
64 construct(new_finish, x);
65 ++ new_finish;
66 new_finish = uninitialized_copy(position, finish, new_finish);
67 } catch(...) {
68 destroy(new_start, new_finish);
69 data_allocator::deallocate(new_start, len);
70 throw;
71 }
72 destroy(begin(), end());
73 deallocate();
74 start = new_start;
75 finish = new_finish;
76 end_of_storage = new_start + len;
77 }
78 }
79 };
2. deque双端队列
deque与vector相似,区别是deque两端都是开放的,两端插入删除都很快。在头文件<deque>中定义。 attachment:deque.jpg
实现: attachment:deque_imp.jpg
可以随机访问,但速度比vector稍慢
迭代子是随机跌代子,是一种class而不是原始指针
操作非常相似,增加操作:push_front, pop_front,减少操作:reserve,capacity
任何插入和删除操作都可能使跌代子失效
例子:
例子:
1 int main() {
2 deque<string> coll;
3 coll.assign (3, string("string"));
4 coll.push_back ("last string");
5 coll.push_front ("first string");
6 copy (coll.begin(), coll.end(), ostream_iterator<string>(cout,"\n"));
7 coll.pop_front();
8 coll.pop_back();
9 for (int i=1; i<coll.size(); ++i) {
10 coll[i] = "another " + coll [i];
11 }
12 coll.resize (4, "resized string");
13 copy (coll.begin(), coll.end(), ostream_iterator<string>(cout,"\n"));
14 }
3. list链表
一般为双链表实现
#include <list> 提供双向跌代子,不能随机访问 插入删除操作非常快速 插入删除操作不会使跌代子失效 提供了一些移动元素的算法,比通用算法更快
例
1 void printLists (const list<int>& 11, const list<int>& 12) {
2 cout << "list1: ";
3 copy (l1.begin(), l1.end(), ostream_iterator<int>(cout," "));
4 cout << endl << "list2: ";
5 copy (12.begin(), 12.end(), ostream_iterator<int>(cout," "));
6 cout << endl << endl;
7 }
8 int main() {
9 list<int> list1, list2;
10 for (int i=0; i<6; ++i) {
11 list1.push_back(i);
12 list2.push_front(i);
13 }
14 printLists(list1, list2);
15 list2.splice(find(list2.begin(),list2.end(), 3), list1);
16 printLists(list1, list2);
17 list2.splice(list2.end(), list2, list2.begin());
18 printLists(list1, list2);
19 list2.sort();
20 list1 = list2;
21 list2.unique();
22 printLists(list1, list2);
23 list1.merge(list2);
24 printLists(list1, list2);
25 }
4. stack栈
主要操作
- push() 入栈
- top() 取栈顶元素
- pop() 出栈
例:
1 int main() {
2 stack<int> st;
3 st.push(l);
4 st.push(2);
5 st.push(3);
6 cout << st.top() << ' ';
7 st.pop() ;
8 cout << st.top() << ' ';
9 st.pop() ;
10 st.top() = 77;
11 st.push(4);
12 st.push(5);
13 st.pop() ;
14 while (!st.empty()) {
15 cout << st.top() << ' ';
16 st.pop() ;
17 }
18 cout << endl;
19 }
5. queue队列
1 #include <queue>
2 namespace std {
3 template <class T, class Container = deque<T> >
4 class queue;
5 }
6
7 主要操作:
8 * push
9 * pop
10 * back
11 * front
12
13 例
14 {{{#!cplusplus
15 int main() {
16 queue<string> q;
17 q.push("These ");
18 q.push("are ");
19 q.push("more than ");
20 cout << q.front();
21 q.pop();
22 cout << q.front();
23 q.pop();
24 q.push(''four ");
25 q.push("words!");
26 q.pop();
27 cout << q.front();
28 q.pop();
29 cout << q.front() << endl;
30 q.pop();
31 cout << "number of elements in the queue: " << q.size() << endl;
32 }
6. priority_queue优先队列
按照大小顺序出队的队列 #include <queue> namespace std { template <class T, class Container = vector<T>, class Compare = less<typename Container::value_type> > class priority_queue; } 实现:堆
push() 入队 top() 读取下一个元素 pop() 删除下一个元素
1 int main() {
2 priority_queue<float> q;
3 q.push(66.6);
4 q.push(22.2);
5 q.push(44.4);
6 cout << q.top() << ' ';
7 q.pop();
8 cout << q.top() << endl;
9 q.pop();
10 q.push(11.1);
11 q.push(55.5);
12 q.push(33.3);
13 q.pop();
14 while (!q.empty()) {
15 cout << q.top() << ' ';
16 q.pop();
17 }
18 cout << endl;
19 }
7. set与multi_set
在这两种容器中,元素能够根据指定的排序规则自动的排序,以优化查找。两者区别是:set不允许有重复的元素,multi_set允许有重复的元素。
内部结构
例子:
1 #include <iostream>
2 #include <set>
3 using namespace std;
4 int main() {
5 typedef set<int,greater<int> > IntSet;
6 IntSet coll1; // empty set container
7 coll1.insert(4);
8 coll1.insert(3);
9 coll1.insert(5);
10 coll1.insert(1);
11 coll1.insert(6);
12 coll1.insert(2);
13 coll1.insert(5);
14 IntSet::iterator pos;
15 for (pos = coll1.begin(); pos != coll1.end(); ++pos) {
16 cout << *pos << ' ';
17 }
18 cout << endl;
19 pair<IntSet::iterator,bool> status = coll1.insert(4);
20 if (status.second) {
21 cout << "4 inserted as element "<< distance (coll1.begin(),status. first) + 1<< endl;
22 }else {
23 cout << "4 already exists" << endl;
24 }
25 set<int> coll2(coll1.begin(),
26 coll1.end());
27 copy (coll2.begin(), coll2.end(), ostream_iterator<int>(cout," "));
28 cout << endl;
29 coll2.erase (coll2.begin(), coll2.find(3));
30 int num;
31 num = coll2.erase (5);
32 cout << num << " element(s) removed" << endl;
33 copy (coll2.begin(), coll2.end(), ostream_iterator<int>(cout," "));
34 cout << endl;
35 }
8. map与multi_map
存放关键字与对应值的数据结构
内部结构
1 #include <iostream>
2 #include <map>
3 #include <string>
4 using namespace std;
5 int main() {
6 typedef map<string,float> StringFloatMap;
7 StringFloatMap stocks; // create empty container
8 stocks["BASF"] = 369.50;
9 stocks["VW"] = 413.50;
10 stocks["Daimler"] = 819.00;
11 stocks["BMW"] = 834.00;
12 stocks["Siemens"] = 842.20;
13 StringFloatMap::iterator pos;
14 for (pos = stocks.begin(); pos != stocks.end(); ++pos) {
15 cout << "stock: " << pos->first << "\t" << "price: " << pos->second << endl;
16 }
17 cout << endl;
18 for (pos = stocks.begin(); pos != stocks.end(); ++pos) {
19 pos->second *= 2;
20 }
21 for (pos = stocks.begin(); pos != stocks.end(); ++pos) {
22 cout << "stock: " << pos->first << "\t"<< "price: " << pos->second << endl;
23 }
24 cout << endl;
25 stocks["Volkswagen"] = stocks["VW"];
26 stocks.erase("VW");
27 for (pos = stocks.begin(); pos != stocks.end(); ++pos) {
28 cout << "stock: " << pos->first << "\t"<< "price: " << pos->second << endl;
29 }
30 }
算法Algorithm
1. 概述
算法是一组对容器内的数据进行处理的函数
#include <algorithm> //一般算法 #include <numeric> //数值算法
算法的数量很多,大致可以分为:
- 非变动性算法,一般不会改变容器里面的数据,比如:
for_each 对每一个元素执行某操作 count 返回元素个数 count_if 返回满足某一条件的元素个数 min_element 返回最小的元素的迭代子 max_element 返回最大的元素的迭代子 find 搜索等于某值元素 find_if 搜索满足某个条件的元素 search_n 搜索连续n个元素,每个元素都等于某值或者满足某种条件 search 搜索子区间,该子区间内的每个元素和另一个区间内的元素值相等或者满足一定的关系 find_end 搜索最后出现的一个子区间,该子区间内的每个元素和另一个区间内的元素值相等或者满足一定的关系 find_first_of 搜索某些元素第一次出现的位置 adjacent_find 所艘连着两个相等的元素,或者连着两个元素满足某种关系 equal 判断两个区间内的元素是否相等或者满足一定关系 mismatch 搜索两个区间内第一个不同的元素 lexicographical_compare 检验第一区间内的元素是否小于第二个区间内的元素
- 变动性算法,比如:
for_each 对每个元素执行某个操作 copy 复制 copy_backward 复制(从后向前) transform 对一个区间每一个元素做某个操作,结果传给另一区间。对两个区间内的元素作某个操作,结果传给第三个区间。 swap_ranges 交换两个区间内的元素 fill 某一区间内填充某个值 fill_n 某一位置开始填充n个某个值 generate 用一个产生值填充某个区间 generate_n 用一个产生值填充某一位置开始的n个元素 replace 替换区间内原来为某值的元素为某一新值 replace_if 替换区间内满足某一条件的元素为某一新值 replace_copy 某区间内的元素复制到另一个区间,其中值为某一特定值的元素替换为某一新值 replace_copy_if 某区间内的元素复制到另一个区间,其中满足特定条件的元素替换成新的值
- 移除算法
remove 删除序列内某一个值的元素 remove_if 删除序列中满足某个条件的元素 remove_copy 将一个区间内的元素复制到另一个区间,复制过程中移除某个值的元素 remove_copy_if 将一个区间内的元素复制到另一个区间,复制过程中移除满足一定条件的元素 unique 删除连续的重复元素,或者删除连续的两个满足一定条件的元素中的后面一个 unique_copy 将一个区间内的元素复制到另一个区间,复制过程中删除连续的重复元素
- 变序性算法
reverse 逆转区间内的元素 reverse_copy 将一个区间内的元素复制到另一个区间,目标区间内的元素顺序和原来的相反 rotate 旋转元素次序,使某一个元素成为第一个,该元素之前的元素接在原来的最后面 rotate_copy 将一个区间内的元素复制到另一个区间,并旋转元素的次序 next_permutation 使区间内的元素符合下一次排列的顺序 prev_permutation 是区间内的元素符合上一次排列的顺序 random_shuffle 打乱区间内的元素顺序 partition 对元素进行分段 stable_partition 对元素进行分段(稳定的)
- 排序算法
sort 排序(快速排序,不稳定) stable_sort 排序(稳定的) partial_sort 对区间内开始的一部分元素进行局部排序 partial_sort_copy 将一个区间的元素复制到另一个区间,并对元素进行排序 nth_element 对区间内最小的n个元素进行排序 partition 对元素进行分段 stable_partition 对元素进行分段(稳定的) make_heap 建堆 push_heap 入堆 pop_heap 出堆 sort_heap 堆排序
- 已序区间算法
binary_search 二分查找 includes 判断一个区间是不是另一个区间的子集 lower_bound 找大于等于某个值的第一个元素 upper_bound 找大于某个值的第一个元素 equal_range 返回等于某个值的区间 merge 合并两个区间,结果存到另一个区间 inplace_merge 将一个区间的元素合并到另一个区间 set_union 两个集合并 set_intersection 两个集合交 set_difference 两个集合差 set_symmetric_difference 两个集合对称差
- 数值算法
accumulate 一个区间内的元素累加 inner_product 两个区间的元素求内积 adjacent_difference 计算区间内每两个相邻元素的差 partial_sum 求区间内的每个元素的部分和
2. for_each
对区间内每一个元素采用某一种操作
实现:
用例1:
用例2:
1 class AddValue{
2 private:
3 int value;
4 public:
5 AddValue( const int&v) : value(v) {}
6 void operator()(int&elem) const { elem+=value; }
7 };
8 void print ( int elem) {
9 cout << elem << '\t';
10 }
11 int main() {
12 vector<int > col(5, 10);
13 int n;
14 cin >> n;
15 for_each(col.begin(), col.end(), AddValue(n));
16 for_each(col.begin(), col.end(), print);
17 }
1 template<class T>
2 class AddValue{
3 private:
4 T value;
5 public:
6 AddValue( const T&v) : value(v) {}
7 void operator()(T&elem) const { elem+=value; }
8 };
9 template<class T>
10 void print ( T elem) {
11 cout << elem << '\t';
12 }
13 int main() {
14 vector<int > col(5, 10);
15 vector<float> col2(5, 5.5);
16 vector<string> col3(5, "hello ");
17 int n;
18 float m;
19 string s;
20 cin >> n >> m >> s;
21 for_each(col.begin(), col.end(), AddValue<int>(n));
22 for_each(col2.begin(), col2.end(), AddValue<float>(m));
23 for_each(col3.begin(), col3.end(), AddValue<string>(s));
24 for_each(col.begin(), col.end(), print<int>);
25 for_each(col2.begin(), col2.end(), print<float>);
26 for_each(col3.begin(), col3.end(), print<string>);
27 }
用例3:
1 class MeanValue {
2 private:
3 int num, sum;
4 public:
5 MeanValue() : num(0), sum(0) {}
6 void operator()( int elem ) { num ++; sum+=elem; }
7 double value() { return static_cast<double>(sum) / static_cast<double>(num); }
8 };
9 int main() {
10 vector<int> col(5, 10);
11 MeanValue mv = for_each(col.begin(), col.end(), MeanValue() );
12 cout << mv.value();
13 }
3. transform
功能1:将区间内每个元素作变换,存储到另一个空间里面
功能2:将两个区间内的元素作变换,存储到另一个空间内
1 template <class InputIterator1, class InputIterator2, class OutputIterator, class BinaryFunction>
2 OutputIterator transform(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, OutputIterator result, BinaryFunction binary_op) {
3 while( first1 != last1 ) {
4 *result = binary_op(*first1, *first2);
5 ++result;
6 ++first1;
7 ++first2;
8 }
9 return result;
10 }
用例1:
1 template<class T>
2 class AddValue{
3 private:
4 T value;
5 public:
6 AddValue( const T&v) : value(v) {}
7 T operator()(const T&elem) const { return elem+value; }
8 };
9 template<class T>
10 class Add{
11 public:
12 T operator()(const T& a, const T& b) const { return a + b; }
13 };
14 int main() {
15 vector< int > c1(5, 10);
16 transform( c1.begin(), c1.end(), c1.begin(), AddValue<int>(10) );
17 vector< int > c2(5, 5);
18 vector< int > c3(5);
19 transform( c1.begin(), c1.end(), c2.begin(), c3.begin(), Add<int>());
20 }
仿函数(Functor, Function Object)
1. 概述
能像函数一样使用的对象。普通函数、函数指针、定义了operator()的类的对象都可以作为仿函数。
#include <functional>
仿函数主要用来配合算法,来指定算法中可定制部分的操作。
仿函数分为:
- Generator:不带参数的仿函数,比如:
rand
- Unary Function:带一个参数的仿函数。比如:
abs negate identity
- Predicate:返回真或假的Unary Function。比如:
logical_not
- Binary Function:带两个参数的仿函数。比如:
plus minus multiplies divides modulus
- Binary Predicate:返回真或假的Binary Function。比如:
less greater equal_to not_equal_to less_equal greater_equal logical_and logical_or auxiliary function bind1st bind2nd not1 not2 mem_fun_ref mem_fun ptr_fun compose1 compose2
2. 例子
例1
1 find_if (coll.begin(),coll.end(), bind2nd (greater<int>(),42));
例2
例3
1 class Person {
2 private:
3 std::string name;
4 public:
5 void print() const {
6 std::cout << name << std::endl;
7 }
8 void printWithPrefix (std::string prefix) const {
9 std::cout << prefix << name << std::endl;
10 }
11 };
12 void foo (const std::vector<Person>& coll){
13 for_each (coll.begin(), coll.end(), mem_fun_ref(&Person::print));
14 for_each (coll.begin(), coll.end(), bind2nd (mem_fun_ref (&Person::printWithPrefix), "person: "));
15 }
16 void ptrfoo (const std::vector<Person*>& coll) {
17 for_each (coll.begin() , coll.end(), mem_fun(&Person::print));
18 for_each (coll.begin() , coll.end(), bind2nd(mem_fun(&Person::printWithPrefix), "person: "));
19 }
例4
例5
例6
迭代子Iterator
迭代子是一种能够遍历容器里面的全部或者部分元素的对象,一个迭代子能够表示容器里面一个特定的位置。
使用begin(), end()获得容器的迭代子。迭代子的类型会随着容器的不同而不同,可表示为container<T>::iterator,如果支持双向跌代,则可以通过rbegin(), rend()获得反向跌代子。反向跌代子的类型为:container<T>::reverse_iterator,
1. 分类
- Input:只能单向读取,比如istream
- Output:只能单向写入,比如ostream
- Forward:单向读取和写入,具有Input和Output跌代子的全部能力,比如slist
- Bidirectional:双向读取和写入,具有Forward跌代子的全部能力,比如list, set, map
- Random:随机读取和写入,具有Bidirectional跌代子的全部能力,比如vector, deque
2. 运算符
迭代子最基本的操作有:
- iter++, ++iter:让跌代子移动到下一个元素,有前置后置两种形式。
- *iter:返回迭代子当前位置上的元素。如果是Input代子,返回元素的值,只能读取;如果是Output跌代子,返回引用,只能写入。
- iter1 == iter2 , iter1 != iter2:判断两个跌代子是否指向同一个位置。(Output没有此操作)
- iter1 = iter2:改变跌代子指向的位置。(Output没有此操作)
iter ->:如果元素是类(结构体),则可以使用->直接访问元素的成员。
- iter --, --iter:使用--移动到前一个元素,有前置后置两种形式。(双向跌代子和随机跌代子)
- iter [n]:后面第n个的元素(Random跌代子)
- iter += n:往后面移动n个位置(Random跌代子)
- iter -= n:往前面移动n个位置(Random跌代子)
- iter + n, n + iter:后面第n个位置(Random跌代子)
- iter - n:前面第n个位置(Random跌代子)
- iter1 - iter2: 两个元素之间的距离(Random跌代子)
iter1<iter2, iter1 > iter2, iter1 <= iter2, iter1 >= iter2: 比较两个跌代子的位置(Random跌代子)
3. 辅助函数
- advance(iter, n):将跌代子后移n个位置
- distance(iter1, iter2):两个跌代子之间的距离
4. 迭代子适配器
- reverse iterator
- insert iterators(back_inserter, front_inserter, inserter)
- Stream Iterators(ostream_iterator, istream_iterator)
5. Sample
例1
例2
1 int main() {
2 vector<int> coll;
3 for (int i=-3; i<=9; ++i) {
4 coll.push_back (i);
5 }
6 cout << "number/distance: " << coll.end()-coll.begin() << endl;
7 vector<int>::iterator pos;
8 for (pos=coll.begin(); pos<coll.end(); ++pos) {
9 cout << *pos << ' ';
10 }
11 for (int i=0; i<coll.size(); ++i) {
12 cout << coll.begin() [i] << ' ';
13 }
14 for (pos = coll.begin(); pos < coll.end()-1; pos += 2) {
15 cout << *pos << ' ';
16 }
17 }
例3
例4
例5
例6
例7
1 void print (int elem) {
2 cout << elem << ' ';
3 }
4 int main() {
5 deque<int> coll;
6 for (int i=1; i<=9; ++i) {
7 coll.push_back(i);
8 }
9 deque<int>::iterator pos1;
10 pos1 = find (coll.begin(), coll.end(), 2);
11 deque<int>::iterator pos2;
12 pos2 = find (coll.begin(), coll.end(), 7);
13 for_each (pos1, pos2, print);
14 deque<int>::reverse_iterator rpos1(pos1);
15 deque<int>::reverse_iterator rpos2(pos2);
16 for.each (rpos2, rpos1, print);
17 }
例8
1 int main(){
2 list<int> coll;
3 for (int i=1; i<=9; ++i) {
4 coll.push_back(i);
5 }
6 list<int>::iterator pos;
7 pos = find (coll.begin(), coll.end(),5);
8 cout << "pos: " << *pos << endl;
9 list<int>::reverse_iterator rpos(pos);
10 cout << "rpos: " << *rpos << endl;
11 list<int>::iterator rrpos;
12 rrpos = rpos.base();
13 cout << "rrpos: " << *rrpos << endl;
14 }
例9
1 int main() {
2 vector<int> coll;
3 back_insert_iterator<vector<int> > iter(coll);
4 *iter = 1;
5 iter++;
6 *iter = 2;
7 iter++;
8 *iter = 3;
9 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
10 back_inserter(coll) = 44;
11 back_inserter(coll) = 55;
12 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
13 copy (coll .begin(), coll.end(), back_inserter(coll));
14 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
15 }
例10
1 int main() {
2 list<int> coll;
3 front_insert_iterator<list<int> > iter(coll);
4 *iter = 1;
5 iter++;
6 *iter = 2;
7 iter++;
8 *iter = 3;
9 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
10 front_inserter(coll) = 44;
11 front_inserter(coll) = 55;
12 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
13 copy (coll.begin(), coll.end(), front_inserter(coll));
14 copy( col1.begin(), col1.end(), ostream_iterator<int>(cout, “ “));
15 }
例11
1 int main() {
2 ostream_iterator<int> intWriter(cout,"\n");
3 *intWriter = 42;
4 intWriter++;
5 *intWriter = 77;
6 intWriter++;
7 *intWriter = -5;
8 vector<int> coll;
9 for (int i=1; i<=9; ++i) {
10 coll.push_back(i);
11 }
12 copy (coll.begin(), coll.end(), ostream_iterator<int>(cout));
13 copy (coll.gin(), coll.end(), ostream_iterator<int>(cout," < "));
14 }
例12
例13
例14
1 int main() {
2 vector<Date> e;
3 copy( istream_iterator<Date>(cin), istream_iterator<Date>(), back_inserter(e));
4 vector<Date>::iterator first = find(e.begin(), e.end(), "01/01/95");
5 vector<Date>::iterator last = find(e.begin(), e.end(), "12/31/95");
6 *last = "12/30/95";
7 copy(first, last, ostream_iterator<Date>(cout, "\n"));
8 e.insert(--e.end(), TodaysDate());
9 copy( first, last, ostream_iterator<Date>(cout, "\n") );
10 }
注:早先获得的跌代子在特定的操作后会失效!!vector的迭代子在插入、删除以及重新分配内存后可能会失效。
练习
- Write a program to print a histogram of the frequencies of different characters in its input. 写一个程序,打印输入中所有字符出现次数的直方图。
- Write a program to print a histogram of the lengths of words in its input. It is easy to draw the histogram with the bars horizontal; a vertical orientation is more challenging. 写一个程序,打印输入中单词长度的直方图。横着画直方图的条是比较简单的,竖着画更有挑战。
- Write a program that prints the distinct words in its input sorted into decreasing order of frequency of occurrence. Precede each word by its count. 写一个程序,统计输入中每个单词的出现次数,并按照出现次数的顺序打印单词。在每个单词前打印出现次数。
- Write a cross-referencer that prints a list of all words in a document, and for each word, a list of the line numbers on which it occurs. 写一个交叉索引程序,打印文章中所有单词及每个单词在文章中出现的行号。
Write the program tail, which prints the last n lines of its input. By default, n is set to 10, let us say, but it can be changed by an optional argument so that
tail -n
prints the last n lines. The program should behave rationally no matter how unreasonable the input or the value of n. Write the program so it makes the best use of available storage. 写一个tail程序,打印输入中的倒数n行。n默认值为10。n也可以被命令行参数指定,这样的命令
tail -n
只打印最后n行。这个程序应该在任何输入和任意的n值下等能够正常地工作。这个程序要写得能够最有效率的利用存储空间。- Write a program to remove all comments from a C program. Don't forget to handle quoted strings and character constants properly. C comments don't nest.
- Write a program to check a C program for rudimentary syntax errors like unmatched parentheses, brackets and braces. Don't forget about quotes, both single and double, escape sequences, and comments. (This program is hard if you do it in full generality.)
- Write a program to implement a queue using two stacks.
参考资源
[http://www.sgi.com/tech/stl/ Standard Template Library Programmer's Guide]
[http://msdn.microsoft.com/library/en-us/vcstdlib/html/vcoriStandardCLibraryReference.asp MSDN Standard C++ Library Reference]