[ASM/C/C++]关于"C++引用"

[ASM/C/C++]关于"C++引用"

imjacob 发表于 2006-12-16 21:32:00

引用, 在具体实现时, 会申请一个临时空间, 目的是存放被引用对象的地址. 当使用引用变量时, 其实就是对被引用对象作了一次间接寻址. 此文缘起我看了这篇文章: http://blog.csdn.net/newslxw/archive/2006/08/08/1038972.aspx 还记得当年读书时, 牛牛的C++老师告诉我: "引用, 其实就是别名, 与其所引用的对象完全等价". 可是, 我还是有这点疑问: "等价的含义, 是指的什么? 难道是说在最底层的实现上两者直接就是使用的同一个内存位置吗? " 比如下面的这段代码: int  main() ... {     int a = 100;     int &b = a;     int *c = &a;     b = 99;     a = 88;     b = 77;     *c = 66;     return 0; } 经过汇编后, 变成了这样: main:     leal     4 ( % esp),  % ecx     andl    $ - 16 ,  % esp     pushl     - 4 ( % ecx)     pushl     % ebp     movl     % esp,  % ebp     pushl     % ecx     subl    $ 16 ,  % esp .LCFI5:     movl    $ 100 ,  - 16 ( % ebp)      ; ebp-16 为变量 a 的地址     leal     - 16 ( % ebp),  % eax     movl     % eax,  - 12 ( % ebp)      ; 将a的地址放在 ebp-12 地址处     leal    -16(%ebp), %eax          movl    %eax, -8(%ebp)       ; ebp-8是指针c变量, 此句是给指针c赋值     movl    -12(%ebp), %eax      ; 给引用b赋值前, 先把存在 ebp-12 的 a 的地址取到eax中     movl    $99, (%eax)          ; b = 99     movl    $88, -16(%ebp)     movl    -12(%ebp), %eax      ; 此处给引用b的赋值, 与前面一样, 也是先取a的地址     movl    $77, (%eax)     movl    -8(%ebp), %eax       ; 给*c赋值前, 先取c地址     movl    $66, (%eax)          ; 此处执行 *c = 66     movl    $0, %eax     addl    $16, %esp     popl    %ecx     popl    %ebp     leal    -4(%ecx), %esp     ret 由此可见, 引用, 在具体实现时, 会申请一个临时空间(栈内空间), 目的是存放被引用对象的地址. 当使用引用变量时, 其实就是对被引用对象作了一次间接寻址. 而从汇编代码中来看, *c 确实与 b 在使用时的汇编代码一样, 都是先取地址, 再将值存入此地址. 所不同的, 只是在c++层面, 作为如 b 这样的引用类型变量, 只可在初始化时赋值, 且只能赋值一次.

阅读全文(577) | 回复(0)