C指针自娱自乐

 

#include<stdio.h>
int* func1(){
	int a[3] = {1,2,3};
	int* pa = a;
	return pa;
} 
int* func2(){
	int b[3] = {4,5,6};
	int c[3] = {7,8,9};
	int* pc = c;
	return pc;
}
int main(){
	int* p = func1();
	func2();
	printf("p[0] = %d\n",p[0]);
	return 0;
}

 

对于上面这个程序，

主函数里令p接受func1()函数返回的指针类型的值，然后又调用func2()这个函数，最后打印p[0]的值

在函数func1里定义一个数组a，令指针pa指向数组a，最后函数返回数组a的首地址。

在函数func2里定义数组b和c，令指针pc指向数组c，最后函数返回数组c的首地址。

我们回到主函数，首先执行func1，返回数组a的首地址，然后执行func2，返回数组c的首地址，那么p[0]的值是多少呢？

程序运行结果：p[0] = 4

相信看到这里的你已经蒙圈了233333，下面由我来“强行”解释一波~

首先p[0]的值由p地址上存储的值决定对不对？运行func1后p地址上存储了a[0]的值，然后主函数接下来在刚才运行过func1的函数栈上又运行了func2，这时候以前盛放a[0]的p地址上现在又存储了b[0]，也就是说b[0]把a[0]覆盖掉了，p[0]的值即为b[0]。

但是我又尝试在func2里先定义一个整型常量s = 0，这样我以为可以让s把b[0]挤到后面去   但是运行后发现p[0]的值依然是4。那么现在我有一个猜想： 就是在函数栈里，在执行完一个函数后里面的数据不会马上被清空，除非是接着执行了另一个函数，而且在函数栈内有专门存储整型常量的一块区域，也有专门存储数组的另一块区域。 后来我百度了一下想要验证一下，没有找到答案。。

好吧，将来有机会问问轮子哥去，终于找着个理由了（逃

 

第二天我问了轮子哥，他是这么答复的：因为你返回了野指针

好吧。。看到现在的你应该把我上面的前行推理忘掉了，那是错误的认识