函数调用运算符

函数调用运算符用“operator ()”表示。如果类重载了函数调用运算符，可以像使用函数一样使用该类对象。
例如，像下面一样重载了某个struct或class的operator()，其对象就能像函数一样调用。

// 类重载operator()
struct absInt { // class一样可以
	int operator()(int val) const { // 定义运算符operator(), 求val绝对值
		return val < 0 ? -val : val; 
	}
	// ... 其他成员函数或者成员变量声明(如果有的话)
};

// “调用”该类对象
absInt obj; // 函数对象
int res = obj(-10); // 传递参数10给obj.operator(), res值为10

[======]

函数对象

函数对象基本概念

如果类定义了operator()（函数调用运算符），那么这样的类的对象称为函数对象（function object），其调用行为类似于调用函数。
函数对象跟普通对象没有本质区别，也可以有自己的成员变量和成员函数。

例如，定义class PrintString

// 定义函数对象对应的类
class PrintString {
public:
	PrintString(ostream& o = cout, char c = ' ') : os(o), seperator(c) { }
	void operator()(const string &s) const { os << s << seperator; } // 定义operator()
	~PrintString(){}
private:
	ostream &os; // 输出流
	char seperator; // 不同输出分隔符
};

/* 使用函数对象 */
string s = "test";
PrintString printer; // 定义函数对象, 使用构造函数默认值, 打印到cout, 分隔符为' '
printer(s); 
PrintString errors(cerr, '\n'); // 定义函数对象, 打印到cerr, 分隔符'\n'
errors(s);

// 打印一个数组
for_each(vec.begin(), vec.end(), PrintString(cerr, '\n'));

[======]

lambda与函数对象

lambda本质是匿名函数对象，其产生的类中含有一个重载的函数调用运算符。
例如，对vec数组进行排序。下面的lambda表达式[](const int a, const int b) { return a < b;} 其实是一个函数对象

#include <algorithm>

vector<int> vec;
// ... // 往vec添加数据
// lambda表达式
stable_sort(vec.begin(), vec.end(), [](const int a, const int b) {
	return a < b;
});

// <=> 等价于(函数指针)
stable_sort(vec.begin(), vec.end(), compareFunc);

bool compareFunc(int a, int b)
{
	return a < b;
}

// <=> 等价于（函数对象）
struct Compare
{
	bool operator()(int a, int b)
	{
		return a < b;
	}
};

Compare cobj;
stable_sort(vec.begin(), vec.end(), cobj);

[======]

lambda值捕获与函数对象

通过值捕获的局部变量，在lambda对应类中，相当于private数据成员。

// 在words数组中, 找到第一个满足条件（lambda表示返回true）的元素的迭代器. 条件是对应元素的size() >= sz
auto wc = find_if (words.begin(), words.end(), [sz](const string& a) {
	return a.size() >= sz;
});

// 该lambda对应类
class SizeComp {
public:
	SizeComp(size_t n) : sz(n) { }
	bool operator()(const string& s) const {
		return s.size() >= sz;
	}
private:
	size_t sz;
};

[======]

标准库定义的函数对象

标准库已经定义了一组表示算术运算符、关系运算符、逻辑运算符的类，每个类各自定义了一个执行类名称对应操作的运算符。
比如，plus类定义了operator()用于加法运算；modulus类定义了opeartor()用于求%运算；equal_to类定义了operator()用于判断2个参数是否相等，等等。
这些类都被定义成了模板形式，例如，其使用方法见下：

#include <functional>

// 定义函数对象
plus<int> intAdd; // 可执行加法运算的函数对象
negate<int> intNegate; // 可对int值加上负号的函数对象
greater<int> comp1; // 执行比较运算的函数对象
less<int> comp2; // 执行比较运算的函数对象

// 调用函数对象
int sum = intAdd(1,2); // 使用intAdd::operator(int,int)对1和2求和, sum值为3
sum = intNegate(intAdd(3,4)); // sum值为-7
bool res1 = comp1(1,2); // false
bool res2 = comp2(1,2); // true

在算法中使用标准库函数对象

比如，使用sort进行排序

vector<string> vec;
// ... 向vec插入数据
// 传入临时函数对象, 用于2个string对象的 > 比较运算
sort(vec.begin(), vec.end(), greater<string>()); // 降序排序
// 传入临时函数对象, 用于2个string对象的 < 比较运算
sort(vec.begin(), vec.end(), less<string>());    // 升序排序

可调用对象与function

C++可调用的对象包括：函数、函数指针、lambda表达式、bind创建的对象、重载了函数调用运算符（operator()）的类。

调用形式
可调用的对象也有自己的类型，2个不同类型的可调用对象可能共享一种调用形式（call signature）。一种调用形式对应一个函数类型，指明了返回类型、参数列表，如：

int (int, int)
返回类型为int；参数列表int，int，即接受2个int参数。

不同类型可调用参数，具有相同的调用形式
多种不同类型的可调用参数，可能具有相同的调用形式。例如，

// 普通函数
int add(int i, int j) { return i + j; }
// lambda表达式
auto s = [](int i, int j) -> int{ return i + j; }
// 函数对象类
struct sum {
	int operator()(int i, int j) {
		return i + j;
	}
};

标准库function类型

在C中，当需要一个函数指针时，可以直接传函数或者函数指针，但是无法传lambda表达式或者函数对象类，因为后者并不是函数指针类型。
C++中的function能解决这个问题，代表任意一种C++可调用对象。
function是模板，当创建一个具体的function类型时，必须提供额外信息。

// C的使用函数指针的做法
typedef int (*AddFunc)(int , int);
AddFunc handle = add;
int s = handle(1,2); // 3

// C++使用function的做法
function<int(int, int)> f1 = add; // 函数指针
function<int(int, int)> f2 = sum(); // 函数对象
function<int(int, int)> f3 = [](int i, int j){ return i + j; }; // lambda

int s1 = f1(3, 4); // 7
int s2 = f2(3, 4); // 7
int s3 = f3(3, 4); // 7

[======]