指向栈的指针引发的问题

#include <iostream.h>

void f1( int *& j)

{

    int l=20;

    int *k=&l;

    j=k;

}

void any_function_use_local_variables()

{

    int a,b,c;

    a=b=c=100;

}

int main()

{

    int i=10;

    int *j=&i;

    f1(j);

    cout<<*j<<endl;

    any_function_use_local_variables();

    cout<<*j<<endl;

    return 0;

}

不编译程序，猜猜它的输出结果是什么？

不仔细分析这个程序就会很容易错误地得出以下结果：

20

20

而实际输出的结果是：

20

100

觉得有点莫名奇妙了是吧？

不要紧，下面我来分析一下这个程序：

main主函数中声明了指针j，并将它指向i的地址。

f1函数将指针j的引用当作参数传入，压入栈，函数体f1返回前的栈如下图所示：

┃          ┃
┣━━━━━┫
┃   k=&l  ┃
┣━━━━━┫
┃   l=20  ┃<---j=k
┣━━━━━┫      ┏━━┓
┃  参数j  ┃---->┃  j ┃
┣━━━━━┫      ┗━━┛
┃ 中断入口 ┃
┣━━━━━┫
┃          ┃
      

由于传入的是j的引用，函数返回后j仍指向栈中l的空间。而函数返回时并没有修改栈中各个单元的值，只是将指针指向中断入口前，因此这时*j的值为20。

当调用any_function_use_local_variables()时，原来l的空间将被b的值覆盖，所以返回时再次输出*j的值时就变成100了，栈如下：

┃          ┃
┣━━━━━┫
┃  c=100  ┃
┣━━━━━┫
┃  b=100  ┃<---j
┣━━━━━┫
┃  a=100  ┃
┣━━━━━┫
┃ 中断入口 ┃
┣━━━━━┫
┃          ┃
      

栈中的内容很容易随着函数的调用而发生改变，通过这个例子可以得出，在使用指针时，不要轻易将指针指向栈中的空间，除非你有十成的把握。