網(wǎng)站首頁 編程語言 正文
一、左值與右值
顧名思義,左值就是只能放在等號左邊的值,右值是只能放在等號右邊的值。
在C++Prime一書中,對左值和右值的劃分為,左值是一個表示數(shù)據(jù)的表達式,右值是一個即將銷毀的值(通常稱為將亡值)。比如我們定義的一個變量就是一個左值,而字面常量,表達式返回值,傳值返回函數(shù)的返回值就是右值。
10;//右值
int a = 10;//a是左值
add(2, 3);//右值
x+y;//右值
const int a;//左值
注意,const類型的變量是不能放在等號左側(cè)來為它賦值的,但是他是一個左值。
這里給出一個區(qū)分兩者的方式:可以取地址的就是左值,不能取地址的就是右值!
二、左值引用與右值引用
我們之前所寫的引用都是左值引用符號是&,左值引用的底層是使用指針,它的作用是為對象取一個別名。
而右值引用就是給右值取別名,它的符號是&&,右值引用開辟了空間,得到的一個對象是左值。
int a = 10;
int& d = a;//左值引用
int&& e = 10;//右值引用
int&& f = a + 1;
int&& c = add(2, 3);
左值引用不能給右值取別名,右值引用也不能給左值取別名。但是如果對左值進行move(),對左值引用加上const是可以這樣進行的。
move的意思就是保證除了賦值和銷毀之外,不再使用該左值,即將a的屬性轉(zhuǎn)移到了e中,對左值move后是一共右值。
int&& c = a;//右值引用不能給左值取別名
int& d = add(3, 4);//左值引用不能給右值取別名
int&& e = move(a);//當(dāng)對左值加move的時候可以
const int& f = add(3, 4);//當(dāng)對引用加const后可以取別名
同時右值引用不像左值引用一樣具有傳遞性:
int&& a = 10;
a=20;
cout<<&a<<endl;
//int&& b = a;//錯誤
這是因為a是一個左值,我們可以打印a的地址,右值經(jīng)過引用后得到的對象是一個左值。因此我們是可以對a進行賦值的。
三、右值引用應(yīng)用
1.移動構(gòu)造與移動賦值
移動構(gòu)造與移動賦值在C++11中已經(jīng)加入了STL容器的函數(shù)中:
string(string&& str) //移動構(gòu)造
string& operator=(string&& str)//移動賦值
移動構(gòu)造與移動賦值都是向函數(shù)中傳入右值引用,它們的本質(zhì)與右值基本相同,就是將一個將亡值的數(shù)據(jù)轉(zhuǎn)移給另一個值。
我們可以在函數(shù)string中模擬實現(xiàn)一下移動構(gòu)造和移動賦值,它們的本質(zhì)就是調(diào)用swap函數(shù)完成賦值,而不是使用strcpy創(chuàng)建一個新對象。
1.模擬實現(xiàn)的string
為了方便觀察,我們使用自己模擬實現(xiàn)的string來進行說明:
namespace my_string
{
class string
{
public:
typedef char* iterator;
iterator begin()
{
return _str;
}
iterator end()
{
return _str + _size;
}
//構(gòu)造函數(shù)
string(const char* str = "")
:_size(strlen(str))
, _capacity(_size)
{
cout << "string(char* str)" << endl;
_str = new char[_capacity + 1];
strcpy(_str, str);
}
// s1.swap(s2)
void swap(string& s)
{
::swap(_str, s._str);
::swap(_size, s._size);
::swap(_capacity, s._capacity);
}
// 拷貝構(gòu)造
string(const string& s)
:_str(nullptr)
, _size(0)
, _capacity(0)
{
cout << "string(const string& s) -- 深拷貝" << endl;
string tmp(s._str);
swap(tmp);
}
// 移動構(gòu)造
string(string&& s)
:_str(nullptr)
, _size(0)
, _capacity(0)
{
cout << "string(string&& s) -- 資源轉(zhuǎn)移" << endl;
this->swap(s);
}
// 移動賦值
string& operator=(string&& s)
{
cout << "string& operator=(string&& s) -- 轉(zhuǎn)移資源" << endl;
swap(s);
return *this;
}
//賦值
string& operator=(const string& s)
{
cout << "string& operator=(string s) -- 深拷貝" << endl;
string tmp(s);
swap(tmp);
return *this;
}
~string()
{
delete[] _str;
_str = nullptr;
}
//下標(biāo)訪問
char& operator[](size_t pos)
{
assert(pos < _size);
return _str[pos];
}
//調(diào)換順序
void reserve(size_t n)
{
if (n > _capacity)
{
char* tmp = new char[n + 1];
strcpy(tmp, _str);
delete[] _str;
_str = tmp;
_capacity = n;
}
}
//插入
void push_back(char ch)
{
if (_size >= _capacity)
{
size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;
reserve(newcapacity);
}
_str[_size] = ch;
++_size;
_str[_size] = '\0';
}
//string operator+=(char ch)
string& operator+=(char ch)
{
push_back(ch);
return *this;
}
string operator+(char ch)
{
string tmp(*this);
push_back(ch);
return tmp;
}
const char* c_str() const
{
return _str;
}
private:
char* _str;
size_t _size;
size_t _capacity; // 不包含最后做標(biāo)識的\0
};
my_string::string to_string(int value)
{
my_string::string str;
while (value)
{
int val = value % 10;
str += ('0' + val);
value /= 10;
}
reverse(str.begin(), str.end());
return str;
}
}
2.移動構(gòu)造
當(dāng)我們調(diào)用to_string的時候:
my_string::string ret = my_string::to_string(1234);
當(dāng)我們不添加移動構(gòu)造的時候,可以發(fā)現(xiàn)最終進行的是一次深拷貝和一次淺拷貝:
這里發(fā)現(xiàn)只調(diào)用了一次拷貝構(gòu)造,這是因為編譯器做了優(yōu)化,如果不優(yōu)化的話,str拷貝構(gòu)造臨時對象,然后臨時對象作為to_string的返回值再拷貝構(gòu)造給ret。其實是發(fā)生了兩次拷貝構(gòu)造。
但是編譯器做了優(yōu)化之后,在to_string函數(shù)快結(jié)束時,返回前直接用str構(gòu)造ret。
當(dāng)我們加入拷貝構(gòu)造之后,會發(fā)現(xiàn)只發(fā)生了一次移動構(gòu)造就可以了:
其實在這一過程中編譯器也做了優(yōu)化,str先拷貝構(gòu)造形成一個臨時對象,再由臨時對象進行移動構(gòu)造賦值給ret。
編譯器做了優(yōu)化之后,將str直接當(dāng)成左值(相當(dāng)于move了一下),然后進行移動構(gòu)造生成ret。
通過觀察打印結(jié)果可以發(fā)現(xiàn),顯然移動構(gòu)造沒有再開辟空間,而是直接將數(shù)據(jù)進行轉(zhuǎn)移,節(jié)省了空間,由臨時變量進行拷貝構(gòu)造給ret還會創(chuàng)建一個新的對象,消耗空間。
3.移動賦值
my_string::string ret;
ret = my_string::to_string(1234);//調(diào)用移動賦值
當(dāng)不使用移動賦值的時候,以上代碼是兩段深拷貝實現(xiàn)的:
首先str會調(diào)用移動構(gòu)造,生成臨時對象,然后臨時對象再調(diào)用賦值拷貝構(gòu)造(深拷貝),定義ret。
當(dāng)引入移動賦值之后,這個過程就變成了str調(diào)用移動構(gòu)造生成臨時對象,臨時對象再通過移動運算符重載生成ret,整個過程中沒有一次深拷貝。
C++11中,所有STL容器中,都會提供一個右值引用的版本。
四、默認(rèn)移動構(gòu)造和移動賦值重載函數(shù)
與六大成員函數(shù)一樣,編譯器在一定的條件下,也會生成自己的默認(rèn)移動構(gòu)造函數(shù),只不過生成的條件更加復(fù)雜:
1.如果你自己沒有實現(xiàn)移動構(gòu)造函數(shù),并且沒有實現(xiàn)析構(gòu)函數(shù),拷貝構(gòu)造,拷貝賦值構(gòu)造中的任意一個。那么編譯器會自動生成一個默認(rèn)構(gòu)造函數(shù)。默認(rèn)生成的移動構(gòu)造函數(shù),對內(nèi)置類型進行直接拷貝,對于自定義類型,如果有對應(yīng)的移動構(gòu)造函數(shù)就調(diào)用其對應(yīng)的移動構(gòu)造函數(shù),如果沒有那么調(diào)用拷貝構(gòu)造。
2.如果你沒自己實現(xiàn)移動賦值重載函數(shù),且沒有實現(xiàn)析構(gòu)函數(shù),拷貝構(gòu)造,拷貝賦值重載中的任何一個,編譯器會自動生成一個移動賦值重載函數(shù)。默認(rèn)生成的移動賦值重載函數(shù),對內(nèi)置類型直接進行賦值,對于自定義類型,如果有對應(yīng)的移動賦值重載函數(shù)就調(diào)用其對應(yīng)的移動賦值重載函數(shù),如果沒有則調(diào)用拷貝賦值。
3.如果你提供了移動賦值構(gòu)造或者移動賦值重載函數(shù),那么編譯器就不會自動生成。
五、完美轉(zhuǎn)發(fā)
1.萬能引用
在模板中,&&表示的不是右值引用,而是萬能引用,即既可以接收左值,又可以接收右值。
void PerfectForward(T&& t)
{
Fun(forward<T>(t));
}
此時傳入的t既可以是左值,也可以是右值。
2.完美轉(zhuǎn)發(fā)
運行以下程序,發(fā)現(xiàn)最終識別的都是左值引用。
void Func(int&& x)
{
cout << "rvalue" << endl;
}
void Func(int& x)
{
cout << "lvalue" << endl;
}
template<class T>
void PerfectForward(T&& t)
{
Func(t);
}
int main()
{
PerfectForward(10);//左值
int a;
PerfectForward(a);//左值
PerfectForward(move(a));//左值
}
這是因為右值引用一旦引用了,就變成了左值,如果我們還希望保持該右值引用的特性的話,需要使用forward函數(shù)來對其進行封裝:
Func(forward<T>(t));
forward(t)來進行封裝的意義在于,保持t原來的屬性,如果它原來是左值那么封裝之后還是左值,如果它是右值的引用,則將其還原成右值。該函數(shù)的作用稱為完美轉(zhuǎn)發(fā),由于這一性質(zhì),STL容器的插入也可以使用右值引用來實現(xiàn)。
即支持:
vector<int> v;v.push_back(111);
在該右值引用版本的插入中,調(diào)用的就是forward(val)。
原文鏈接:https://blog.csdn.net/qq_51492202/article/details/126956110
相關(guān)推薦
- 2023-02-04 詳解如何在C#中接受或拒絕Excel中的修訂_C#教程
- 2022-12-01 Golang打印復(fù)雜結(jié)構(gòu)體兩種方法詳解_Golang
- 2022-12-19 Python?完美解決?Import?“模塊“?could?not?be?resolved?...的
- 2022-06-01 python機器學(xué)習(xí)sklearn實現(xiàn)識別數(shù)字_python
- 2022-11-04 LyScript實現(xiàn)Hook改寫MessageBox的方法詳解_python
- 2023-11-12 Check failed: top_shape[j] == bottom[i]->shape(j)
- 2022-05-15 Python?matplotlib?seaborn繪圖教程詳解_python
- 2021-12-15 由于redis服務(wù)器cpu100%的問題導(dǎo)致網(wǎng)站宕機訪問大量出現(xiàn)504gateway time-ou
- 最近更新
-
- window11 系統(tǒng)安裝 yarn
- 超詳細(xì)win安裝深度學(xué)習(xí)環(huán)境2025年最新版(
- Linux 中運行的top命令 怎么退出?
- MySQL 中decimal 的用法? 存儲小
- get 、set 、toString 方法的使
- @Resource和 @Autowired注解
- Java基礎(chǔ)操作-- 運算符,流程控制 Flo
- 1. Int 和Integer 的區(qū)別,Jav
- spring @retryable不生效的一種
- Spring Security之認(rèn)證信息的處理
- Spring Security之認(rèn)證過濾器
- Spring Security概述快速入門
- Spring Security之配置體系
- 【SpringBoot】SpringCache
- Spring Security之基于方法配置權(quán)
- redisson分布式鎖中waittime的設(shè)
- maven:解決release錯誤:Artif
- restTemplate使用總結(jié)
- Spring Security之安全異常處理
- MybatisPlus優(yōu)雅實現(xiàn)加密?
- Spring ioc容器與Bean的生命周期。
- 【探索SpringCloud】服務(wù)發(fā)現(xiàn)-Nac
- Spring Security之基于HttpR
- Redis 底層數(shù)據(jù)結(jié)構(gòu)-簡單動態(tài)字符串(SD
- arthas操作spring被代理目標(biāo)對象命令
- Spring中的單例模式應(yīng)用詳解
- 聊聊消息隊列,發(fā)送消息的4種方式
- bootspring第三方資源配置管理
- GIT同步修改后的遠(yuǎn)程分支