【C++ Primer读书笔记】第10章 泛型算法

初识泛型算法

写容器元素的算法

注意：需要保证序列原大小不小于要求算法写入的元素数目，算法不会执行容器操作，不会改变容器的大小。

vector<int> vec;
fill_n(vec.begin(), 10, 0);     // 错误，vec是空的，vec应至少有10个元素的空间

back_inserter

定义在头文件iterator中，接受一个指向容器的引用，返回一个与该容器绑定的插入迭代器。通过此迭代器赋值时，赋值运算符会调用push_back将元素添加到容器中。

vector<int> vec;
auto it = back_inserter(vec);
*it = 42;

重排容器元素的算法

unique

使不重复元素出现在序列开始部分，返回一个迭代器指向最后一个不重复元素之后的位置，并不真的删除元素。（标准库算法对迭代器进行操作，不直接添加或删除元素）

定制操作

向算法传递函数

谓词

谓词是一个可调用的表达式，其返回结果是一个能用做条件的值。标准库算法使用的谓词分为两类：一元谓词或二元谓词。

bool isShorter(const string &s1, const string &s2)
{
    return s1.size() < s2.size();
}
sort(words.begin(), words.end(), isShorter);

lambda表达式

一个lambda表达式表示一个可调用的代码单元，可以理解为一个未命名的内联函数

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

capture list：捕获列表，lambda函数中定义的局部非static变量的列表

stable_sort(words.begin(), words.end(), 
    [] (const string &a, const string &b) { return a.size() < b.size() });

lambda捕获与返回

定义一个lambda时，编译器生成一个与lambda对应的新的未命名类类型。当向一个函数传递一个lambda时，传递的参数就是编译器生成的类类型的未命名对象。捕获列表中的变量，就是从lambda生成的类的数据成员，在lambda对象创建时被初始化。

可以值捕获或引用捕获，值捕获在lambda创建时拷贝。

size_t v1 = 42;
auto f = [v1] { return v1; };
v1 = 0;
auto j = f();   // j = 42

隐式捕获

[=]：值捕获

[&]：引用捕获

[=, &os]：os显式引用捕获，其它的隐式值捕获

可变lambda

如要改变一个被捕获的变量的值，需要加关键字mutable

auto f = [v1] () mutable { return ++v1; }

参数绑定

标准库bind函数

auto newCallable = bind(callable, arg_list);

占位符：_n，表示newCallable中参数的位置，_1表示第一个参数

using namespace std::placeholders;

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

auto wc = find_if(words.begin(), words.end(), bind(check_size, _1, sz));

// 等价于
auto wc = find_if(words.begin(), words.end(), 
    [sz](const string &a) { return a.size() >= sz; });