青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

羅朝輝(飄飄白云)

關注嵌入式操作系統,移動平臺,圖形開發。-->加微博 ^_^

  C++博客 :: 首頁 :: 新隨筆 :: 聯系 :: 聚合  :: 管理 ::
  85 隨筆 :: 0 文章 :: 169 評論 :: 0 Trackbacks

【譯】VC10中的C++0x特性 part 2(2):右值引用

來源:vcblog 作者:Stephan T. Lavavej 翻譯:飄飄白云  

 

(轉載時請注明作者和出處。未經許可,請勿用于商業用途)

簡介

這一系列文章介紹Microsoft Visual Studio 2010 中支持的C++ 0x特性,目前有三部分。
Part 1 :介紹了Lambdas, 賦予新意義的auto,以及 static_assert;
Part 2( , , ):介紹了右值引用(Rvalue References);
Part 3:介紹了表達式類型(decltype)

VC10中的C++0x特性 Part 1,2,3 譯文打包下載(doc 和 pdf 格式): 點此下載


本文為 Part 2 第二頁。


move 語意:從 lvalue 移動


現在,如果你喜歡用拷貝賦值函數來實現你的拷貝構造函數該怎樣做呢,那你也可能試圖用 move 拷貝賦值函數來實現 move 構造函數。這樣作是可以的,但是你得小心。下面就是一個錯誤的實現:

 

C:\Temp>type unified_wrong.cpp

#include <stddef.h>

#include <iostream>

#include <ostream>

using namespace std;

 

class remote_integer {

public:

    remote_integer() {

        cout << "Default constructor." << endl;

 

        m_p = NULL;

    }

 

    explicit remote_integer(const int n) {

        cout << "Unary constructor." << endl;

 

        m_p = new int(n);

    }

 

    remote_integer(const remote_integer& other) {

        cout << "Copy constructor." << endl;

 

        m_p = NULL;

        *this = other;

    }

 

#ifdef MOVABLE

    remote_integer(remote_integer&& other) {

        cout << "MOVE CONSTRUCTOR." << endl;

 

        m_p = NULL;

        *this = other; // WRONG

    }

#endif // #ifdef MOVABLE

 

    remote_integer& operator=(const remote_integer& other) {

        cout << "Copy assignment operator." << endl;

 

        if (this != &other) {

            delete m_p;

 

            if (other.m_p) {

                m_p = new int(*other.m_p);

            } else {

                m_p = NULL;

            }

        }

 

        return *this;

    }

 

#ifdef MOVABLE

    remote_integer& operator=(remote_integer&& other) {

        cout << "MOVE ASSIGNMENT OPERATOR." << endl;

 

        if (this != &other) {

            delete m_p;

 

            m_p = other.m_p;

            other.m_p = NULL;

        }

 

        return *this;

    }

#endif // #ifdef MOVABLE

 

    ~remote_integer() {

        cout << "Destructor." << endl;

 

        delete m_p;

    }

 

    int get() const {

        return m_p ? *m_p : 0;

    }

 

private:

    int * m_p;

};

 

remote_integer frumple(const int n) {

    if (n == 1729) {

        return remote_integer(1729);

    }

 

    remote_integer ret(n * n);

 

    return ret;

}

 

int main() {

    remote_integer x = frumple(5);

 

    cout << x.get() << endl;

 

    remote_integer y = frumple(1729);

 

    cout << y.get() << endl;

}

 

C:\Temp>cl /EHsc /nologo /W4 /O2 unified_wrong.cpp

unified_wrong.cpp

 

C:\Temp>unified_wrong

Unary constructor.

Copy constructor.

Copy assignment operator.

Destructor.

25

Unary constructor.

1729

Destructor.

Destructor.

 

C:\Temp>cl /EHsc /nologo /W4 /O2 /DMOVABLE unified_wrong.cpp

unified_wrong.cpp

 

C:\Temp>unified_wrong

Unary constructor.

MOVE CONSTRUCTOR.

Copy assignment operator.

Destructor.

25

Unary constructor.

1729

Destructor.

Destructor.

 

(編譯器在這里進行了返回值優化(RVO),但不是具名返回值優化(NRVO)。就像我之前提到的,有些拷貝構造函數被 RVO 或 NRVO 優化掉了,但編譯器并不總是能夠做這樣的優化,這時剩余的就由 move 構造函數來優化。)

 

