C++11 中值得关注的几大变化（详解）

源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 (and Why You Should Care)，赖勇浩做了一个中文翻译在这里。所以，我就不翻译了，我在这里仅对文中提到的这些变化“追问为什么要引入这些变化”的一个探讨，只有知道为了什么，用在什么地方，我们才能真正学到这个知识。而以此你可以更深入地了解这些变化。所以，本文不是翻译。因为写得有些仓促，所以难免有问题，还请大家指正。 Lambda 表达式 Lambda表达式来源于函数式编程，说白就了就是在使用的地方定义函数，有的语言叫“闭包”，如果 lambda 函数没有传回值(例如 void )，其回返类型可被完全忽略。 定义在与 lambda 函数相同作用域的变量参考也可以被使用。这种的变量集合一般被称作 closure（闭包）。我在这里就不再讲这个事了。表达式的简单语法如下， 原文的作者给出了下面的例子： 在传统的STL中for_each() 这个玩意最后那个参数需要一个“函数对象”，所谓函数对象，其实是一个class，这个class重载了operator()，于是这个对象可以像函数的式样的使用。实现一个函数对象并不容易，需要使用template，比如下面这个例子就是函数对象的简单例子（实际的实现远比这个复杂）： 所以，C++引入Lambda的最主要原因就是1）可以定义匿名函数，2）编译器会把其转成函数对象。相信你会和我一样，会疑问为什么以前STL中的ptr_fun()这个函数对象不能用？（ptr_fun()就是把一个自然函数转成函数对象的）。原因是，ptr_fun() 的局限是其接收的自然函数只能有1或2个参数。 那么，除了方便外，为什么一定要使用Lambda呢？它比传统的函数或是函数对象有什么好处呢？我个人所理解的是，这种函数之年以叫“闭包”，就是因为其限制了别人的访问，更私有。也可以认为他是一次性的方法。Lambda表达式应该是简洁的，极私有的，为了更易的代码和更方便的编程。 自动类型推导 auto 在这一节中，原文主要介绍了两个关键字 auto 和 deltype，示例如下： auto 最大的好处就是让代码简洁，尤其是那些模板类的声明，比如：STL中的容器的迭代子类型。 可以变成： 模板这个特性让C++的代码变得很难读，不信你可以看看STL的源码，那是一个乱啊。使用auto必需一个初始化值，编译器可以通过这个初始化值推导出类型。因为auto是来简化模板类引入的代码难读的问题，如上面的示例，iteration这种类型就最适合用auto的，但是，我们不应该把其滥用。 比如下面的代码的可读性就降低了。因为，我不知道ProcessData返回什么？int? bool? 还是对象？或是别的什么？这让你后面的程序不知道怎么做。 但是下面的程序就没有问题，因为pObject的型别在后面的new中有了。 自动化推导 decltype 关于 decltype 是一个操作符，其可以评估括号内表达式的类型，其规则如下： 如果表达式e是一个变量，那么就是这个变量的类型。 如果表达式e是一个函数，那么就是这个函数返回值的类型。 如果不符合1和2，如果e是左值，类型为T，那么decltype(e)是T&；如果是右值，则是T。 原文给出的示例如下，我们可以看到，这个让的确我们的定义变量省了很多事。 还有一个适合的用法是用来typedef函数指针，也会省很多事。比如： auto 和 decltype 的差别和关系 Wikipedia 上是这么说的（关于decltype的规则见上） 如果auto [...]