cout 堆棧，operator<< 運算子多載輸出問題

標籤：cout   堆棧   運算子多載   

在C++中cout的輸出資料流當中，有一些問題很容易出錯，就比如下面這道簡單程式，看似簡單，但卻是一個值得深思的問題~~

#include <iostream>

using namespace std;

int foo(int &x)
{
      cout << "第" << x << "次調用" << " ";
      return ++x;
}

int main()
{
      int i = 1;
      cout << foo(i) << ‘\t‘ << foo(i) << endl;

}

很多人一開始會以為輸出的結果會是：

第1次調用 2 第2次調用 3

但是結果卻是：

第1次調用 第2次調用 3 2

為什麼嘞？？？ 首先需要瞭解的是：

進程空間：

代碼區----------------存放程式的執行代碼
全域資料區------------存放全域資料，常量，文字量，靜態全域量和靜態局部量
堆區------------------存放動態記憶體，供程式隨機申請使用
棧區------------------函數資料區（局部資料區）
（以上是運行中的記憶體布局）


函數調用的整個過程就是棧空間操作的過程。函數調用時，C++作以下工作：
（1）建立被調函數的棧空間，其大小由函數定義體中的資料量決定；
（2）保護調用函數的運行狀態和返回地址；
（3）傳遞參數；
（4）將控制權轉交給被調函數；
（5）函數運行完成後，複製返回植到函數局部資料區塊底部；
（6）恢複被調函數的運行狀態；
（7）返回調用函數。

調用一個函數可以看作是一個棧中元素的壓棧與退棧操作。

有了以上的介紹，解釋過程就能知道了：

原始輸出語句： cout << foo(i) << ‘\t‘ << foo(i) << endl;

cout輸出的執行順序是從右向左執行的，so:

1：執行<<endl,因為沒有std::cout對象，無法執行，壓棧

2：執行<<foo(i)，執行foo(1)，輸出：第1次調用，得到返回值2，還是因為沒有std::cout對象，無法馬上輸出，壓棧
此時，代碼變成cout << foo(i) << ‘\t‘ << 2 << endl;

3：執行<< ‘\t‘ ，沒有std::cout對象，無法馬上輸出，壓棧
此時，代碼變成cout << foo(i) << ‘\t‘ << 2 << endl;

4：執行<<foo(i)，執行foo(2)，輸出：第2次調用 得到返回值3，還是因為沒有std::cout對象，無法馬上輸出，壓棧
此時，代碼變成cout << 3 << ‘\t‘ << 2 << endl;

對於以上過程還需注意兩點：

1. 【int& x】 也就是說 x實際上是i的別名

2. cout << foo(i) << ‘\t‘ << foo(i) << endl;
<==> operator << (cout, foo(i)的返回值, ‘\t‘, foo(i)的返回值, endl); 參數從右至左壓入堆棧區：

cout 堆棧，operator<< 運算子多載輸出問題