C/C++基础----泛型算法

算法不依赖与容器(使用迭代器)，但大多数依赖于元素类型。如find需要==运算符，其他算法可能要求支持<运算符。

算法永远不会执行容器的操作，永远不会改变底层容器的大小（添加或删除元素）。

accumulate(v.cbegin(), v.cend(), string(“ ”)) 算法累加运算符，第3个参数的类型决定了使用哪个+号运算符。

equal(v1.cbegin(), v1.cend(), v2.cbegin())，逐个比较两个序列。第二个序列至少与第一个序列一样长。

容器和元素类型都不必一样，只要支持==符号比较两个元素类型。

那些只接受单一迭代器来表示第二个序列的算法，都假定第二个序列至少与第一个等长。

确保算法不会访问第二个序列中不存在的元素是程序员的责任。

算法不检查写操作面，向目的位置迭代器写入数据的算法

auto it = back_inserter(vec);//返回插入迭代器，使用它赋值时会调用push_back将元素添加到容器。

fill_n(it,10,0);  //添加10个元素到vec。

很多算法提供拷贝版本，返回的是一份拷贝，原序列并未改变。

sort(words.begin(), words.end());//排序

auto end_unique = unique(words.begin(), words.end());//去重，返回不重复区域后面一个位置

words.erase(end_unique,words.end());//算法不能直接增删，调用erase删除多余元素

即时words没有重复元素，此操作也是安全的

谓词(predicate)

可调用的表达式，返回结果是一个能用作条件的值。

用谓词替代算法默认的操作，如定义二元isShorter函数，替代sort默认的<比较元素。

sort(words.begin(), words.end(), isShorter);

stable_sort(words.begin(), words.end(), isShorter);//维持相等元素的原有排序

partition将容器划分成两部分，true的在前。partition_stable 维持原有元素的顺序

可调用对象

函数、函数指针、函数对象，lambda表达式(可理解为一个未命名的内联函数)

[capture list] (parameter list) -> return type {function body}

其中参数列表和返回类型可以省略，但是捕获列表和函数体必须永远包含。

忽略参数列表等价于空参数列表

忽略返回类型，如果函数体只有一个return语句则从表达式的类型判断；如包含其他任意语句，则返回void。

lambda

不能有默认参数

lambda只有在其捕获列表中的捕获一个它所在函数的局部变量，才能再函数体中使用该变量。仅限局部非static变量，局部static和所在函数外声明的变量可以直接使用。

make_plural(count, “word”, “s”) //区分单复数，count为1则单数

find_if(words.begin(), words.end(), [sz](const string &a){return a.size() >=sz;});

for_each(wc,words.end(),[](const string &s){cout<<s<<” ”;});

排序-去重-删除多余-按长度排序-找到长度大于sz的起点，打印

值捕获

前提是变量可拷贝，被捕获的变量的值在lambda创建时拷贝，而不是调用时。

引用捕获

需要保证捕获的局部变量的有效性，也可以从函数返回lambda，不能包含局部变量的引用捕获。如果可能，尽量避免捕获指针或引用。

lambda捕获列表
[]	空捕获列表
[names]	名字列表，默认都是被拷贝
[&]	隐式捕获列表，都采用引用捕获
[=]	隐式捕获列表，都采用值捕获
[&,identifier_list]	除个别值捕获
[=, identifier_list]	除个别引用捕获

可变lambda

默认不会改变被捕获的变量的值，如希望改变，使用mutable。

对于只在一两个地方使用的简单操作，lambda表达式是最有用的。

对于在很多地方使用的相同操作，或者一个操作需要很多语句才能完成，通常定义一个函数更好。

捕获列表为空的lambda，通常可以用函数替代；

而对于有捕获变量的，就不那么容易了。会面临谓词参数个数不一致的问题。

bind函数（函数适配器）

接受一个可调用对象，生成一个新的可调用对象来适应原对象的参数列表。

auto newCallable = bind(callable, arg_list);

arg_list对应给callable的参数。其中可能包含_n形式的名字，表示占据了传递给newCallable参数的第n个位置。

bool check_size(const string& s, string::size_type sz) {return s.size() >= sz;}

auto check6 = bind(check_size, _1, 6);//

bind调用只有一个占位符，便是check6只接收一个参数，占位符出现在第一个arg_list的第一个位置，表示check6此参数对应check_size的第一个参数const string&。

auto g =bind(f, a, b, _2, c, _1);//f有5个参数，其中_1和_2分别对应g的第1个和第2个参数

g(_1,_2)映射为f(a, b, _2, c, _1)

需要包含命名空间using std::placeholders::_1;

using namespace std::placeholders;

对于不是占位符的参数，默认是拷贝到bind返回的可调用对象中的，有时候需要用引用方式传递ref(os)，cref()生成const引用。

bind ref cref都在头文件functinal里。

注：bind1st和bind2nd，分别只能绑定第一个或第二个参数，由于局限性强已经在新标准中弃用。binder1st和binder2nd也类似，只不过他们是模板类需要指定op的类型

bind1st(op, value)(x)  ->  op(value,x)

bind2nd(op,value)(x)  ->  op(x,value)

其他迭代器

插入迭代器：绑定到容器上，可以向容器插入元素

流迭代器：绑定到输入输出流，可以遍历关联的IO流，只要定义了<<或>>运算符的对象

