分析Visual Studio右值引用
在向大家詳細介紹右值引用之前,首先讓大家了解下C++0x,然后全面介紹Visual Studio右值引用,希望對大家有用。作為最重要的一項語言特性,Visual Studio右值引用(rvalue references)被引入到 C++0x中。我們可以通過操作符“&&”來聲明一個Visual Studio右值引用,原先在C++中使用“&”操作符聲明的引用現在被稱為左值引用。
- int a;
- int& aa_lvref = a;
- // 左值引用
- int b;
- int&& bb_rvref = b;
- // 右值應用
左值引用和Visual Studio右值引用的表現行為基本一致,它們唯一的差別就是Visual Studio右值引用可以綁定到一個臨時對象(右值)上,而左值引用不可以。例如:
- int& a_lvref = int();
- // error C2440: 'initializing' : cannot convert from 'int' to 'int &'
- int&& b_rvref = int();
- // OK!
在***行代碼中,我們將一個臨時對象int()綁定到一個左值引用,將產生一個編譯錯誤。而在第二行中,我們將臨時對象綁定到Visual Studio右值引用,就可以順利通過編譯。
右值是無名的數據,例如函數的返回值一般說來就是右值。當對右值進行操作的時候,右值本身往往沒有必要保留,因此在某些情況下可以直接“移動”之。通過Visual Studio右值引用,程序可以明確的區分出傳入的參數是否為右值,從而避免了不必要的拷貝,程序的效率也就得到了提高。我們考慮一個簡單的數據交換的小程序,從中來體會Visual Studio右值引用所帶來的效率提升。我們可以寫一個函數swap來實現兩個變量值的交換:
- template <class T> swap(T& a, T& b)
- {
- T tmp(a);
- // tmp對象創建后,我們就擁有了a的兩份拷貝
- a = b;
- // 現在我們擁有b的兩份拷貝
- b = tmp;
- // 現在我們擁有a的兩份拷貝
- }
在這段代碼中,雖然我們只是為了進行簡單的數據交換,但是卻執行了多次對象拷貝。這些對象的拷貝操作,特別是當這些對象比較大的時候,無疑會影響程序的效率。
那么,如果使用Visual Studio右值引用如何實現呢?
- // RValueRef.cpp : Defines the entry point for the console application.
- //
- #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;
- }
#t#在這段重新實現的代碼中,我們使用了一個move()函數來代替對象的賦值操作符“=”,move()只是簡單地接受一個Visual Studio右值引用或者左值引用作為參數,然后直接返回相應對象的Visual Studio右值引用。這一過程不會產生拷貝(Copy)操作,而只會將源對象移動(Move)到目標對象。
正是拷貝(Copy)和移動(Move)的差別,使得Visual Studio右值引用成為C++0x中最激動人心的新特性之一。從實踐角度講,它能夠***是解決C++中長久以來為人所詬病的臨時對象的效率問題。從語言本身講,它健全了C++中的引用類型在左值右值方面的缺陷。從庫設計者的角度講,它給庫設計者又帶來了一把利器。而對于廣大的庫使用者而言,不動一兵一卒便能夠獲得“免費的”效率提升。