指針與引用(gcc如何實現引用的)

   首先,變量名在編譯成彙編語言的時候,會被翻譯成地址。

　例如 :

void square() {
    int var = 0;
}

 會被翻譯成 :

square():
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], 0
        nop
        pop     rbp
        ret

 rbp - 4 在這裏就是變量名 var 翻譯而成的,而 DWORD PTR [rbp - 4]就是變量值。

 而指針類型的變量名也會翻譯成地址,可是這個指針變量值也是一個地址。

void square() {
    int var = 0;
    int * pointer = &var;
}

　會被翻譯成 :

square():
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-12], 0
        lea     rax, [rbp-12]
        mov     QWORD PTR [rbp-8], rax
        nop
        pop     rbp
        ret

在這裏, rbp-12就是變量名 var 翻譯而成的。

int * pointer = &var;
被翻譯成了
lea rax, [rbp-12]
mov QWORD PTR [rbp-8], rax
而指針變量名pointer 被翻譯成 rbp - 8。 指針變量pointer 的值是 rbp-12。

引用與指針的區別在哪呢?

引用與變量名同樣都是地址。

例如 :

void square() {
    int var = 0;
    int &ref = var;
    int * pointer = &ref;
}

 會被翻譯成 ：

square():
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-20], 0
        lea     rax, [rbp-20]
        mov     QWORD PTR [rbp-8], rax
        mov     rax, QWORD PTR [rbp-8]
        mov     QWORD PTR [rbp-16], rax
        nop
        pop     rbp
        ret

int * pointer = &ref;

被翻譯成：

mov rax, QWORD PTR [rbp-8]

mov QWORD PTR [rbp-16], rax

其中 rbp - 8是一個指針變量 &ref,而 [rbp - 8]的值是  rbp - 20, 在這裏 QWORD PTR [rbp-8]其實就是引用ref也就是 rbp - 20。 而實現的具體方法就是利用指針變量 rbp-8來實現的。

因此建立引用所須要的內存等於指針變量所須要的內存(由於在gcc中是利用指針實現引用的)。在其餘平臺則不必定。

以上全部解釋都基於 gcc 實現。