Boost.Lambda 的确是一个好东西,用来举例最多的恐怕就是这个了:
using namespace boost::lambda;
std::vector<int> v;
// init values
std::for_each(v.begin(), v.end(), std::cout << _1 << ' ');
精致、优雅、易于理解,下面是一个更漂亮的例子:
std::map<int, int> values;
// init values
std::for_each(values.begin(), values.end(),
std::cout << bind(&std::map<int,int>::value_type::first, _1) << '\t'
<< bind(&std::map<int,int>::value_type::second, _1) << '\n'
);
它将把一个 map 打印成表格形式,其中的 bind 是 boost::lambda::bind,而不是 boost::bind。
看起来都是那么的轻易,但是我在下面的代码上却遇到了麻烦:
std::map<int,int>::iterator iter =
bind(&std::map<int,int>::find, &values, _1)(boost::cref(1));
任我使尽浑身解数,它还是没能编译成功,要知道这种情况经常给出几公里长的出错信息,要从中了解问题的症结几乎不太可能。然而,下面这一句非常相似的却成功运行:
std::cout << bind(&std::map<int,int>::count, &values, _1)(boost::cref(1));
一个是 bind 到 find,一个是 bind 到 count ,它们有什么区别呢?看看 STL(VC7.1) 的实现就发现,find 有两个版本:const 和 mutable ,而 count 只有一个版本。
难道是 Boost.Lambda 在遇到 constness 重载的时候出了问题?验证一下:
class A
{
int i, j;
public:
int& I()
{ return i; }
const int& I()const
{ return i; }
int J()
{ return j; }
}a;
//.......
std::cout << bind(&A::I, _1)(a);
果然不假,上面的代码编译的时候给出类似的错误信息,而下面这一句则没有问题:
std::cout << bind(&A::J, _1)(a);
然而,如果换用 Boost.Bind ,则在两种情况下都可以正确运行,包括上面所说的 count 和 find 。不过,最妙的是只要拿掉
using namespace boost::lambda;
而改用
using namespace boost;
那么同样的代码无需修改就可以运行了。
我还没有仔细看 Boost.Lambda 的代码来确定到底发生了什么,但是 C++0x 标准并没有接纳 lambda,可能也和这些实现上的问题有关吧。