快捷導(dǎo)航

C++之std::move移動(dòng)語(yǔ)義的具體實(shí)現(xiàn)

更新時(shí)間：2026年07月01日 08:53:04 作者：流星雨愛(ài)編程

本文圍繞C++11標(biāo)準(zhǔn)庫(kù)中的std::move函數(shù)展開(kāi),介紹了其功能是將左值引用強(qiáng)制轉(zhuǎn)化為右值引用以用于移動(dòng)語(yǔ)義,進(jìn)行了源碼分析,闡述了引用折疊規(guī)則,還說(shuō)明了其優(yōu)點(diǎn)是結(jié)合移動(dòng)構(gòu)造函數(shù)實(shí)現(xiàn)所有權(quán)轉(zhuǎn)移,提高代碼運(yùn)行效率

1.介紹

在C++11中，標(biāo)準(zhǔn)庫(kù)在中提供了一個(gè)有用的函數(shù)std::move，std::move并不能移動(dòng)任何東西，它唯一的功能是將一個(gè)左值引用強(qiáng)制轉(zhuǎn)化為右值引用，繼而可以通過(guò)右值引用使用該值，以用于移動(dòng)語(yǔ)義。

2.源碼分析

以VS2019為例，std::move原型定義：

template <class _Ty>
_NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) noexcept { // forward _Arg as movable
    return static_cast<remove_reference_t<_Ty>&&>(_Arg);
}

remove_reference_t的定義如下：

template <class _Ty>
using remove_reference_t = typename remove_reference<_Ty>::type;

進(jìn)一步推導(dǎo)remove_reference的定義如下：

template <class _Ty>
struct remove_reference {     //原始的，最普通的版本
    using type                 = _Ty;
    using _Const_thru_ref_type = const _Ty;
};

template <class _Ty>
struct remove_reference<_Ty&> {   //左值引用
    using type                 = _Ty;
    using _Const_thru_ref_type = const _Ty&;
};

template <class _Ty>
struct remove_reference<_Ty&&> {  //右值引用
    using type                 = _Ty;
    using _Const_thru_ref_type = const _Ty&&;
};

首先，函數(shù)參數(shù)T&&是一個(gè)指向模板類(lèi)型參數(shù)的右值引用，通過(guò)引用折疊，此參數(shù)可以與任何類(lèi)型的實(shí)參匹配（可以傳遞左值或右值，這是std::move主要使用的兩種場(chǎng)景)。關(guān)于引用折疊如下：

1)所有右值引用折疊到右值引用上仍然是一個(gè)右值引用。（A&& && 變成 A&&）。
2)所有的其他引用類(lèi)型之間的折疊都將變成左值引用。（A& & 變成 A&; A& && 變成 A&; A&& & 變成 A&）。

簡(jiǎn)單來(lái)說(shuō)，右值經(jīng)過(guò)T&&傳遞類(lèi)型保持不變還是右值，而左值經(jīng)過(guò)T&&變?yōu)槠胀ǖ淖笾狄谩?/p>

3.優(yōu)點(diǎn)

std::move將左值變?yōu)橛抑?，再結(jié)合類(lèi)的移動(dòng)構(gòu)造函數(shù)，實(shí)現(xiàn)所有權(quán)從一個(gè)對(duì)象轉(zhuǎn)移到另一個(gè)對(duì)象，只是轉(zhuǎn)移，沒(méi)有內(nèi)存的搬遷或者內(nèi)存拷貝，從而極大地提高代碼運(yùn)行效率。

4.示例

    std::string old("12212412512");

	std::string new1 = std::move(old); //old變?yōu)?"

	std::unique_ptr<int>  pValue1(new int{ 5 });
	std::unique_ptr<int>  pValue2 = std::move(pValue1); //pValue1清空

	std::vector<int> pInts = { 0, 1, 2, 3, 4, 5, 67, 1000 };

	std::vector<int> pInt1 = pInts; //pInt1拷貝pInts，和pInts一樣

	std::vector<int> pInt2 = std::move(pInts); //pInts清空

到此這篇關(guān)于C++之std::move移動(dòng)語(yǔ)義的具體實(shí)現(xiàn)的文章就介紹到這了,更多相關(guān)C++ std::move移動(dòng)語(yǔ)義內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: