一. 什么是Lambda YHYB.H)
所谓Lambda,简单的说就是快速的小函数生成。 M>@R=f
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, gQWX<
{M/c!
lIg2iun[n
KU,w9<~i(
class filler I?>T"nV +'
{ }eM<A$J
public : dH|^\IQ
void operator ()( bool & i) const {i = true ;} 2-aYqMmT;
} ; j_@3a)[NY
,rQ)TT
vc#oALc&
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: -G#k/Rz6
X vMG09
-P>=WZu
RWCS
u$
for_each(v.begin(), v.end(), _1 = true ); 4iqmi<[("
CqK#O'\
#Hi]&)p_
那么下面,就让我们来实现一个lambda库。 z \>X[yNpA
Aq%^>YAp
2F@)nh
D|j\ nQ
二. 战前分析 g ypq`F
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 W'h0Zg
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 Wx$q:$h@q
Fx5d@WNa>
D1 ~x
for_each(v.begin(), v.end(), _1 = 1 ); F*t_lN5{
/* --------------------------------------------- */ ([b!$o<v
vector < int *> vp( 10 ); 'h>5&=r
transform(v.begin(), v.end(), vp.begin(), & _1); 86fK=G:>
/* --------------------------------------------- */
/1~|jmi(
sort(vp.begin(), vp.end(), * _1 > * _2); ,M.!z@
/* --------------------------------------------- */ 6F.7Ws<
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); r/hyW6e_
/* --------------------------------------------- */ aroVyUs3j
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); :dIQV(iW
/* --------------------------------------------- */ ~+ s*\~
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); rn:zKTyhw
V!77YFen %
ttFY
_F~S
kEhm'
看了之后,我们可以思考一些问题: )|y2Q
1._1, _2是什么? D`:d'ow~KQ
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 PuZs5J3
2._1 = 1是在做什么? Nv?-*&