r值引用和l值引用有什麼區別？ （CodeGen）

Question

從較低級別的角度來看，r值引用是什麼樣的。我似乎無法把頭圍住它！我可以看到來自r值參考與l值參考的生成代碼（等效C或x86/x64）的示例嗎？

例如，這個構造看起來像什麼？現在讓我們假設沒有複製elision。

vector<SomethingHUUGE> myFunc(); 
void foo(vector<SomethingHUUGE>&&); 

int main() { foo(myFunc()); return 0; } 

Answer 1

代碼生成的目的沒有區別。兩者之間唯一的語義區別是，你知道RValue引用即將被銷燬，而左值引用不會。

Answer 2

一個右值，表達式中沒有名稱。

大多數情況下，它是一個臨時對象。 如果你沒有任何方式在表達式後使用它，那麼它是一個r值。

Answer 3

它可能有助於將這兩種引用視爲高級概念。它們都沒有明顯的低級實施。他們可以都由指針表示，但通常它們只是高級別名，因此它們根本沒有低級別表示。不會生成額外的代碼，引用僅由其引用的對象替換。

在代碼生成之前無法完全消除引用的情況下，rvalue和lvalue引用通常都以指針的形式表示爲內存地址。