一. 什么是Lambda 32 1={\X
所谓Lambda,简单的说就是快速的小函数生成。 HcBH!0
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, e}R2J`7
6PJJ?}P^1
1&% d
N^Hn9n
class filler B)DC,+@$
{ h#@4@x{
public : 2[LX\
void operator ()( bool & i) const {i = true ;} |.8d,!5w}
} ; (]}x[F9l
Y-%l7GErhL
V8nz-DL{
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: sw$R2K{y
Ql q#Zdru
V|3yZ8lE
z[5Y
Z~}*
for_each(v.begin(), v.end(), _1 = true ); 8tV=fSHd
t*Vao
#0?"J)
那么下面,就让我们来实现一个lambda库。 ~Q_)>|R2
hB
P$9GR
E?Qz/*'zv
-t%{"y
二. 战前分析 NoJnchiU
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 %UUp=I
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 0+K`pS'
+QIGR'3u
A;fB6
for_each(v.begin(), v.end(), _1 = 1 ); `'xQ6Sy
/* --------------------------------------------- */ LsJs Q
h
vector < int *> vp( 10 ); ,30FGz^i
transform(v.begin(), v.end(), vp.begin(), & _1); &547`*
/* --------------------------------------------- */ j}rgOz.
sort(vp.begin(), vp.end(), * _1 > * _2); KFTf~!|
/* --------------------------------------------- */ @4/~~
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); xta}4:d-Y
/* --------------------------------------------- */ VM-qVd-
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); lL:KaQ 0E
/* --------------------------------------------- */ g[#k.CuP
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); i7S>RB
BKE\SWu
aW0u8Dz
0kU3my]
看了之后,我们可以思考一些问题: /*u#Ba<<
1._1, _2是什么? tJUVw=
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。
E
fP>O
2._1 = 1是在做什么? &