理解C 中引用的底層實現

1、c++ primer提到：引用並非物件，相反的，它只是為乙個已經存在的物件所起的另外乙個名字。

引用的定義必須伴隨初始化，而且一旦定義了引用，就無法令其再繫結到另外的物件，之後每次使用這個引用都是訪問它最初繫結的那個物件。

2、何為物件？

對於物件導向來說，物件就是類的例項，是抽象化的資料本身。

更廣義的來說，乙個int型變數可以是物件，乙個指標也可以是物件，但乙個引用卻又不是物件。可以理解：在語言層面上，占用記憶體的變數都可以稱之為物件。

3、引用佔記憶體嗎？

在語言層面上：不佔記憶體！

不信看下面的簡單程式：

void function()

輸出：

0x7ffcb64d705c
0x7ffcb64d705c

再來看一段**：

int

function() 

pushq %rbp

movq %rsp, %rbp
//拷貝棧指標
首先在棧的%rbp-20的地方分配了乙個4位元組的空間儲存變數x=0； 
leaq -20(%rbp), %rax 
movq %rax, -8(%rbp) 
把x的位址儲存到%rbp-8的棧空間處，int* ptr = &x; 
leaq -20(%rbp), %rax 
movq %rax, -16(%rbp) 
把x的位址儲存到%rbp-16的棧空間處， int& r = x; 
movq -16(%rbp), %rax 
movl $1, (%rax) 
將%rbp-16棧空間處的值改寫成1， r = 1; 
movq -16(%rbp), %rax 
movl (%rax), %eax 
popq %rbp 
ret 
將%rbp-16棧空間處的值返回， return r;