C++中的function object

From:http://www.cppblog.com/tim/archive/2007/10/15/34250.html

 

看过了funciton object中的部分内容，感觉这些技术、 概念等真的需要慢慢体会，才能感受到它的博大精深。

看下面的这个例子：

  #include <iostream>
   #include <vector>
   #include <algorithm>
   using namespace std;
 void printInt (int elem)
   {
       cout << elem << ' ' ;
   }

   int main()
   {
       vector<int> coll;

       //insert elements from 1 to 9
       for (int i=1; i<=9; ++i) {
           coll.push_back(i);
       }

       //print all elements
       for_each (coll.begin(), coll.end(),printInt);            
       cout << endl;
   }

对于这个例子，for_each()的第三个参数，调用了printInt这个函数。在看下面的例子：

#include <iostream>
   #include <vector>
   #include <algorithm>
   using namespace std;

   //simple function object that prints the passed argument
   class PrintInt {
     public:
       void operator() (int elem) const {
           cout << elem << ' ';
       }
   };

   int main()
   {
       vector<int> coll;
       //insert elements from 1 to 9
       for (int i=1; i<=9; ++i) {
           coll.push_back(i);
       }

       //print all elements
       for_each (coll.begin(), coll.end(),    PrintInt()); 

       cout << endl;
   }

在这个例子中，for_each()的第三个参数就是函数对象。

那么这到底有什么区别呢？也许从上面的代码中还看不出，但是，请继续看下面的例子：

//对每一个element加10；

void add10 (int& elem)
   {
       elem += 10;
   }

   void fl()
   {
       vector<int> coll;
       ...

       for_each (coll.begin(), coll.end(),   add10);                   
   }
这样看起来似乎很好，但是，如果突然要求变了，要求对每一个element改成加9；那么，可能想到的办法是改写函数

void add9 (int& elem)
   {
       elem +=9;
   }

哦，那么要求又改成+8、+7…… -3等等，总不至于对于每一个都重新写一个函数吧？虽然可行，但是违背

范型变成的思想。也许有新的办法：

template <int theValue>
   void add (int& elem)
   {
       elem += theValue;
   }

void f1()
   {
       vector<int> coll;
       ...

       for_each (coll.begin() , coll.end(),     //range
                 add<10>);                      //operation
   }
但是，如果连类型（int）都变了（如改成float），那该怎么实现呢？哦，用一般的函数应该不能实现了吧？

但是如果用function object思想，就可以实现，看下面的代码：

template <class T>

class AddValue {
      private:
        T theValue;     

       public:
            AddValue(T v) : theValue(v) {
        }

            void operator() (T& elem) const {
            elem += theValue;
        }
   };
现在这个类就可以实现多个类型的相加形式了。

因此可以总结在用函数对象时，可以更加满足了STL的范型编程思想。