c 之 std move 原理實現與用法總結

c++ 之 std::move 原理實現與用法總結

原創ppipppanda 最後發布於2018-11-30 10:40:30 閱讀數 39304 收藏

展開在c++11中，標準庫在中提供了乙個有用的函式std::move，std::move並不能移動任何東西，它唯一的功能是將乙個左值強制轉化為右值引用，繼而可以通過右值引用使用該值，以用於移動語義。從實現上講，std::move基本等同於乙個型別轉換：static_cast(lvalue);

std::move函式可以以非常簡單的方式將左值引用轉換為右值引用。(左值右值引用左值引用)概念

c++ 標準庫使用比如vector::push_back 等這類函式時,會對引數的物件進行複製,連資料也會複製.這就會造成物件記憶體的額外建立, 本來原意是想把引數push_back進去就行了,通過std::move，可以避免不必要的拷貝操作。

std::move是將物件的狀態或者所有權從乙個物件轉移到另乙個物件，只是轉移，沒有記憶體的搬遷或者記憶體拷貝所以可以提高利用效率,改善效能.。

對指標型別的標準庫物件並不需要這麼做.

用法:原lvalue值被moved from之後值被轉移,所以為空字串.

//摘自

#include

int main()

輸出:after copy, str is "hello"

after move, str is ""

the contents of the vector are "hello", "hello"

std::move 的函式原型定義

template

typename remove_reference::type&& move(t&& t)

公式二）x&& &&摺疊成x&&，用於處理右值

std::move(string("hello")) => std::move(string&&)

//此時：t的型別為string

// remove_reference::type為string

//整個std::move被例項如下

string&& move(string&& t) //t為右值

簡單來說，右值經過t&&傳遞型別保持不變還是右值，而左值經過t&&變為普通的左值引用.

②對於static_cast<>的使用注意：任何具有明確定義的型別轉換，只要不包含底層const,都可以使用static_cast。

double d = 1;

void* p = &d;

double *dp = static_castp; //正確

const char *cp = "hello";

char *q = static_cast(cp); //錯誤：static不能去掉const性質

static_cast(cp); //正確

③對於remove_reference是通過類模板的部分特例化進行實現的，其實現**如下

//原始的，最通用的版本

template struct remove_reference;

//部分版本特例化，將用於左值引用和右值引用

template struct remove_reference//左值引用

template struct remove_reference//右值引用

//舉例如下,下列定義的a、b、c三個變數都是int型別

int i;

remove_refrence::type a; //使用原版本，

remove_refrence::type b; //左值引用特例版本

remove_refrence::type b; //右值引用特例版本

總結：std::move實現，首先，通過右值引用傳遞模板實現，利用引用摺疊原理將右值經過t&&傳遞型別保持不變還是右值，而左值經過t&&變為普通的左值引用，以保證模板可以傳遞任意實參，且保持型別不變。然後我們通過static_cast<>進行強制型別轉換返回t&&右值引用，而static_cast之所以能使用型別轉換，是通過remove_refrence::type模板移除t&&，t&的引用，獲取具體型別t。

c 之 std move 原理實現與用法總結

c 之 std move 原理實現與用法總結

std move的原理與實現，右值引用的深入理解

C 11 新特性之std move

c 之 std move 原理實現與用法總結

c 之 std move 原理實現與用法總結

std move的原理與實現，右值引用的深入理解

C 11 新特性之std move

相關推薦