int getInt() {
int a = 3;
return a;
}
int& getIntR() {
int a = 3;
return a;
}
int getRL() {
return 1;
}
int&& getRRL() {
return getRL();
}
int main() {
// 正確,以返回的臨時變量初始化a
int a = getInt();
// 正確,以返回的值初始化a
int b = getIntR();
// 錯誤,不能引用返回的臨時變量
//int& c = getInt();
// 可以運行,但是會造成值的修改
int& d = getIntR();
// 正確,右值引用一個匿名變量
int&& e = getInt();
// 錯誤,函數返回的是【左值】
//int&& f = getIntR();
// ?
int& g = getRRL();
cout << g << endl;
}
由於感覺這方面概念不清,然後寫了一些測試代碼,但是對最後一個產生了疑問
我構造了一個函數,返回類型是int&&,但是int&&類型只能綁定非const右值,所以我又構造了一個函數返回一個臨時int。
我理解為,在返回函數的時候int&& temp = getRL(),又由於temp是一個引用,返回為一個左值,所以可以
int& g = getRRL();
雖然以上會修改裡面的內容,但是我覺得還是可以運行的,但是編譯器卻報錯,非常量引用的初始值必須為左值。
難道以int&&返回的類型不是左值嗎?_
int& g = getRRL();
getRRL() 的結果是一個 xvalue (rvalue 的一部分),不能用於初始化 lvalue reference
10 A function call is an lvalue if the result type is an lvalue reference type or an rvalue reference to function
type, an xvalue if the result type is an rvalue reference to object type, and a prvalue otherwise.