从汇编看C++中的指针和引用

最新推荐文章于 2021-11-19 18:28:28 发布

原创最新推荐文章于 2021-11-19 18:28:28 发布 · 779 阅读

0 ·

CC 4.0 BY-SA版权

想哪写哪专栏收录该内容

2 篇文章

订阅专栏

本文通过对比C++中指针和引用的使用方式，并结合汇编代码，探讨了两者在内存分配上的实际差异。虽然表面上引用似乎是变量的别名，但从底层实现来看，它们在内存中都占用了特定的空间。

以前写C++的时候，我认为指针是就是一个存着另一个变量地址的变量，他是有存储空间的，而引用只是一个变量的别名，不会占用存储空间。

最近在搞汇编，发现下面两段代码的生成的汇编代码是一样的：

指针：

void func()
{
int a = 123;
int *pa = &a;
}

引用：

void func()
{
int a = 123;
int& ra = a;
}

上面两段代码的生成的汇编都是

004019D0  push        ebp  
004019D1  mov         ebp,esp 
004019D3  sub         esp,8 
004019D6  mov         dword ptr [ebp-4],7Bh 
004019DD  lea         eax,[ebp-4] 
004019E0  mov         dword ptr [ebp-8],eax 
004019E3  mov         esp,ebp 
004019E5  pop         ebp  
004019E6  ret

上面“ebp-4”是a，“ebp-8”实际上就是指针pa或是引用ra，所以从汇编角度看，引用实际上是占用空间的，和指针没看出来区别。

从高级语言角度看，由于编译器的作用，对ra取地址，即&ra，获取的值并不是ebp-8，而是ebp-4，让我们感觉ra就是a的别名。

注：上面的测试代码及结果来自VS2005 Release禁用优化。