C++0x的三个特性：右值引用，static_assert,auto

一、右值引用

C++0x 中引入了右值引用(rvalue reference)这个设施，形如T&&，用来实现移动语义(move semantics)和完美转发(perfect forwarding)。此前C++中有一个著名的性能问题——复制临时对象，由于右值引用的引入，该问题将得到极大的改善。

虽然右值引用的引入是一个很了不起的进步，也是一个明智的决定，但它并不那么讨人喜欢，至少我觉得如此。原因有二：首先是其概念本身就不容易理解，增加了一些智力负担；另外如果想享受它带来的性能好处，还必须增加一些编码工作量。

什么是左值和右值

我们首先需要熟悉一下现行C++98/03标准中，左值和右值的概念。网上现在充斥着很多对它们的解释，长篇大论的有，只言片语的也有，而且不一定清晰正确，可谓良莠不齐，这里我希望能够尽量简单准确地进行说明。

这里有两个问题经常令人混淆，必须首先澄清一下：

1. lvalue(left value)和rvalue(right value)的概念经过了长时间的演化，早已名不副实，千万不要把L和R当做真正的左右来理解。最早或许left value意味着在等号左边，right value意味着在等号右边，但对于现代C++这么复杂的语法来说，早就不适用了。
2. 左值还是右值，是针对某个表达式而言的，而不是针对某个具体值或者对象本身而言。C++ 03 标准 3.10/1 节：“每一个表达式要么是一个lvalue，要么就是一个rvalue。”因此不要单纯的考虑数字1是左值还是右值，或者存在地址0x100000上的那 个string对象到底是左值还是右值，重要的是看表达式。

 

二、静态断言

C++0x中引入了static_assert 这个关键字，用来做编译期间的断言，因此叫做静态断言。

其语法很简单：static_assert (常量表达式，提示字符串)。

如果第一个参数常量表达式的值为真(true或者非零值)，那么static_assert 不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该static_assert 语句所在行，错误提示就是第二个参数提示字符串。

 

三、auto

 

最典型的用法如下：
auto x = expression ;

x的类型将由等号后面表达式的类型来确定，最明显的好处是，对于某些复杂类型，我们不用再明确写出其类型，例如我们经常遇到的对STL容器遍历时，写的那个迭代器类型。

除了直接声明auto 类型的变量外，还可以组合成较复杂的形式，例如：

auto


& x = expression


; 



auto


 const


& x = expression


;



auto


* x = expression


;



auto


 const


* x= expression


;



auto


 x[100] = expression


;

  

说明

auto 关键字是一个占位符(placeholder)，表示待推断的类型，主要用于变量的初始化表达式，它可以其它的类型修饰符联合使用，包括const, volatile等，例如：

auto


 score = 100;    // score的类型是int






auto


 volatile


 pi = 3.14; // pi的类型是double volatile






auto


 const


* msg = "hello, world"


; // msg的类型是char const


*

auto 关键字在用于创建对象有点特别，它可以和new 一起调用拷贝构造函数来创建一个对象，例如：

1: auto x1 = new auto (1); // 正确，x1为int* 2: int * x2 = new auto (2); // 正确，x2为int* 3: auto y1 = auto (1); // 错误 4: int y2 = auto (1); // 错误

http://blog.csdn.net/thesys/category/690070.aspx