这是当初发在论坛里的,可惜没有人感兴趣,渐渐的沉没了.虽说对一篇烂文章来说,沉没了反而是一件好事情,对我来说,却是学习中的一个足迹,为将来反省留个见证.老实说,这个例子过于华而不实，写的人好写，读的人却不太好读.不过其中撰写复杂lambda的总结，基本上还是可用的。
lambda库固然是非凡的，但是，Boost.Spirit.Phoenix更是锋利，也许下一次，我会研究研究Phoenix ^_^
对于lambda库的介绍，大家还是去看boost文档。我对lambda的原理也是一知半解，有兴趣的可以去学习一些函数式编程语言的相关理论。
lambda的使用方式确实颠覆了传统的过程式语言的一些方面。
在C++中，可以这样理解：lambda的功能就是把一段代码当作参数，传给一个函数。在被调用函数中，会用这段参数代码作一个处理。而且这段参数代码并不是只能写一些静态的过程，它可以有参数。在C++中，这段参数代码实际上是一个functor.
我们看一个最简单的例子：
vector<int> v(10)
for_each(v.begin(), v.end(), cout << _1 << '\n');
这个cout << _1 << '\n'，就是一个lambda函数。
lambda并不是只能处理这样简单的例子，还可以有分支、循环等控制语句。正好工作中用到，顺便贴出来。
例子说明：这是一个收集windows信息的代码的一部分，下面这段代码是收集磁盘类型和磁盘空间的。
using namespace boost::lambda;
//下面三行，是因为windows API是__stdcall修饰的，因此，用function来包装一下。
boost::function<UINT (LPCTSTR)> drtype = ::GetDriveType;
boost::function<BOOL (LPCTSTR, LPDWORD, LPDWORD, LPDWORD, LPDWORD)>
drfree = ::GetDiskFreeSpace;
DWORD dwSectorsPerCluster, dwBytesPerSector,
NumberOfFreeClusters, dwTotalNumberOfClusters;
//log 是预定义的，ostream类型
log << "DriveType=";
//dl是盘符列表
for_each(dl.begin(), dl.end(),
( //这个“(“不能少，你就当它是{看待
log << _1 << " " // 这个很简单
<< bind(drtype, bind(&string::c_str, _1)), //这个，相当于导致drtype(_1.c_str())
//上面的","是被lambda重载的，你当它是“;”
if_ //这个相当于if
(
bind(drfree, bind(&string::c_str, _1)
, &dwSectorsPerCluster, &dwBytesPerSector
, &NumberOfFreeClusters, &dwTotalNumberOfClusters
) > 0 //这个好长，其实很简单：drfree(1.c_str(), ...) > 0;
)
[ //这个也是重载的，当它是“{“
log << constant(" ") //这个constant是一定要的，这样这一行才能成为一个lambda表达式
<< var(dwSectorsPerCluster) << constant(" ")
<< var(dwSectorsPerCluster) << constant(" ")
<< var(dwBytesPerSector) << constant(" ")
<< var(NumberOfFreeClusters) << constant(" ")
<< var(dwTotalNumberOfClusters)
],
log << constant(", ")
)
);
log << END_LINE;
在写比较长的lambda的时候，掌握一个原则，就很简单了。
我把一个lambda表达式叫做一个lambda算子，lambda表达式只能由lambda算子构成。lambda算子之间的运算组合，仍然是lambda算子。一个普通的C++对象，必须首先转型成lambda算子才能参与lambda运算。一个复杂的lambda表达式必须注意检查每一个环节，确保都是lambda算子（或者可以隐式转换的）。这样，结合运算符重载的知识，就不难写出复杂的lambda表达式了。
ps:在vc7.1中，lambda表达式有错误时，编译出错信息可是非常壮观的，不是一般的壮观哦^_
