cout 堆栈,operator<< 运算符重载输出问题

在C++中cout的输出流其中,有一些问题非常easy出错,就比方以下这道简单程序。看似简单。但却是一个值得深思的问题~~

#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); 參数从右到左压入堆栈区:


posted on 2016-03-05 09:02  gcczhongduan  阅读(357)  评论(0编辑  收藏  举报