成都网站设计公,长春经济技术开发区人才网,建筑 企业官网设计,网页设计表单代码模板参考文章#xff1a;https://blogs.oracle.com/pcarlini/entry/c_1x_tidbits_lambda_expressions 或许#xff0c;Lambda 表达式算得上是 C 11 新增特性中最激动人心的一个。这个全新的特性听起来很深奥#xff0c;但却是很多其他语言早已提供#xff08;比如 C##xff0…参考文章https://blogs.oracle.com/pcarlini/entry/c_1x_tidbits_lambda_expressions 或许Lambda 表达式算得上是 C 11 新增特性中最激动人心的一个。这个全新的特性听起来很深奥但却是很多其他语言早已提供比如 C#或者即将提供比如 Java的。简而言之Lambda 表达式就是用于创建匿名函数的。GCC 4.5.x 和 Microsoft Visual Studio 早已提供了对 lambda 表达式的支持。在 GCC 4.7 中默认是不开启 C 11 特性的需要添加 -stdc11 编译参数。而 VS2010 则默认开启。 为什么说 lambda 表达式如此激动人心呢举一个例子。标准 C 库中有一个常用算法的库其中提供了很多算法函数比如 sort() 和 find()。这些函数通常需要提供一个“谓词函数 predicate function”。所谓谓词函数就是进行一个操作用的临时函数。比如 find() 需要一个谓词用于查找元素满足的条件能够满足谓词函数的元素才会被查找出来。这样的谓词函数使用临时的匿名函数既可以减少函数数量又会让代码变得清晰易读。 下面来看一个例子 #include algorithm
#include cmathvoid abssort(float *x, unsigned N)
{std::sort(x,x N,[](float a, float b) { return std::abs(a) std::abs(b); });
} 从上面的例子来看尽管支持 lambda 表达式但 C 的语法看起来却很“神奇”。lambda 表达式使用一对方括号作为开始的标识类似于声明一个函数只不过这个函数没有名字也就是一个匿名函数。这个匿名函数接受两个参数a和b其返回值是一个 bool 类型的值注意返回值是自动推断的不需要显式声明不过这是有条件的条件就是lambda 表达式的语句只有一个 return。函数的作用是比较 a、b 的绝对值的大小。然后在此例中这个 lambda 表达式作为一个闭包被传递给 std::sort() 函数。 下面我们来详细解释下这个神奇的语法到底代表着什么。 我们从另外一个例子开始 std::cout [](float f) { return std::abs(f); } (-3.5); 输出值是什么3.5注意这是一个函数对象由 lambda 表达式生成其实参是 -3.5返回值是参数的绝对值。lambda 表达式的返回值类型是语言自动推断的因为std::abs()的返回值就是 float。注意前面我们也提到了只有当 lambda 表达式中的语句“足够简单”才能自动推断返回值类型。 C 11 的这种语法其实就是匿名函数声明之后马上调用否则的话如果这个匿名函数既不调用又不作为闭包传递给其它函数那么这个匿名函数就没有什么用处。如果你觉得奇怪那么来看看 JavaScript 的这种写法 function() {} ();function(a) {} (-3.5); C 11 的写法完全类似 JavaScript 的语法。 如果我不想让 lambda 表达式自动推断类型或者是 lambda 表达式的内容很复杂不能自动推断怎么办比如std::abs(float)的返回值是 float我想把它强制转型为 int。那么此时我们就必须显式指定 lambda 表达式返回值的类型 std::cout [](float f) - int { return std::abs(f); } (-3.5); 这个语句与前面的不同之处在于lambda 表达式的返回时不是 float 而是 int。也就是说上面语句的输出值是 3。返回值类型的概念同普通的函数返回值类型是完全一样的。 当我们想引用一个 lambda 表达式时我们可以使用auto关键字例如 auto lambda [] () - int { return val * 100; }; auto关键字实际会将 lambda 表达式转换成一种类似于std::function的内部类型但并不是std::function类型虽然与std::function“兼容”。所以我们也可以这么写 std::functionint() lambda [] () - int { return val * 100; }; 如果你对std::functionint()这种写法感到很神奇可以查看 C 11 的有关std::function的用法。简单来说std::functionint()就是一个可调用对象模板类代表一个可调用对象接受 0 个参数返回值是int。所以当我们需要一个接受一个double作为参数返回int的对象时就可以写作std::functionint(double)。 引入 lambda 表达式的前导符是一对方括号称为 lambda 引入符lambda-introducer。lambda 引入符是有其自己的作用的不仅仅是表明一个 lambda 表达式的开始那么简单。lambda 表达式可以使用与其相同范围 scope 内的变量。这个引入符的作用就是表明其后的 lambda 表达式以何种方式使用正式的术语是“捕获”这些变量这些变量能够在 lambda 表达式中被捕获其实就是构成了一个闭包。目前为止我们看到的仅仅是一个空的方括号其实这个引入符是相当灵活的。例如 float f0 1.0;
std::cout [](float f) { return f0 std::abs(f); } (-3.5); 其输出值是 4.5。[] 意味着lambda 表达式以传值的形式捕获同范围内的变量。另外一个例子 float f0 1.0;
std::cout [](float f) { return f0 std::abs(f); } (-3.5);
std::cout \n f0 \n; 输出值是 4.5 和 4.5。[] 表明lambda 表达式以传引用的方式捕获外部变量。那么下一个例子 float f0 1.0;
std::cout [](float f) mutable { return f0 std::abs(f); } (-3.5);
std::cout \n f0 \n; 这个例子很有趣。首先[]意味着lambda 表达式以传值的形式捕获外部变量。C 11 标准说如果以传值的形式捕获外部变量那么lambda 体不允许修改外部变量对 f0 的任何修改都会引发编译错误。但是注意我们在 lambda 表达式前声明了mutable关键字这就允许了 lambda 表达式体修改 f0 的值。因此我们的例子本应报错但是由于有 mutable 关键字则不会报错。那么你会觉得输出值是什么呢答案是4.5 和 1.0。为什么 f0 还是 1.0因为我们是传值的虽然在 lambda 表达式中对 f0 有了修改但由于是传值的外部的 f0 依然不会被修改。 上面的例子是所有的变量要么传值要么传引用。那么是不是有混合机制呢当然也有比如下面的例子 float f0 1.0f;
float f1 10.0f;
std::cout [, f0](float a) { return f0 f1 std::abs(a); } (-3.5);
std::cout \n f0 \n; 这个例子的输出是 14.5 和 14.5。在这个例子中f0 通过引用被捕获而其它变量比如 f1 则是通过值被捕获。 下面我们来总结下所有出现的 lambda 引入符 [] // 不捕获任何外部变量[] // 以值的形式捕获所有外部变量[] // 以引用形式捕获所有外部变量[x, y] // x 以传值形式捕获y 以引用形式捕获[, z]// z 以引用形式捕获其余变量以传值形式捕获[, x] // x 以值的形式捕获其余变量以引用形式捕获另外有一点需要注意。对于[]或[]的形式lambda 表达式可以直接使用 this 指针。但是对于[]的形式如果要使用 this 指针必须显式传入 [this]() { this-someFunc(); }(); 至此我们已经大致了解了 C 11 提供的 lambda 表达式的概念。建议通过结合 lambda 表达式与std::sort()或std::for_each()这样的标准函数来尝试使用一下吧 转自https://www.devbean.net/2012/05/cpp11-lambda/转载于:https://www.cnblogs.com/liushui-sky/p/5742007.html
