淺析C++的引用與const指針與各種傳遞方式

轉自： https://www.jb51.net/article/120561.htm

首先我們知道 const int *p 與 int const *p 是一樣的，即 *p 是常量；

而 int * const p 跟上面是不一樣的，即 p 是常量；

我們知道引用隻是一個别名，與變量共享存儲空間，并且必須在定義的時候初始化，而且不能再成為别的變量的别名，這讓我們想到什麼呢，貌似跟  int * const p   的性質很像。

其實引用的底層就是用const指針來實作的。下面舉個小例子：

#include <iostream>
using namespace std;
 
void swap(int &x, int &y)
{
  int temp = x;
  x = y;
  y = temp;
}
 
void swap(int *const x, int *const y)
{
  int temp = *x;
  *x = *y;
  *y = temp;
}
 
int main(void)
{
  int a = 5;
  int b = 6;
  swap(a, b);
  cout << "a=" << a << " b=" << b << endl;
  int c = 7;
  int d = 8;
  swap(&c, &d);
  cout << "c=" << c << " d=" << d << endl;
  return 0;
}
           

其實兩個swap函數達到的效果是一樣的（name mangling），而const 引用如 const int & 呢我們也可以類比為  const int * const p 即既不能成為别的變量的引用，也不能通過引用更改變量的值。

引用經常作為函數的參數傳遞，可以與值傳遞，以及指針傳遞做個比較：

值傳遞： 實參初始化形參時要配置設定空間， 将實參内容拷貝到形參

引用傳遞： 實參初始化形參時不配置設定空間

指針傳遞：本質是值傳遞，但如果我們要修改指針本身，那隻能使用指針的指針了，即 **， 或者指針引用 *&

而且使用指針比較不保險的是很多人會忘記加上const的限制，即很可能接下來的程式中你又把這個指針指向了其他的變量，這樣就混亂了。

把引用作為函數傳回值時，千萬記得不要傳回局部變量的引用

舉個小例子：

#include <iostream>
using namespace std;
 
 
int &add(int a, int b)
{
  int sum;
  sum = a + b;
  return sum;
}
 
int main(void)
{
  int n = add(3, 4);
  // cout<<"just test"<<endl;
  int &n2 = add(5, 6);
  cout << "n2=" << n2 << endl;
  cout << "n=" << n << endl;
  return 0;
}
           

在上面的例子中我們傳回了局部變量的引用，那麼輸出結果是什麼呢？

n2=11
n=7
           

好像沒錯是吧，再試試，我們在最後加一條語句再列印一下 n2

cout<<"n2="<<n2<<endl;
n2=11
n=7
n2=1474313670
           

奇怪了，為什麼這次列印變成這麼大的數而我們完全沒更改n2的值啊？ 見到的不一定是真的啊，不要被它欺騙了，這就是傳回局部變量的引用的後果。

其實函數傳回的是局部變量sum的引用，而 n2 本身又是引用，即引用着原來sum 擁有的那塊區域，第一次列印沒有出錯是因為本來寫在sum 區域上的值11 尚未被覆寫，而再運作兩條列印語句後再次列印，很可能原來屬于sum 的區域變 dirty了，被覆寫了其他不确定的值，每次列印都不會是一個定值。

那 n 呢，對 n 來說即使你最後再列印一下， n 還是等于 7，因為 n 本身是個變量，函數傳回時立馬儲存了sum 所屬區域的值， 除非你對 n 更改，不然 n 在main 函數堆棧中是不會變化的，直到函數退出， 變量釋放。

大家要比較清晰的是，局部變量在函數棧上釋放，但本來區域的值第一時間還是原來的值，但經過程式運作，堆棧記憶體區域重用， 一般就被覆寫了。

以上就是C++的引用與const指針與各種傳遞方式，如有疑問請留言或者到本站社群交流讨論，感謝閱讀，希望能幫助到大家，謝謝大家對本站的支援！