move 構造函數中標記為 WRONG 的那一行,調用了拷貝賦值函數,編譯能通過也能運行,但這違背了 move 構造函數的本意。(譯注:因為那個拷貝賦值函數只是進行普通的拷貝賦值,而不是 move 賦值?。?/p>

 

這是怎么回事呢?記住:在C++98/03中,具名 lvalue 引用是左值(給定語句 int& r = *p; r 是 lvalue),不具名 lvalue 引用還是左值(給定語句 vector<int> v(10, 1729), v[0] 返回 int&, 你可以對這個不具名 lvalue 引用取址)。但是 rvalue 引用就不一樣了:

 

? 具名 lvalue 引用是 lvalue。

? 不具名 rvalue 引用是 rvalue

 

一個具名 rvalue 引用是一個 lvalue 是因為可以對它施加多重操作,重復使用。相反,如果它是一個 ravlue 的話,那么對它施加的第一個操作能夠“竊取”它,而后續操作就沒機會了。這里的“竊取”是說不會被察覺到,所以這是行不通的。另一方面,不具名 rvalue 引用不能被重復使用,所以它仍保持右值(rvalueness)語意。

 

如果你真的打算用 move 賦值函數來實現 move 構造函數,你需要從 lvalue move,就像是從 rvalue move 一樣。C++0x <utility> 中的 std::move() 具備這樣的能力,VC10將會有這個(實際上,開發版中已經有了),但VC10 TCP版還沒有,所以我會教你從頭做起:

 

C:\Temp>type unified_right.cpp

#include <stddef.h>

#include <iostream>

#include <ostream>

using namespace std;

 

template <typename T> struct RemoveReference {

     typedef T type;

};

 

template <typename T> struct RemoveReference<T&> {

     typedef T type;

};

 

template <typename T> struct RemoveReference<T&&> {

     typedef T type;

};

 

template <typename T> typename RemoveReference<T>::type&& Move(T&& t) {

    return t;

}

 

class remote_integer {

public:

    remote_integer() {

        cout << "Default constructor." << endl;

 

        m_p = NULL;

    }

 

    explicit remote_integer(const int n) {

        cout << "Unary constructor." << endl;

 

        m_p = new int(n);

    }

 

    remote_integer(const remote_integer& other) {

        cout << "Copy constructor." << endl;

 

        m_p = NULL;

        *this = other;

    }

 

#ifdef MOVABLE

    remote_integer(remote_integer&& other) {

        cout << "MOVE CONSTRUCTOR." << endl;

 

        m_p = NULL;

        *this = Move(other); // RIGHT

    }

#endif // #ifdef MOVABLE

 

    remote_integer& operator=(const remote_integer& other) {

        cout << "Copy assignment operator." << endl;

 

        if (this != &other) {

            delete m_p;

 

            if (other.m_p) {

                m_p = new int(*other.m_p);

            } else {

                m_p = NULL;

            }

        }

 

        return *this;

    }

 

#ifdef MOVABLE

    remote_integer& operator=(remote_integer&& other) {

        cout << "MOVE ASSIGNMENT OPERATOR." << endl;

 

        if (this != &other) {

            delete m_p;

 

            m_p = other.m_p;

            other.m_p = NULL;

        }

 

        return *this;

    }

#endif // #ifdef MOVABLE

 

    ~remote_integer() {

        cout << "Destructor." << endl;

 

        delete m_p;

    }

 

    int get() const {

        return m_p ? *m_p : 0;

    }

 

private:

    int * m_p;

};

 

remote_integer frumple(const int n) {

    if (n == 1729) {

        return remote_integer(1729);

    }

 

    remote_integer ret(n * n);

 

    return ret;

}

 

int main() {

    remote_integer x = frumple(5);

 

    cout << x.get() << endl;

 

    remote_integer y = frumple(1729);

 

    cout << y.get() << endl;

}

 

C:\Temp>cl /EHsc /nologo /W4 /O2 /DMOVABLE unified_right.cpp

unified_right.cpp

 

C:\Temp>unified_right

Unary constructor.

MOVE CONSTRUCTOR.

MOVE ASSIGNMENT OPERATOR.

Destructor.

25

Unary constructor.

1729

Destructor.

Destructor.

 

(我將交替使用 std::move() 和我自己的 Move(),因為它們的實現是等價的) std::move() 是怎樣工作的呢?目前,我只能跟你說這是“魔法”。(后面會有完整的解釋,并不復雜,但它與模板參數推導和引用折疊(reference collapsing,譯注:引用的引用)有 關,后面講完美轉發的時候我們還會遇到這兩個東西)。我可以用一個具體的例子來略過“魔法”:給定一個 string 類型的左值,像前面重載決議例子中的 up ,std::move(up) 調用 string&& std::move(string&),這個函數返回一個不具名的 rvalue 引用,它是一個 rvalue。給定一個 string 類型的 rvalue,像前面重載決議例子中的 strange(), std::move(strange()) 調用 string&& std::move(string&&),同樣這個函數還是返回一個不具名的 rvalue,還是 rvalue。

 

std::move() 除了讓你能用 move 復制函數來實現 move 構造函數之外,還能在其他地方發揮作用。無論何時,只要你有一個左值,而它的值也不再重要了(例如,它將被銷毀或被賦值),你就可以使用 std::move(你的左值表達式) 來使用 move 語意。

 

move 語意:可移動成員(movable member)


C++0x 的標準類型(像 vector, string, regex) 都有 move 構造函數和 move 賦值函數。而且我們也已經看到了如何在我們自己的類中通過手動管理資源來實現 move 語意(像前面的 remote_integer 類)。如果類中包含可移動數據成員(像 vector, string, regex, remote_integer )時該怎么辦呢?編譯器不會自動幫我們自動產生 move 構造函數和 move 賦值函數,所以我們必須手動編寫它們。很幸運,有了 std::move() 編寫它們是很容易的。

 

C:\Temp>type point.cpp

#include <stddef.h>

#include <iostream>

#include <ostream>

using namespace std;

 

template <typename T> struct RemoveReference {

     typedef T type;

};

 

template <typename T> struct RemoveReference<T&> {

     typedef T type;

};

 

template <typename T> struct RemoveReference<T&&> {

     typedef T type;

};

 

template <typename T> typename RemoveReference<T>::type&& Move(T&& t) {

    return t;

}

 

class remote_integer {

public:

    remote_integer() {

        cout << "Default constructor." << endl;

 

        m_p = NULL;

    }

 

    explicit remote_integer(const int n) {

        cout << "Unary constructor." << endl;

 

        m_p = new int(n);

    }

 

    remote_integer(const remote_integer& other) {

        cout << "Copy constructor." << endl;

 

        if (other.m_p) {

            m_p = new int(*other.m_p);

        } else {

            m_p = NULL;

        }

    }

 

    remote_integer(remote_integer&& other) {

        cout << "MOVE CONSTRUCTOR." << endl;

 

        m_p = other.m_p;

        other.m_p = NULL;

    }

 

    remote_integer& operator=(const remote_integer& other) {

        cout << "Copy assignment operator." << endl;

 

        if (this != &other) {

            delete m_p;

 

            if (other.m_p) {

                m_p = new int(*other.m_p);

            } else {

                m_p = NULL;

            }

        }

 

        return *this;

    }

 

    remote_integer& operator=(remote_integer&& other) {

        cout << "MOVE ASSIGNMENT OPERATOR." << endl;

 

        if (this != &other) {

            delete m_p;

 

            m_p = other.m_p;

            other.m_p = NULL;

        }

 

        return *this;

    }

 

    ~remote_integer() {

        cout << "Destructor." << endl;

 

        delete m_p;

    }

 

    int get() const {

        return m_p ? *m_p : 0;

    }

 

private:

    int * m_p;

};

 

class remote_point {

public:

    remote_point(const int x_arg, const int y_arg)

        : m_x(x_arg), m_y(y_arg) { }

 

    remote_point(remote_point&& other)

        : m_x(Move(other.m_x)),

          m_y(Move(other.m_y)) { }

 

    remote_point& operator=(remote_point&& other) {

        m_x = Move(other.m_x);

        m_y = Move(other.m_y);

        return *this;

    }

 

    int x() const { return m_x.get(); }

    int y() const { return m_y.get(); }

 

private:

    remote_integer m_x;

    remote_integer m_y;

};

 

remote_point five_by_five() {

    return remote_point(5, 5);

}

 

remote_point taxicab(const int n) {

    if (n == 0) {

        return remote_point(1, 1728);

    }

 

    remote_point ret(729, 1000);

 

    return ret;

}

 

int main() {

    remote_point p = taxicab(43112609);

 

    cout << "(" << p.x() << ", " << p.y() << ")" << endl;

 

    p = five_by_five();

 

    cout << "(" << p.x() << ", " << p.y() << ")" << endl;

}

 

C:\Temp>cl /EHsc /nologo /W4 /O2 point.cpp

point.cpp

 

C:\Temp>point

Unary constructor.

Unary constructor.

MOVE CONSTRUCTOR.

MOVE CONSTRUCTOR.

Destructor.

Destructor.

(729, 1000)

Unary constructor.

Unary constructor.

MOVE ASSIGNMENT OPERATOR.

MOVE ASSIGNMENT OPERATOR.

Destructor.

Destructor.

(5, 5)

Destructor.

Destructor.

 

現在你看到啦,按成員移動(memberwise move)是很容易做到的。注意, remote_point 的 move 賦值函數沒有進行自我賦值檢查,是因為 remote_integer 已經檢查過了。也要注意到 remote_point 隱式聲明的拷貝構造函數,拷貝賦值函數和析構函數都正常運作。

 

到現在,你應該對 move 語意已經非常熟悉了。(希望不是抓狂?。。榱藴y試你新獲得的這個不可思議的技能,請為前面的例子寫一個 +() 操作符函數當作練習吧。

 

最后的提醒:只要你的類支持 move 語意,你就應該實現 move 構造函數和 move 賦值函數。因為不僅僅是你平常使用這些類時可從 move 語意中獲利, STL 容器和算法也能從中獲利,通過廉價的 move 省下昂貴的拷貝開銷。


(轉載請注明出處,作者與譯者信息,請勿用于商業用途) 


 < 前一頁  后一頁 >


posted on 2009-06-04 09:37 羅朝輝 閱讀(2278) 評論(3)  編輯 收藏 引用 所屬分類: C/C++

評論

# re: VC10中的C++0x特性 part 2(2):右值引用[未登錄] 2009-06-04 11:27 Terry
翻譯得非常好!頂!  回復  更多評論
  

# re: VC10中的C++0x特性 part 2(2):右值引用 2009-06-05 08:20 hlysh
沒用,現在哪里開發用c++0x了?  回復  更多評論
  

# re: 【譯】VC10中的C++0x特性 part 2(2):右值引用 2009-07-23 11:28 gaojl0728
great work!  回復  更多評論
  

青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品
  • <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            欧美涩涩视频| 欧美成年视频| 国产精品主播| 欧美一区二区三区成人| 欧美一区二区视频网站| 狠狠色狠色综合曰曰| 欧美顶级艳妇交换群宴| 欧美激情国产高清| 亚洲在线播放| 久久久999精品| 日韩视频第一页| 亚洲天堂av图片| 国模 一区 二区 三区| 亚洲第一福利视频| 欧美三级免费| 久久伊人亚洲| 欧美日韩国产专区| 久久综合色播五月| 欧美日韩亚洲91| 久久久噜久噜久久综合| 欧美成人影音| 香蕉成人久久| 欧美承认网站| 欧美一级久久久久久久大片| 快she精品国产999| 欧美一区二区三区视频| 免费在线一区二区| 久久福利毛片| 欧美日韩一区视频| 欧美高清一区| 国产一区二区三区网站| 亚洲欧洲日本mm| 国产一区二区精品久久91| 亚洲片区在线| 亚洲大片av| 亚洲女性裸体视频| 亚洲桃花岛网站| 猫咪成人在线观看| 久久精品官网| 国产精品久久久久久久久免费桃花| 免费看成人av| 国产一区二区三区高清| 一区二区三区波多野结衣在线观看| 亚洲大胆女人| 久久久九九九九| 久久久人成影片一区二区三区| 欧美日韩午夜在线视频| 亚洲黄色片网站| 亚洲福利精品| 久久久久国色av免费看影院| 性欧美video另类hd性玩具| 欧美日韩大片| 亚洲日本国产| 亚洲精品视频啊美女在线直播| 久久精品日韩欧美| 久久综合色播五月| 精久久久久久| 久久免费视频观看| 美日韩精品免费| 91久久精品久久国产性色也91| 国产自产女人91一区在线观看| 亚洲资源在线观看| 性欧美超级视频| 国产精品夜夜夜| 亚洲综合第一页| 久久久精品一品道一区| 国产一区二区激情| 久久精品一级爱片| 欧美大片在线观看| 亚洲精选国产| 欧美四级在线观看| 亚洲一区二区四区| 久久久久欧美精品| 激情一区二区| 欧美激情免费在线| 一二三四社区欧美黄| 亚洲欧美日韩在线观看a三区| 国产精品综合| 久久久.com| 亚洲日本va午夜在线电影 | 久久久欧美精品| 欧美韩日亚洲| 中日韩美女免费视频网址在线观看| 欧美日韩精品国产| 午夜精品影院| 欧美激情1区2区| 一区二区三区精密机械公司| 国产精品午夜电影| 久久久午夜电影| 99热免费精品| 久久五月婷婷丁香社区| 亚洲精选一区二区| 国产九色精品成人porny| 久久免费黄色| 亚洲性图久久| 欧美国产三区| 性一交一乱一区二区洋洋av| 影院欧美亚洲| 国产精品第一区| 久久夜色精品亚洲噜噜国产mv| 亚洲精选中文字幕| 麻豆成人小视频| 亚洲一区中文| 亚洲精品乱码久久久久久蜜桃91| 国产精品久久久久久久久婷婷| 久久频这里精品99香蕉| 亚洲调教视频在线观看| 亚洲电影免费观看高清| 欧美在线播放视频| 在线亚洲激情| 91久久久久久国产精品| 国产欧美日韩一级| 欧美日韩一区二区三区在线 | 伊人久久噜噜噜躁狠狠躁| 欧美日韩国产影院| 蜜臀av国产精品久久久久| 亚洲欧美影音先锋| 亚洲人成网站777色婷婷| 久久综合色播五月| 欧美资源在线| 亚洲一区日本| 亚洲最新色图| 亚洲精品美女久久7777777| 国产亚洲一区二区三区| 国产精品久久久久免费a∨| 欧美国产日韩精品| 免费一区视频| 久久综合狠狠综合久久激情| 欧美一区不卡| 午夜综合激情| 亚洲你懂的在线视频| 国产一区二区日韩| 国产精品久久久久久久久久久久久| 欧美大尺度在线观看| 美女久久网站| 米奇777在线欧美播放| 久久久视频精品| 久久久精品视频成人| 久久久最新网址| 久久久久免费观看| 久久久亚洲国产天美传媒修理工| 欧美中文字幕视频在线观看| 欧美在线高清| 久久亚洲精品一区| 免费的成人av| 欧美福利视频| 欧美日韩系列| 国产精品久久久久久久久久免费 | 在线一区二区三区四区| 在线视频欧美精品| 亚洲欧美日韩专区| 欧美在线亚洲一区| 噜噜噜在线观看免费视频日韩| 美女网站在线免费欧美精品| 欧美激情成人在线| 亚洲靠逼com| 亚洲欧美成aⅴ人在线观看| 欧美一区二区三区视频| 久久精品国产久精国产爱| 久久先锋影音av| 欧美日韩不卡视频| 国产精品免费网站| 激情综合色综合久久综合| 亚洲人成艺术| 亚洲图片欧美午夜| 久久久久国产精品午夜一区| 欧美激情精品久久久| 中日韩午夜理伦电影免费| 久久国产66| 欧美精品国产一区| 国产亚洲第一区| 亚洲精品1区2区| 翔田千里一区二区| 亚洲第一二三四五区| 亚洲一区二区三区精品在线| 久久九九免费视频| 欧美日韩一区二区免费视频| 国产亚洲激情在线| 亚洲毛片一区| 久久久免费av| 一区二区三区国产盗摄| 久久综合久色欧美综合狠狠| 欧美午夜一区二区| 亚洲黄色免费| 久久精品论坛| 一道本一区二区| 免费日本视频一区| 国产一区观看| 亚洲在线成人精品| 欧美国产日本| 亚洲欧美在线视频观看| 欧美精品在线极品| 伊大人香蕉综合8在线视| 亚洲男女自偷自拍图片另类| 欧美黄色成人网| 久久久久久9999| 国产婷婷色综合av蜜臀av| 亚洲一级在线| 亚洲精品久久久久久一区二区| 久久影院午夜论|