函数对象是比函数更加通用的概念，因为函数对象能够定义跨越多次调用的可持久的部分（类似静态局部变量），同时又能够从对象的外面进行初始化和检查（和静态局部变量不同）。例如：
| 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），因为他没有涉及到任何指针，后者可能导致拒绝优化。和之形成对比的是，现有的优化器几乎不能（或完全不能？）将一个通过函数指针的调用内联化。
在标准库中，函数对象被广泛地使用以获得弹性。
