一. 什么是Lambda `hJSo?G>
所谓Lambda,简单的说就是快速的小函数生成。 0`y;[qAG[
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, yf5X=f.%@
)Nv$ SH
f~nAJ+m=
"uK`!{
class filler E{_$C!.
{ &aD]_+b
public : 3%c{eZxG=
void operator ()( bool & i) const {i = true ;} 9nIBs{`/Ac
} ; lB_&Lq8G
l'h[wwEXm{
NgH"jg-
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: *p)1c_
K& /
rzs-
U)mg]o-VE
=<~/U?
for_each(v.begin(), v.end(), _1 = true ); `}uOlC]I
,#;%ILF4%
2Hltgt,
那么下面,就让我们来实现一个lambda库。 "7Qc:<ww
0{u31#0j
^]Mlkd:
}ti+tM*
二. 战前分析 J`F][ A
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 :i'jQ<|wZN
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 1~X~"M
)<W6cDx'H+
F=}-ngx8&
for_each(v.begin(), v.end(), _1 = 1 ); 38(Cj~u=3
/* --------------------------------------------- */ LZC)vF5
vector < int *> vp( 10 ); &Z
Ja}5k!r
transform(v.begin(), v.end(), vp.begin(), & _1); ?Uz7($}
/* --------------------------------------------- */ 'J*)o<%
sort(vp.begin(), vp.end(), * _1 > * _2); \VJ7ahg[\
/* --------------------------------------------- */ f?xc-lX5R
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); 9AJMm1_
/* --------------------------------------------- */ 49Sq)jd<
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); _ElA\L4g%
/* --------------------------------------------- */ <3]Qrjl
,b
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); &j2fh!\4
^ 'jJ~U
8GC(?#Kb
5|zISK%zHS
看了之后,我们可以思考一些问题: Id->F0x0
1._1, _2是什么? 5$SO
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 iM'{,~8R5
2._1 = 1是在做什么? {UX[SAQ
既然_1是一个对象,那么_1的类必然重载了operator=(int)。那么operator=返回什么呢?该函数所返回的对象被传入for_each的第3个参数,可见其返回了一个函数对象。现在整个流程就很清楚了。_1 = 1调用了operator=,其返回了一个函数对象,该函数对象能够将参数1赋值为1。 3PS(1
Ok,回答了这两个问题之后,我们的思路就很清晰了。如果要实现operator=,那么至少要实现2个类,一个用于产生_1的对象,另一个用于代表operator=返回的函数对象。 q r12"H
XsE] Z4
:{pJ
三. 动工 []e*Io&[
首先实现一个能够范型的进行赋值的函数对象类: \A-w,]9^V
DFvLCGkDk
~$I2{I#W
[3":7bB 'E
template < typename T > M[9]t("
class assignment y7 tK>aD}
{ C`|'+
T value; {eR,a-D!7
public : d9/YW#tm
assignment( const T & v) : value(v) {} Y)%CxaO`
template < typename T2 > [[fhfV+H
T2 & operator ()(T2 & rhs) const { return rhs = value; } K<`"Sr
} ; |Tz/9t
>icK]W
(+g!~MP
其中operator()被声明为模版函数以支持不同类型之间的赋值。 +*OY%;dQ7@
然后我们就可以书写_1的类来返回assignment 4qw&G