accumulate加头文件<numeric>
for_each加头文件<algorithm>
对于后者,大家可能熟悉一些。
accumulate有两种格式,如下:
格式1:
template<class _InIt, class _Ty> inline
_Ty accumulate(_InIt _First, _InIt _Last, _Ty _Val)
格式2:
template<class _InIt, class _Ty, class _Fn2> inline
_Ty _Accumulate(_InIt _First, _InIt _Last, _Ty _Val, _Fn2 _Func)
对于1,可以作一些简单的数值统计:
如:
#include<numeric>
int main(){
int a[]={1,2,3,4,5,6,7,8,9};
int sum=accumulate(a,a+9,0.0);
cout<<sum<<endl;
}
格式2可以用于一些区间运算,比如要计算vector<int> vec={1,2,3,4,5,6}中所有元素的乘积,则可以利用下面的代码完成:
#include<numeric>
int main(){
int a[]={1,2,3,4,5,6,7,8,9};
int multiple=accumulate(a,a+9,1,multiplies<int>());
cout<<multiple<<endl;
}
其中multiples<int>是一个functor,其定义如下:
template<class _Ty>
struct multiplies
: public binary_function<_Ty, _Ty, _Ty>
于是,引出了两个函数对象的基类unary_function<Arg,Result>和binary_function<Arg1,Arg2,Result>
其定义如下:
template<class _Arg,
class _Result>
struct unary_function
{ // base class for unary functions
typedef _Arg argument_type;
typedef _Result result_type;
};
// TEMPLATE STRUCT binary_function
template<class _Arg1,
class _Arg2,
class _Result>
struct binary_function
{ // base class for binary functions
typedef _Arg1 first_argument_type;
typedef _Arg2 second_argument_type;
typedef _Result result_type;
};
这两个基类方便我们派生出很多有用的子函数对象。
如果extends了unary_function,则重载
result_type operator() (argument_type type)
如果extends了binary_function,则重载
result_type operator()(first_argument_type type1,second_argument_type type2)
以后,我再谈谈C++的约束器、适配器和否定器。