一. 什么是Lambda 8U8l
5r
所谓Lambda,简单的说就是快速的小函数生成。 6Sh0%Fs
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, -ec~~95
]| oh1q
|A_yr/f
Q ^%+r"h
class filler eWvL(2`T x
{ YKwej@9,
public : k~ #F@_
void operator ()( bool & i) const {i = true ;} r40#-A$
} ; .aWEXJ
c yq]-B
jq{rNxdGx
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: .d:sQ\k~=
|r"1
&ow5
,fQc0gM=[
Zfyr&]"
for_each(v.begin(), v.end(), _1 = true ); Yr@)W~
=T$-idx1l
Ug=8:a(U.
那么下面,就让我们来实现一个lambda库。 K29]B~0%E
,?;q$Xoi
($^XF: #5
8=x{>&Jr
二. 战前分析 kd9rvy0oK
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 0R~{|RHM
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 {uEu
^6a5
1_uq46
ye1kI~LO(
for_each(v.begin(), v.end(), _1 = 1 ); 5KJN](x+
/* --------------------------------------------- */ kQXtO)
vector < int *> vp( 10 ); W!g'*L/#L
transform(v.begin(), v.end(), vp.begin(), & _1); 6dO )]
/* --------------------------------------------- */ -fu=RR
sort(vp.begin(), vp.end(), * _1 > * _2); }?xu/C
/* --------------------------------------------- */ g:MpN^l
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); F,^Q'$!
/* --------------------------------------------- */ O.S(H1z<G
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); uUb[Dqn
/* --------------------------------------------- */ b@@`2O3"
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); {q%&~
IGs!SXclCs
/)?]vKMiI
o|G.tBpKg
看了之后,我们可以思考一些问题:
| Euf:yWY
1._1, _2是什么? 0%.l|~CE&
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 HErTFY+vC
2._1 = 1是在做什么? 6&