一. 什么是Lambda 3Wxl7"!x m
所谓Lambda,简单的说就是快速的小函数生成。 %Ez%pT0TQ#
在C++中,STL的很多算法都要求使用者提供一个函数对象。例如for_each函数,会要求用户提供一个表明“行为”的函数对象。以vector<bool>为例,如果想使用for_each对其中的各元素全部赋值为true,一般需要这么一个函数对象, 7r 07N'
3.U5Each-
zB/$*Hd
sJg-FVe2
class filler } R!-*Wk
{ 8fFURk
public : 9_V'P]@
void operator ()( bool & i) const {i = true ;} /s.sW l
} ; ?1?D[7$
y;<^[
XmXp0b7
这样实现不但麻烦,而且不直观。而如果使用lambda,则允许用户使用一种直观和见解的方式来处理这个问题。以boost.lambda为例,刚才的问题可以这么解决: ,u^i0uOg
zD}dvI}
H>AQlO+ J
CT+pkNC
for_each(v.begin(), v.end(), _1 = true ); hu%rp{m^,
cG1-.,r
jG)fM?
那么下面,就让我们来实现一个lambda库。 mj=$[y(
|UZPn>F~
9Xo'U;J
g#ubxC7t<
二. 战前分析 U4qp?g+:
首先要说明的是,我并没有读过boost.lambda或其他任何lambda库的代码,因此如代码有雷同,纯属巧合。 Z2~;u[0a[
开始实现以前,首先要分析出大致的实现手法。先让我们来看几段使用Lambda的代码 :$."x
'
Ar7vEa81
L^3~gZ
for_each(v.begin(), v.end(), _1 = 1 ); L3iYZ>]
/* --------------------------------------------- */ "^VKs_U8o
vector < int *> vp( 10 ); h~{TCK+I
transform(v.begin(), v.end(), vp.begin(), & _1); sCU<1=
/* --------------------------------------------- */ z1wy@1o'
sort(vp.begin(), vp.end(), * _1 > * _2); EL$l .
v
/* --------------------------------------------- */ =Y#)c]`
int b = * find_if(v.begin, v.end(), _1 >= 3 && _1 < 5 ); %$|=_K)Ks
/* --------------------------------------------- */ ~f0Bu:A)
for_each(vp.begin(), vp.end(), cout << * _1 << ' \n ' ); NF&R}7L
/* --------------------------------------------- */ 'qwFVP
for_each(vp.begin(), vp.end(), cout << constant( ' \n ' ) << * _1); >M[wh>
m-S4"!bl
eE5U|y)_
}eb}oK
看了之后,我们可以思考一些问题: $HT
{}^B
1._1, _2是什么? e84[B.
显然_1和_2都满足C++对于标识符的要求,可见_1和_2都是对象。 YA9Xe+g
2._1 = 1是在做什么? .vYU4g]
既然_1是一个对象,那么_1的类必然重载了operator=(int)。那么operator=返回什么呢?该函数所返回的对象被传入for_each的第3个参数,可见其返回了一个函数对象。现在整个流程就很清楚了。_1 = 1调用了operator=,其返回了一个函数对象,该函数对象能够将参数1赋值为1。 ^+tAgK2
Ok,回答了这两个问题之后,我们的思路就很清晰了。如果要实现operator=,那么至少要实现2个类,一个用于产生_1的对象,另一个用于代表operator=返回的函数对象。 s9svuFb
U">w3o|
CM?dB$AwX
三. 动工 <3zA|
首先实现一个能够范型的进行赋值的函数对象类: +F$c_
\>
n,}\;Bp
E7@0,9AU
lgFA}p@
template < typename T > { \9vW; '
class assignment f#}P>,TP
{ K n%[&
T value; @N,dA#
public : ]+\;pb}bq
assignment( const T & v) : value(v) {} PB00\&6H
template < typename T2 > 'bVDm m).
T2 & operator ()(T2 & rhs) const { return rhs = value; } `K37&b