[7 使用STL] 46. 考虑使用函数对象而不是函数作为STL算法的参数

1 将函数对象传递给STL算法往往比传递实际的函数更高效

假定需要将一个包含double类型数据的vector按降序排序，使用函数对象：

vector<double> v;
...
sort(v.begin(), v.end(), greater<double>());

使用内联函数：

inline bool doubleGreater(double d1, double d2)
{
    return d1 > d2;
}
...
sort(v.begin(), v.end(), doubleGreater);

你会发现，使用greater<double>的sort调用比使用doubleGreater的sort调用快很多。解释如下：

如果一个函数对象的operator()函数已经被声明为内联的，那么它的函数体可以直接被编译器使用。函数greater<double>::operator()是一个内联函数，所以编译器在sort的实例化过程中将其内联展开；如果使用doubleGreater来作为参数调用sort算法，情况不同。我们要清楚，在C/C++中并不能真正地将一个函数作为参数传递给另一个函数。如果我们试图将一个函数作为参数进行传递，则编译器会隐式地将它转换成一个指向该函数的指针，即转换为如下：

void sort(vector<double>::iterator first, vector<double>::iterator last,
          bool (*comp)(double, double));

所以在sort内部每次comp被用到的时候，编译器都会产生一个间接的函数调用，即通过指针发出的调用。大多数编译器不会对此进行内联优化，即使标识为inline。

2 避免一些语言本身的缺陷

下面是一个例子：

// 函数模板
template<typename FPType>
FPType average(FPType val1, FPType val2)
{
    return (val1 + val2) / 2;
}

template<typename InputIter1, typename InputIter2>
void writeAverages(InputIter1 begin, InputIter1 end1, InputIter2 begin2, ostream& s)
{
    // iterator_traits模板类用来萃取迭代器的特性
    transform(begin1, end1, begin2,
              ostream_iterator<typename iterator_traits<InputIter1>::value_type>(s, "\n"),
              average<typename iterator_traits<InputIter1>::value_type>);
}

问题在于如果存在另一个名为average的函数模板，它也只带一个类型参数。那么就会有二义性，编译器就无法分辨使用哪一个函数模板。解决办法是自定义函数对象来替代函数模板：

// 函数对象
template<typename FPType>
struct Average: public binary_function<FPType, FPType, FPType> {
    FPType operator()(FPType val1, FPType val2) const
    {
        return (val1 + val2) / 2;
    }
}

template<typename InputIter1, typename InputIter2>
void writeAverages(InputIter1 begin, InputIter1 end1, InputIter2 begin2, ostream& s)
{
    // iterator_traits模板类用来萃取迭代器的特性
    transform(begin1, end1, begin2,
              ostream_iterator<typename iterator_traits<InputIter1>::value_type>(s, "\n"),
              Average<typename iterator_traits<InputIter1>::value_type>);
}