Bjarne：什么是函数对象？

核心提示：顾名思义，就是在某种方式上表现得象一个函数的对象，Bjarne：什么是函数对象？，典型地，它是指一个类的实例，现有的优化器几乎不能（或者完全不能？）将一个通过函数指针的调用内联化，在标准库中，这个类定义了应用操作符Operator()， 函数对象是比函数更加通用的概念

　　顾名思义，就是在某种方式上表现得象一个函数的对象。典型地，它是指一个类的实例，这个类定义了应用操作符Operator()。

　　函数对象是比函数更加通用的概念，因为函数对象可以定义跨越多次调用的可持久的部分（类似静态局部变量），同时又能够从对象的外面进行初始化和检查（和静态局部变量不同）。例如：

class Sum {
　int val;
　public:
　　Sum(int i) :val(i) { }
　　operator int() const { return val; } // 取得值
　　int operator()(int i) { return val+=i; } // 应用
};

void f(vector v)
{
　Sum s = 0; // initial value 0
　s = for_each(v.begin(), v.end(), s); // 求所有元素的和
　cout << "the sum is " << s << "\n";

　//或者甚至：
　cout << "the sum is " << for_each(v.begin(), v.end(), Sum(0)) << "\n";
}

　　注重一个拥有应用操作符的函数对象可以被完美地内联化（inline），因为它没有涉及到任何指针，后者可能导致拒绝优化。与之形成对比的是，现有的优化器几乎不能（或者完全不能？）将一个通过函数指针的调用内联化。

　　在标准库中，函数对象被广泛地使用以获得弹性。