C++11新特性- 更快的swap，右值引用和數(shù)據(jù)移動(dòng)的應(yīng)用場(chǎng)景

已經(jīng)連續(xù)兩篇文章說(shuō)明右值引用和數(shù)據(jù)移動(dòng)的概念，今天說(shuō)明它們的應(yīng)用場(chǎng)景。

我們以std::swap為例進(jìn)行說(shuō)明。

假設(shè)有下面的數(shù)據(jù)類：

struct?TestData{
????TestData(int?_size)
????????:size(_size)
????{
????????data=?new?int[size];
????}
????~TestData(){
????????if(data?!=?nullptr){
????????????delete?data;
????????}
????}
????TestData(const?TestData&?d)
????{
????????size?=?d.size;
????????if(data?!=?nullptr){
????????????delete?data;
????????}
????????data?=?new?int[size];
????????memcpy(data,?d.data,?size?*?sizeof(int));
????}
????TestData&?operator=(const?TestData&?d)
????{
????????size?=?d.size;
????????if(data?!=?nullptr){
????????????delete?data;
????????}
????????data?=?new?int[size];
????????memcpy(data,?d.data,?size?*?sizeof(int));
????????return?*this;
????}
????
????int?size?=?0;
????int*?data?=?nullptr;
};

這時(shí)一個(gè)簡(jiǎn)單的數(shù)據(jù)類，定義了一個(gè)拷貝構(gòu)造函數(shù)和一個(gè)賦值運(yùn)算符。它們都實(shí)現(xiàn)了深拷貝。

C++11之前的swap

先看swap的實(shí)現(xiàn)：

template<classT>voidswap?(?T&?a,?T&?b?)
{
??T?c(a);?a=b;?b=c;
}

下面結(jié)合示例下面的代碼看看發(fā)生了什么。

當(dāng)swap調(diào)用了T C(a)的時(shí)候，實(shí)際上是調(diào)用了拷貝構(gòu)造函數(shù)，當(dāng)swap代碼調(diào)用了賦值操作時(shí)，實(shí)際上是調(diào)用了賦值運(yùn)算符。

由于拷貝構(gòu)造函數(shù)和賦值運(yùn)算符包含內(nèi)存拷貝操作，而這樣的操作共執(zhí)行了三次，所以在一個(gè)swap中一共存在三次內(nèi)存拷貝的操作。這種不必要的內(nèi)存操作很多情況下都會(huì)影響C++的執(zhí)行效率。

C++11之后的swap

引入了右值引用和數(shù)據(jù)移動(dòng)的概念之后，代碼變成下面的樣子：

template<classT>voidswap?(T&?a,?T&?b)
{
??T?c(std::move(a));?a=std::move(b);?b=std::move(c);
}

由于std::move將變量類型轉(zhuǎn)換為右值引用，TestData有機(jī)會(huì)提供下面針對(duì)右值引用的構(gòu)造函數(shù)和賦值運(yùn)算符。

TestData(TestData&&?d)
????:size(d.size)
????,data(d.data)
{
????d.size?=?0;
????d.data?=?nullptr;
}
TestData&?operator=(const?TestData&&?d)
{
????size?=?d.size;
????data?=?d.data;
????return?*this;
}

由于代碼中使用內(nèi)存移管代替了不必要的內(nèi)存拷貝，因此效率會(huì)大大提高。

作者觀點(diǎn)

如果觀察C++11的標(biāo)準(zhǔn)庫(kù)，會(huì)發(fā)現(xiàn)很多類都增加了右值引用的參數(shù)，這實(shí)際上就是對(duì)數(shù)據(jù)移動(dòng)的支持，也就是對(duì)高效率的支持。