标签：
参考《21天学通C++》第21与第22章节，对函数对象进行介绍，同时通过lambda表达式这一匿名函数对象的简洁方式加深对函数对象的理解。本篇博文的主要内容是：
（1） 函数对象的概念；
（2） 将函数对象用作谓词；
（3） 如何使用函数对象实现一元、二元谓词；
（4） 如何编写lambda表达式；
（5） 如何将lambda表达式用作谓词；
（6） 如何编写可存储和可操作状态的lambda表达式。
函数对象是C++实体，从概念上讲，函数对象是用作函数的对象；从实现上说，函数对象是实现了operator()的类的对象。虽然函数和函数指针也可视为函数对象，但是吸纳了operator()的类的对象才能保存状态，才能用于标准模板库算法。C++常用于STL算法的函数对象可分为下面两种类型：（1） 一元函数：接受一个参数的函数，如果一元函数返回一个布尔值，称之为谓词；（2） 二元函数：接受两个参数的函数，若返回bool，则称为二元谓词函数。返回bool值得函数对象常常用来进行判断的算法，组合两个函数对象的函数对象称之为自适应函数对象。
对于STL算法std::for_each()接受三个参数，第一个参数指定范围的起点，第二个参数指定范围的终点，第三个参数是要对指定范围内的每个元素调用的函数。这个函数就可以通过一元谓词实现，举例如下：
template <typename elementType>
struct DisplayElement
{
void operator () (const elementType& element) const
{
cout<< element << ‘ ‘;
}
};
vector<int> vectorElement;
for_each(vectorElement.begin(), vectorElement.end(), DisplayElement<int> ());
这样就可以使用STL算法for_each来对指定范围内的数据执行相同的函数方法。这里也可以使用匿名函数对象，即lambda表达式，如下所示，将上面的for_each改造为相同的功能：
for_each(vectorElement.begin(), vectorElement.end(), [](int& element) { cout << element << ‘ ‘;});
如果能够使用结构的对象来存储信息，则使用在结构中实现的函数对象的优点将显现出来。
返回布尔值的一元函数就是谓词，这种函数可用于STL算法的判断。
一元谓词被大量用于STL算法中，例如，std::partition算法使用一元谓词来划分范围，stable_partition算法也使用一元谓词划分范围，但保持元素的相对顺序不变。诸如std::find_if等查找函数以及std::remove_if等删除元素的函数也使用一元谓词，其中std::remove_if删除指定范围内满足谓词条件的元素。
如果函数f(x,y)根据输入参数返回一个值，它将很有用。这种二元函数可用于对两个操作数执行运算，如加减乘除等。同样实现最重要的operator（）。在std::transform等算法中，可使用二元乘积函数计算两个容器内容的点乘。
template <typename elementType>
class Multiply
{
public:
elementType operator () (const elmentType& elem1, const elmentType& elem2)
{ return (elem1 * elem2);}
}
vector<int> vecMultiplicand, vecMultiplier;
vector<int> vecResult;
transform(vecMultiplicand.begin(), vecMultiplicand.end(), vecMultiplier.begin(), vecResult.begin(), Multiply <int>());
transform将两个范围的内容相乘，并将结果存储在第三个范围中。这里，这三个范围分别存储在类型std::vector的vecMultiplicand、vecMultiplier和vecResult中。乘法运算是通过调用二元函数Multiply::operator ()执行的，对源范围和目标范围内的每个元素都调用了该函数。operator()的返回值保存在vecResult中。
接受两个参数并返回一个布尔值的函数是二元谓词，这种函数用于诸如std::sort等STL函数中。使用排序二元谓词实现排序，通过实现operator()来动态排序。
很多STL算法都使用二元谓词，比如删除相邻重复元素的std::unique()、排序算法sort、排序并保持相对顺序的std::stable_sort以及两个范围进行操作的std::transform。
在结构或类中实现函数对象时，它将比简单函数有用的多，因为它也可用于存储与状态相关的信息。谓词是一类特殊的函数对象。
可将lambda表达式视为包含公有operator()的匿名结构（或类），从这种意义上说，lambda表达式属于函数对象。从上面所讲到的进行分析：
for_each(vectorElement.begin(),
vectorElement.end(), [](int& element) { cout << element << ‘ ‘;});
编译器加到下述lambda表达式时：[](int& element) { cout << element << ‘ ‘;}自动将其展开为类似结构DisplayElement<int>的表示：
struct DisplayElement
{
void operator () (const int& element) const
{
cout<< element << ‘ ‘;
}
};
以方括号[]打头，告诉编译器，接下来是一个lambda表达式，方括号后面是一个参数列表，该参数列表与不使用lambda表达式时提供给operator()参数列表相同。
与一元operator（Type）对应的lambda表达式接收一个参数，定义如下：
[](Type paramName){ // lambda expression code here}也可用引用来传参：[](Type& paramName){ // lambda expression code here}。
谓词可帮助做出决策，一元谓词是返回bool类型的一元表达式。举例如下：
[](int& Num){return ((Num % 2) == 0);}
在这里，返回值的性质是为了让编译器知道该lambda表达式的返回类型为bool。在算法中可将lambda表达式用于一元谓词，如可在find_if中使用上述lambda表达式找出集合中的偶数。如果谓词返回true，find_if将返回一个指向相应元素的迭代器，指出找到一个满足条件的元素。
对于上面的一元谓词实现在整数能被2整除时返回true，如果让它更通用，在数字能被用户指定除数整除时返回true，可采用状态变量：
int Divisor = 2;
[Divisor ](int& Num){return ((Num % Divisor ) == 0);}
一系列以状态变量的方式传递的参数，也被称为lambda表达式的捕获列表。
[StateVar1, StateVar1](Type& param) { // }
如果要在lambda表达式中修改这些状态变量，可添加关键字multable:
[StateVar1, StateVar1](Type&
param) multable { // }
这样便可在lambda表达式中修改捕获列表[]中指定的变量，但离开lambda表达式后，这些修改便无效，要确保在lambda表达式内部对状态变量的修改在其外部也有效，应按照引用传递它们：
[&StateVar1, &StateVar1](Type&
param) { // }
lambda表达式还可以接受多个输入参数，为此可用逗号分隔：
[StateVar1, StateVar1](Type1&
param1，Type2& param2) { // }
如果要向编译器明确指明返回类型，可使用->，如下：
[StateVar1, StateVar1](Type1&
param1，Type2& param2)-> ReturnType { return (value or expression); }
最后，复合语句{}可包含多条用分号分割的语句：如下
[StateVar1, StateVar1](Type1&
param1，Type2& param2)-> ReturnType { Statement 1； Statement 2；return (value or expression); }
如果lambda表达式包含多行代码，必须显示地指明返回类型。
二元函数接受两个参数，还可返回一个值，与之等价的lambda表达式如下：
[...] (Type1& param1，Type2& param2){ // }
返回true或false，可帮助决策的二元函数被称为二元谓词函数。这种谓词可用于std::sort等排序算法。
[...]
(Type1& param1，Type2& param2){ return bool expression; }
仅当lambda表达式简洁、高效时才能使用它；
记住lambda表达式总是以[]打头；
除非使用关键字multable进行指定，否则不能修改捕获列表中指定的状态变量；
lambda表达式是实现了operator()的匿名类或结构；
注意使用const对参数进行限定；
lambda表达式的语句块包含多条语句时，要显式的指定返回类型；
不要使用很长的包含多条语句的lambda表达式，而应转而使用函数对象，因为每次使用lambda表达式时，都要重新定义它，这无助于提高代码的重用性。
版权声明：本文为博主原创文章，未经博主允许不得转载。
标签：
原文地址：http://blog.csdn.net/lg1259156776/article/details/47260335
