本文主要是介绍[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>);
}
这篇关于[7 使用STL] 46. 考虑使用函数对象而不是函数作为STL算法的参数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!