今天在看看C++prime时里面有句话:
p201页:不要返回局部对象的指针和引用。(更具体的说不能返回栈中超过栈顶的对象的指针),如果该对象是通过new分配的(处于堆中),或者是static(处于数据段data),或者在函数的调用之前创建的局部对象,则可以返回这种对象的地址。
然后写了一个返回局部变量的指针的例子,发现居然能够编译通过,而且输出值的时候也正确。百思不得其解,最后网上搜了一下,搜到一篇文章 http://soft.chinabyte.com/os/51/12324551.shtml 发现和进程的地址空间管理有关,局部变量是存储在栈中的函数的调用会进行栈操作,所谓的释放局部地址空间也就是该地址空间其他对象可用,并不会将数据擦除。所以对该地址的访问可能会得到正确的结果,但是由于对进程来说该地址是空闲地址,所以可能会被其他对象占用进而里面的数据被更改。由于cout也是一个函数,所以调用它会引起栈的变化,所以可能会更改数据。从而产生错误。下面的程序说明了这个问题。
#include<iostream>
using std::cout;
using std::cin;
using std::endl;
//返回局部变量的指针
//func1是一个函数,该函数返回一个指向含有三个元素的数组的指针
int (*func1())[3]{
int a[3][3]={{1,2,3},{4,5,6},{7,8,9}};
int (*p)[3]=a;
return p;
}
//返回局部变量的指针
int *func2(){
int a=10;
int *p=&a;
return p;
}
int main(){
int (*p)[3]=func1();
int *pi=(int*)p;
cout<<pi[0]<<‘,‘<<pi[1]<<‘,‘<<pi[2]<<‘,‘<<pi[3]<<‘,‘<<pi[5]<<‘,‘<<pi[6]<<‘,‘<<pi[7]<<‘,‘<<pi[8]<<endl;
//再次调用发现结果不一致
cout<<pi[0]<<‘,‘<<pi[1]<<‘,‘<<pi[2]<<endl;
int *p2=func2();
cout<<*p2<<endl;
//再次调用发现结果不一致
cout<<*p2<<endl;
return 0;
}原文:http://my.oschina.net/flylxl/blog/530122