一. 什么是Lambda O0y0'P-rJq
所谓Lambda,简单的说就是快速的小函数生成。 ke@OG! M /
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, `D3q!e
0aq{Y7sYU
?taC
!{
9t`yv@.>N
class filler lB2F09`
{ i=5!taxu}E
public : `]]m$
void operator ()( bool & i) const {i = true ;} [-`s`g-
} ; ^?|4<Rm
#++:`Z
wo62R&ac
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: IUAe6
Jj%xLv%
l`75BR
} A6z%|d
for_each(v.begin(), v.end(), _1 = true ); 7E*0;sA#
` *hTx|!'
o^5UHFxTCB
那么下面,就让我们来实现一个lambda库。 t<+>E_Xw
uD{^1c3x
[6\O
<-?
~Y0K Wx4
二. 战前分析 EId>%0s5
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 1A93ol=
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 p Dg!Cs
X'.lh#&
DZ`,QWuA
for_each(v.begin(), v.end(), _1 = 1 ); Za,o
/* --------------------------------------------- */ Ur[ai6LNG
vector < int *> vp( 10 ); Lcg1X3$G
transform(v.begin(), v.end(), vp.begin(), & _1); .: wg@Z
/* --------------------------------------------- */ AN,3[Sh
sort(vp.begin(), vp.end(), * _1 > * _2); !9qw
/* --------------------------------------------- */ 1C=42ZZ&2
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); F:Vl\YZ
/* --------------------------------------------- */ &~<i"
W
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); -0'<7FSQ
/* --------------------------------------------- */ >y}> 5kv
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); dtQ3iuV %
?y%Mm09
H>\lE2
:3se/4y}
看了之后,我们可以思考一些问题: "T8b.ng
1._1, _2是什么? NUBzc'qb
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 F&k<