在这段实现的Visual Studio 2010代码中,我们使用了一个move()函数来代替对象的赋值操作符“=”,move()只是简单地接受一个右值引用或者左值引用作为参数,然后直接返回相应对象的右值引用。这一过程不会产生拷贝(Copy)操作,而只会将Visual Studio 2010代码的源对象移动(Move)到目标对象。
auto关键字
在C++0x中,auto关键字的意义发生了改变: 它可以“从初始化器(initialize)中推导出所代表的变量的真正类型”。这种对auto关键字的使用方式可以大大消除当前冗长和易出错的代码。在这段代码中,我们使用auto关键字来代替了真正的数据类型map<string, string>::iterator,这使得整个代码自然而简洁。#t#
另外,跟其他数据类型一样,我们也可以对auto关键字进行修饰,例如添加const,指针(*),左值引用(&),右值引用(&&)等等,编译器会根据auto类型所代表的真正的数据来决定这些修饰的具体含义。
为了兼容一些旧有的C++代码,我们可以使用/Zc:auto这个编译器选项,来告诉编译器是采用auto关键字的原有定义还是在新标准C++0x中的定义。
右值引用
作为最重要的一项语言特性,右值引用(rvalue references)被引入到 C++0x中。我们可以通过操作符“&&”来声明一个右值引用,原先在C++中使用“&”操作符声明的引用现在被称为左值引用。
- template <class T> swap(T& a, T& b)
- {
- T tmp(a); // tmp对象创建后,我们就拥有了a的两份拷贝
- a = b; // 现在我们拥有b的两份拷贝
- b = tmp;// 现在我们拥有a的两份拷贝
- }
- template <class T> swap(T& a, T& b)
- {
- T tmp(a); // tmp对象创建后,我们就拥有了a的两份拷贝
- a = b; // 现在我们拥有b的两份拷贝
- b = tmp;// 现在我们拥有a的两份拷贝
- }
在第一行Visual Studio 2010代码中,我们将一个临时对象int()绑定到一个左值引用,将产生一个编译错误。而在第二行中,我们将临时对象绑定到右值引用,就可以顺利通过编译。右值是无名的数据,例如函数的返回值一般说来就是右值。当对右值进行操作的时候,右值本身往往没有必要保留,因此在某些情况下可以直接“移动”之。通过右值引用,程序可以明确的区分出传入的参数是否为右值,从而避免了不必要的拷贝,程序的效率也就得到了提高。我们考虑一个简单的数据交换的小程序,从中来体会右值引用所带来的效率提升。我们可以写一个函数swap来实现两个变量值的交换:
- #include "stdafx.h"
- template <class T>
- T&& move(T&& a)
- {
- return a;
- }
- template <class T> void swap(T& a, T& b)
- {
- T tmp(move(a)); // 对象a被移动到对象tmp,a被清空
- a = move(b);// 对象b被移动到对象a,b被清空
- b = move(tmp); // 对象tmp被移动到对象b
- }
- int _tmain(int argc, _TCHAR* argv[])
- {
- int a = 1;
- int b = 2;
- swap(a, b);
- return 0;
- }
在这段Visual Studio 2010代码中,虽然我们只是为了进行简单的数据交换,但是却执行了多次对象拷贝。这些对象的拷贝操作,特别是当这些对象比较大的时候,无疑会影响程序的效率。