反向迭代器：向后移动，forward_list没有

移动迭代器：不是拷贝其中的元素，而是移动move它们。

插入迭代器

*it, ++it, it++ 不会对it做任何事情，返回it

back_inserter          push_back

front_inserter         push_front

inserter                      insert

如inserter生成的迭代器做如下赋值操作 *it = val;

效果相当于以下代码

it = c.insert(it, val);//it指向新加入的首元素

++it;

使用不同的插入迭代器，最后生成的序列顺序会不同。

流迭代器

创建时必须制定将要读写的对象类型，可以在创建时将其绑定到一个流上，也可以默认初始化迭代器当尾后迭代器使用。

istream_iterator<int> in_iter(cin);

istream_iterator<int> eof;

while(in_iter!=eof)

vec.push_back(*in_iter++);

可以改成成如下形式

istream_iterator<int> in_iter(cin), eof;

vector<int> vec(in_iter, eof); //从迭代器范围构造vec

从流中读取的数据来构造vec

与某些算法结合，来处理流数据。输入流迭代器可以作为源迭代器，输入作为目标迭代器

如cout<<accumulate(in, eof, 0)<<endl;

istream_iterator允许懒惰求值，推迟中流中读取数据。标准库保证在第一次解引用前，从流中读取数据的操作已经完成。

如果迭代器可能销毁，或者两个对象同步使用一个流，那么何时读取就很重要了。

ostream_iterator允许第二个参数，是C风格的字符串，在输出每个元素之后都会打印此字符串。必须绑定到一个流。

*out, ++out, out++提供形式支持，不会做任何事情

ostream_iterator<int> out_iter (cout, “ “);

for (auto e : vec)

         *out_iter++ = e;

cout<<endl;

其中*和++都可以忽略，但是推荐这种写法，可以保持与其他迭代器的使用保持一致，修改容易，而且对读者来说也更为清晰。

反向迭代器

使我们可以使用算法透明地向前或向后处理容器。

需要既支持++也支持--，forward_list和流迭代器不能创建。

当使用反向迭代器，在打印的时候会反向，需要使用base成员来转换。

[line.crbegin(), rcomma)和[rcomma.base(), line.end())指向line中相同的元素范围。

另外反向迭代器表示的范围是不对称的，当从普通迭代器初始化反向迭代器或是给其赋值的时候，其指向并不是相同的。

5种迭代器类型

迭代器类别
输入迭代器	只读，不写；单遍扫描，只能递增
输出迭代器	只写，不读；单遍扫描，只能递增
前向迭代器	可读写；多遍扫描，只能递增
双向迭代器	可读写；多遍扫描，可递增递减
随机访问迭代器	可读写；多遍扫描，支持全部迭代器运算

算法指明了迭代器参数的最小类别，如传递的迭代器参数基本更低会产生错误。

输入迭代器：

至少支持==, !=, 前后置++, 解引用*(赋值的右侧), ->

*it++保证是有效的，但是递增可能导致其他迭代器失效，不能保证输入迭代器的状态可以保存下来并用来访问元素。因此只能用于单遍扫描算法。

如find和accumulate支持istream_iterator

输出迭代器：（可看做输入迭代器的补集）

至少支持前后置++, 解引用*(赋值的左侧),只能向一个输出迭代器赋值一次，单遍扫描。

如copy第3个参数，ostream_iterator

前向迭代器：

replace, forward_list

双向迭代器：(--)

reverse

随机访问迭代器：

< <= > >= + += - -= 两个迭代器相减 下标运算符

sort          array deque string vector 内置数组元素的指针

常见算法形参类型

alg(beg, end, other args);

alg(beg, end, dest, other args);

alg(beg, end, beg2, other args);

alg(beg, end, beg2, end2, other args);

向输出迭代器接入数据的算法都是假定目标空间足够。

单个beg2的算法假定从beg2开始的序列至少与序列1一样大。

算法命名规范

重载传递一个谓词

_if版本 将接受一个元素值版本改成接受一个谓词版本，使用不同的函数名避免可能的重载歧义。

copy版本

默认重排元素的算法写回输入序列，copy版本写到一个指定的输出目的位置。

链表类型特有算法

其他通用算法也可以用于链表，但是代价过高，需要交换元素。链表可以通过改变链接来完成交换，而不用真正交换元素。所以优先使用成员函数版本。

list forward_list成员函数版本算法(都返回void)
lst.merge(lst2)	合并，两个都必须是有序的，合并之后lst2为空
lst.merge(lst2,comp)	同上，使用谓词给定的比较操作
lst.remove(val)	erase删除元素
lst.remove_if(pred)	同上
lst.reverse()	反转序列
lst.sort()	使用<或给定比较操作排序
lst.sort(comp)
lst.unique()	删除同一个值得连续拷贝
lst.unique(pred)	同上，使用二元谓词

splice成员

lst.splice(args)或flst.splice_after(args)

(p, lst2)  将lst2中所有元素移动到lst中p之前或flst中p之后，元素将从lst2删除，不能为同一个链表

(p, lst2, p2) 将p2指向的元素移动到lst中，可以是相同的链表

(p, lst2, b, e) 将b和e之间指向的元素移动到lst中，可以是相同的链表，可以是同链表但不能包含p。

链表特有版本一个重要的区别是会改变底层的容器。