深入分析C++引用

      关于引用和指针的差别的文章非常多非常多,可是总是找不到他们的根本差别,偶然在codeproject上看到这篇文章,认为讲的挺好的,

所以翻译了下,希望对大家有帮助。

原文地址: http://www.codeproject.com/KB/cpp/References_in_c__.aspx

 

引言

      我选择写 C++ 中的引用是由于我感觉大多数人误解了引用。而我之所以有这个感受是由于我主持过非常多 C++ 的面试,而且我非常少从面试者中得到关于 C++ 引用的正确答案。

       那么 c++ 中引用究竟意味这什么呢?通常一个引用让人想到是一个引用的变量的别名,而我讨厌将 c++ 中引用定义为变量的别名。这篇文章中,我将尽量解释清楚, c++ 中根本就没有什么叫做别名的东东。

 

背景

c/c++ 中,訪问一个变量仅仅能通过两种方式被訪问,传递,或者查询。这两种方式是:

1. 通过值 訪问 / 传递变量

2. 通过地址 訪问 / 传递变量 这样的方法就是指针

 

       除此之外没有第三种訪问和传递变量值的方法。引用变量也就是个指针变量,它也拥有内存空间。最关键的是引用是一种会被编译器自己主动解引用的指针。非常难相信么?让我们来看看吧。。。

 

以下是一段使用引用的简单 c++ 代码

 

 

引用事实上就是 c++ 中的常量指针。表达式   int &i = j; 将会被编译器转化成 int *const i = &j; 而引用之所以要初始化是由于 const 类型变量必须初始化,这个指针也必须有所指。以下我们再次聚焦到上面这段代码,并使用编译器的那套语法将引用替换掉。

 

 

    读者一定非常奇怪为什么我上面这段代码会跳过打印地址这步。这里须要一些解释。由于引用变量时会被编译器自己主动解引用的,那么一个诸如   cout << &j << endl; 的语句,编译器就会将其转化成语句   cout << &*j << endl;   如今 &* 会相互抵消,这句话变的毫无意义,而 cout 打印的 j 值就是 i 的地址,由于其定义语句为 int *const j = &i;

 

      所以语句 cout << &i << &j << endl; 变成了 cout << &i << &*j << endl; 这两种情况都是打印输出 i 的地址。这就是当我们打印普通变量和引用变量的时候会输出同样地址的原因。

 

      以下给出一段复杂一些的代码,来看看引用在级联 (cascading) 中是怎样运作的。

 

 

以下这段代码是将上面代码中的引用替换之后代码,也就是说明我们不依赖编译器的自己主动替换功能,手动进行替换也能达到同样的目标。

 

 

         我们通过以下代码能够证明 c++ 的引用不是神马别名,它也会占用内存空间的。

 

 

结论

我希望这篇文章能把 c++ 引用的全部东东都解释清楚,然而我要指出的是 c++ 标准并没有解释编译器怎样实现引用的行为。所以实现取决于编译器,而大多数情况下就是将事实上现为一个 const 指针。

 

 

引用支持 c++ 虚函数机制的代码

 

 

 

上述代码使用引用支持虚函数机制。假设引用不过一个别名,那怎样实现虚函数机制,而虚函数机制所须要的动态信息只能通过指针才干实现,所以更加说明引用事实上就是一个 const 指针。

深入分析C++引用,古老的榕树,5-wow.com

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。