指向栈的指针引发的问题

#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  ┃
┣━━━━━┫
┃ 中断入口 ┃
┣━━━━━┫
┃          ┃

 

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