C++11语言扩展：常规特性.docVIP

C++11语言扩展：常规特性 本节内容：auto、decltype、基于范围的for语句、初始化列表、统一初始化语法和语义、右值引用和移动语义、Lambdas、noexcept防止抛出异常、constexpr、nullptr——一个指针空值常量、复制并再抛出异常、内联命名空间、用户自定义数据标识。 auto 推导 1 auto x = 7; 在这里因为它的初始化类型我们将得到x的int类型。一般来说，我们可以写 1 auto x = expression; x的类型我们将会根据初始化表达式“ expression”的类型来自动推导。 当一个变量的类型很难准确的知道或者写出的时候，用atuo通过初始化表达式的类型进行推导显然是非常有用的。 参考： 1 2 3 4 5 templateclass T void printall(const vectorT v) { ????for (auto p = v.begin(); p!=v.end(); ++p) ????????cout *p \n; } 在C++98里我们必须这样写 1 2 3 4 5 templateclass T void printall(const vectorT v) ???{ ???????for (typename vectorT::const_iterator p = v.begin(); p!=v.end(); ++p) ???????????cout *p \n; ???} 当一个变量的类型取决于模板实参的时候不用auto真的很难定义，例如： 1 2 3 4 5 6 templateclass T, class U void multiply(const vectorT vt, const vectorU vu) ????{ ????????// ... ????????auto tmp = vt[i]*vu[i]; ????????// ... ????} ? 从T*U的表达式，我们人类的思维是很难理清tmp的类型的，但是编译器肯定知道T和U经过了什么特殊处理。 auto的特性在最早提出和应用时是有区别的：1984年初，Stroustrup在他的Cfront实现里用到了它，但是是由于C的兼容问题被迫拿来用的，这些兼容的问题已经在C++98和C++99接受了隐性int时候消失了。也就是说，现在这两种语言要求每一个变量和函数都要有一个明确的类型定义。auto旧的含义（即这是一个局部变量）现在是违法的。标准委员会的成员们在数百万行代码中仅仅只找到几百个用到auto关键字的地方，并且大多数出现在测试代码中，有的甚至就是一个bug。 auto在代码中主要是作为简化工具，并不会影响标准库规范。 参考： the C++ draft section , , 8.3.5 (for return types) [N1984=06-0054] Jaakko Jarvi, Bjarne Stroustrup, and Gabriel Dos Reis:? Herb Sutter:? Herb Sutter:? Herb Sutter:? decltype decltype(E)的类型(“声明类型”)可用名称或表达E来声明。例如： 1 2 3 4 5 6 7 8 9 void f(const vectorint a, vectorfloat b) ??{ ??????typedef decltype(a[0]*b[0]) Tmp; ??????for (int i=0; ib.size(); ++i) { ??????????Tmp* p = new Tmp(a[i]*b[i]); ??????????// ... ??????} ??????// ... ??} 这个概念已经流行在泛型编程的标签“typeof”很长一段时间,但实际使用的“领域”的实现是不完整和不兼容,所以标准版命名了decltype。 注意:喜欢使用auto时,你只是需要一个变量的类型初始化。你真的需要decltype如果你需要一个类型的东西不是一个变量,例如返回类型。 参考： the C++ draft Simple type specifiers [Str02] Bjarne Stroustrup. Draft proposal for “typeof”. C++ reflector message c++std-ext-5364, October 2002. (original suggestion). [N1478=03-0061] Jaakko Jarvi, Bjarne Stroustrup, Douglas Gregor, and Jeremy Siek:? (o