【C++ Primer Chapter 10 总结】泛型算法
头文件<algorithm>中的算法。
不直接作用于容器，通过迭代器遍历容器元素。
算法不会改变底下容器的大小，可以改变容器中元素的值。
1.求和
int sum = accumulate(C.cbegin(), C.cend(), 0); // 第三个参数表示sum = 0开始，C for Container
string s = accumulate(C.cbegin(), C.cend(), string("")); // 字符串拼接，调用string的+操作符
2.改变容器元素的值
fill(C.befgin(), C.end(), value);
int a1[] = {0,1,2,3,4,5,6,7,8,9};
int a2[sizeof(a1) / sizeof(*a1)];
auto ret = copy(begin(a1), end(a1), a2); // ret返回a2数组最后一个元素的下一个元素
replace(C.begin(), C.end(), src, target);
3.排序算法
用于序列容器！
sort可以接受第三个参数，谓词。 谓词是一个可调用对象，它返回一个可以用作条件的值。
库算法使用的谓词要么是一元谓词(意味着它们有一个参数)，要么是二元谓词(意味着它们有两个参数)。
接受谓词的算法在输入范围内的元素上调用给定谓词。 因此，必须能够将元素类型转换为谓词的参数类型。
sort(C.begin(), C.end()); stable_sort(C.begin(), C.end()); // 维持字典序排序 sort(C.begin(), C.end(), predicate); // 接受二进制谓词的sort版本使用给定的谓词代替<来比较元素。 e.g.: vector<int> vec; bool self_defined_greater(int &a, int &b) { return a > b; } // 自定义函数 struct greater { // 自定义比较类 bool operator()(int &a, int &b) { // 重载函数调用操作符 return a > b; } } sort(vec.begin(), vec.end(), self_defined_greater); // 第三个参数是函数(指针) sort(vec.begin(), vec.end(), greater()); // 第三个参数是函数对象，可以通过“对象名+(参数列表)”的方式使用可以类似于函数功能。无命名的函数对象 （类名+(参数列表)） sort(vec.begin(), vec.end(), [](int &a, int &b) { return a > b; }); // 第三个参数是lambda函数
4.lambda表达式
我们可以将任何类型的可调用对象传递给算法。
如果可以对对象或表达式应用调用操作符()，那么该对象或表达式就是可调用的。(e.g.: expr是可调用的表达式，则expr(args)有效)。
C++中的可调用对象有：函数，函数指针，重载了函数调用操作符的类类型的对象，lambda表达式。
lambda表达式表示可调用的代码单元。它可以被认为是一个未命名的内联函数。
[capture list] (parameter list) -> return type { function body }
// 捕获列表是在封闭函数中定义的局部变量列表(通常为空)
// 形参列表 （为空的时候可以省略）
// 尾置返回类型（可以省略，根据函数体返回语句推测出来，要求只能有一个return语句）
// 函数体
5.当我们定义一个lambda时，编译器会生成一个新的(未命名的)类类型，它对应于这个lambda。
当我们直接在函数中定义lambda函数时，定义了新类型和该类型的对象：实参是此编译器生成的类类型的未命名对象。
当使用auto来定义由lambda初始化的变量时，定义的是由该lambda生成的类型的对象。
从lambda生成的类包含与lambda捕获的变量对应的数据成员。
void fcn1()
{
int v1 = 42; // local variable
auto f = [v1] { return v1; }; // f是lambda函数对应的类类型的对象
v1 = 0;
auto j = f(); // j = 42; 捕获的变量的值在创建lambda时复制，而不是在调用时复制
}
6.lambda表达式的捕获列表。
捕获列表仅用于局部非静态变量;lambda可以直接使用函数外部声明的局部静态和变量。
-
按值捕获 [=]。捕获的变量的值在创建lambda时复制，而不是在调用时复制。
-
按引用捕获 [&]。
如果函数返回lambda，那么由于lambda捕获列表是对函数内变量（局部变量，函数结束后变量会被销毁）的捕获，lambda不能包含引用捕获。
[] 空列表 [names] 逗号分割的列表 [&] 封闭函数内的变量按引用的方式使用 [=] 封闭函数内的变量按值的方式使用 [&, identifier_list] identifier_list按值捕获，其余按引用捕获 [=, identifier_list] identifier_list按引用捕获，其余按值捕获
7.默认情况下，如果lambda主体包含除return以外的任何语句，则编译器推测该lambda返回void。
transform(vi.begin(), vi.end(), vi.begin(), [](int i) {
return i < 0 ? -i : i;
}); // return type是int
transform(vi.begin(), vi.end(), vi.begin(), [](int i) {
if (i < 0) return -i; else return i;
}); // error: lambda包含多个语句，推测返回类型应该为void, 但是函数体有返回值，不匹配
8.在多个需要相同操作的地方，应该用函数代替lambda表达式。
使用函数作为参数的时候，调用函数的参数列表可能与可调用对象的参数列表不一致。
可以使用库函数bind()生成带有新的参数列表的调用对象。
绑定函数可以被认为是一个通用函数的适配器。它接受一个可调用对象，并生成一个“适应”原始对象参数列表的新可调用对象。
auto newCallable = bind(callable, arg_list); // arg_list是一个以逗号分隔的参数列表，对应于给定可调用对象的参数
bool check_size(const string &s, string::size_type sz) {
return s.size() >= sz;
}
auto check6 = bind(check_size, _1, 6); // _n是newCallable中的实参的占位符
string s = "hello";
bool b1 = check6(s); // check6(s) 调用 check_size(s, 6)
// sz 封闭函数内局部变量
auto wc = find_if(words.begin(), words.end(), [sz](const string &a) {
return a.size() >= sz;
}
auto wc = find_if(words.begin(), words.end(), bind(check_size, _1, sz)); // same
auto g = bind(f, a, b, _2, c, _1);
g(_1, _2) // bind to f(a, b, _2, c, _1)
g(X, Y) // 调用 f(a, b, Y, c, X)
auto g = bind(f, ref(a), b, _2, c, _1); // ref(a) 引用方式传递
