VC10中的C++0x特性 Part 1：Lambdas，auto，以及 static_assert

核心提示： -> double 是可选的 lambda 返回类型从句，为什么它不放在左边（译注：返回类型一般在函数左边声明），VC10中的C++0x特性 Part 1：Lambdas，auto，以及 static_assert(5)，就像程序员一直以来在C函数中做的那样？因为那样的话 lambd

-> double 是可选的 lambda 返回类型从句。为什么它不放在左边（译注：返回类型一般在函数左边声明），就像程序员一直以来在C函数中做的那样？因为那样的话 lambda 导引符 [] 就不会第一个出现了，而正是它告诉编译器一个 lambda 函数开始了。（核心工作组最擅长解决这样的问题；尝试猜测C++ 中一个给定的概念是否是可被解析的会让我头疼。）

如果忘记了指定 lambda返回类型从句，编译器就会抱怨每一个返回语句：

C:Temp>cl /EHsc /nologo /W4 borkedreturnmeow.cpp
borkedreturnmeow.cpp
borkedreturnmeow.cpp(20) : error C3499: a lambda that has been specified to have a void return type cannot return a value
borkedreturnmeow.cpp(22) : error C3499: a lambda that has been specified to have a void return type cannot return a value

到目前为止我所介绍的 lambda 都是无状态的：它们不包含数据成员。你也可以有有状态的 lambda，这是通过“传递”（原文用加引号的 capturing 这个词，在这里我翻译成传递似乎不太妥，故我都加括号引用原文，下同）局部变量来实现的。空的 lambda 导引符 [] 意味着“一个无状态的 lambda”，但在 lambda 导引符 [] 中你可以指定 capture-list ：

C:Temp>type capturekittybyvalue.cpp
#include <algorithm>
#include <iostream>
#include <ostream>
#include <vector>
using namespace std;

int main() {
　　　 vector<int> v;

　　　 for (int i = 0; i < 10; ++i) {
　　　　　　　 v.push_back(i);
　　　 }

　　　 int x = 0;
　　　 int y = 0;

　　　 // op>>() leaves newlines on the input stream,
　　　 // which can be extremely confusing. I recommend
　　　 // avoiding it, and instead using non-member
　　　 // getline(cin, str) to read whole lines and
　　　 // then parse them. But in the interests of
　　　 // brevity, I'll use evil op>>():

　　　 cout << "Input: ";
　　　 cin >> x >> y;

　　　 v.erase(remove_if(v.begin(), v.end(), [x, y](int n) { return x < n && n < y; }), v.end());

　　　 for_each(v.begin(), v.end(), [](int n) { cout << n << " "; });
　　　 cout << endl;
}

C:Temp>cl /EHsc /nologo /W4 capturekittybyvalue.cpp > NUL && capturekittybyvalue
Input: 4 7
0 1 2 3 4 7 8 9