一. 什么是Lambda &g|[/~dIr
所谓Lambda,简单的说就是快速的小函数生成。 V'vWz`#
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, 3;>ls~4
NO!Qo:
5cPyi/
P%2v(
class filler
[
<X%
{ W,4!"*+
public : ^_]ZZin
void operator ()( bool & i) const {i = true ;} +d3|Up8=
} ; {SV/AN
Z"8lW+r*
{lf{0c$X.
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: >~o-6g
GK$[ !{w;
TUfj\d,
v0DDim?cc
for_each(v.begin(), v.end(), _1 = true ); `nF SJlr&
7ws<' d7/
a{`hAI${
那么下面,就让我们来实现一个lambda库。 ~HmH#"VP
ZDW9H6ux
i<Z%
B|m)V9A%-
二. 战前分析 OjGI
!
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 :8`A
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码
KQr+VQdq>
03~ ADj
RqA>" [L
for_each(v.begin(), v.end(), _1 = 1 ); JLu$1A@ '
/* --------------------------------------------- */ rqjq}L )
vector < int *> vp( 10 ); g<Z :`00|
transform(v.begin(), v.end(), vp.begin(), & _1); ?~o`mg
/* --------------------------------------------- */ 5m1J&TZ0
sort(vp.begin(), vp.end(), * _1 > * _2); OHndZ$'fI
/* --------------------------------------------- */ s!IIvF
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); 3-/|G-4k7
/* --------------------------------------------- */ ]y@A=nR
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); |Y
uf/G%/
/* --------------------------------------------- */ d"XZlEV
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); fl-J:`zyyZ
C5~~$7k0
;FqmZjm
|^Iox0A
看了之后,我们可以思考一些问题: O=jLZ2os
1._1, _2是什么? zM0}(5$m
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 7( 84j5zb
2._1 = 1是在做什么? W\l&wR
既然_1是一个对象,那么_1的类必然重载了operator=(int)。那么operator=返回什么呢?该函数所返回的对象被传入for_each的第3个参数,可见其返回了一个函数对象。现在整个流程就很清楚了。_1 = 1调用了operator=,其返回了一个函数对象,该函数对象能够将参数1赋值为1。 <{#_;7h"
Ok,回答了这两个问题之后,我们的思路就很清晰了。如果要实现operator=,那么至少要实现2个类,一个用于产生_1的对象,另一个用于代表operator=返回的函数对象。 QP\9#D~
sa'1hX^@
/"X_{3dq?
三. 动工 x0# Bc7y
首先实现一个能够范型的进行赋值的函数对象类: 5_(\Cd<#
`vBBJ@f4)
Wj.t4XG!
rg^\gE6_
template < typename T > Z!g6uV+.5
class assignment C~2!@<y
{ p]kEH\
sh
T value; @_do<'a
public : -lo?16w
assignment( const T & v) : value(v) {} 9"P+K.%
template < typename T2 > YdhV
a!Y
T2 & operator ()(T2 & rhs) const { return rhs = value; } <@Q27oEuA
} ; d]0:r]e
E+\?ptw
&'u|^d
其中operator()被声明为模版函数以支持不同类型之间的赋值。 `0Udg,KOs
然后我们就可以书写_1的类来返回assignment b<tV>d"Fv
*'?ZG/ (
Kg6J:HD49
9VW/Af
class holder ek&~A0k_o
{ |.@!CqJ
public : T1C_L?L
template < typename T > :Q`Of}#
assignment < T > operator = ( const T & t) const Q+Bl1xl
{ T
6D+@i
return assignment < T > (t); boojq{cvYA
} 3H,x4L5j
} ; `Abd=1nH
LGhK)]:
j-9)Sijj{
由于该类是一个空类,因此我们可以在其后放心大胆的写上: cM%?Ot,mK"
k7U.]#5V
static holder _1; *tv&