stl中的仿函数functor的应用

stl中的仿函数functor的应用

在stl的泛型算法中，functor应用甚多。

template <typename T>
struct plus
{
    T operator ()(const T& x, const T& y) { return x + y; }
};

template <typename T>
struct minus
{
    T operator ()(const T& x, const T& y) { return x - y; }
};

void test()
{
    plus<int> plusObj;
    minus<int> minusObj;

    cout << plusObj(32, 45) << endl;
    cout << minusObj(32, 45) << endl;

    cout << plus<int>()(32, 45) << endl;
    cout << minus<int>()(32, 45) << endl;
}

在泛型算法中，应用甚多的是后面的那种“匿名对象”，因为很多algorithm中，匿名对象的生命周期在算法中，出了算法后匿名对象销毁。

举例：

inner_product(iv.begin(), iv.end(), iv.begin(), 10, minus<int>(), plus<int>())

adjacent_difference(iv.begin(), iv.end(), oite, plus<int>());

传递的都是functor的匿名对象。

functor，说白了就是对operator()的重载。

问：在c++中不能重载的符号是什么?

大多数的运算符能够被程序员重载。例外的是（4个）：   

    . (点符号)  ::  ?:  sizeof

（1） 理论上来说，.（点运算符）可以通过使用和->一样的技术来进行重载。但是，这样做会导致一个问题，那就是无法确定操作的是重载了.的对象呢，还是通过.引用的一个对象。例如： 

class Y { 
    public: 
        void f(); 
        // ... 
    }; 

    class X {   // 假设你能重载. 
        Y* p; 
        Y& operator.() { return *p; } 
        void f(); 
        // ... 
    }; 

    void g(X& x) 
    { 
        x.f();  // X::f还是Y::f还是错误？ 
    }  

这个问题能够用几种不同的方法解决。在标准化的时候，哪种方法最好还没有定论。　　

(2) 在 N::m 中，无论 N 还是 m 都不是值的表达式；N 和 m 是编译器知道的名字，::执行一个（编译期的）范围解析，而不是表达式求值。你可以想象一下，允许重载 x::y的话，x 可能是一个对象而不是一个名字空间（namespace）或者一个类，这样就会导致——与原来的表现相反——产生新的语法（允许 表达式 1::表达式 2）。很明显，这种复杂性不会带来任何好处。 

(3) 并没有什么根本的原因要禁止重载?:。仅仅是因为，我没有发现有哪种特殊的情况需要重载一个三元运算符。注意一个重载了 表达式1？表达式2：表达式 3 的函数，不能够保证表达式 2：表达式3中只有一个会被执行。 

(4) sizeof 不能够被重载是因为内建的操作（built-in operations），诸如对一个指向数组的指针进行增量操作，必须依靠它。考虑一下： 

    X a[10]; 
    X* p = &a[3]; 
    X* q = &a[3]; 
    p++;    // p指向a[4], 那么p 的整型值必须比 q的整型值大出一个 sizeof(X) 

所以，sizeof(X)不能由程序员来赋予一个不同的新意义，以免违反基本的语法。 

更多的细节，请参见《C++语言的设计和演变》。　　

Bjarne Stroustrup FAQ:

http://www2.research.att.com/~bs/bs_faq.html