二级指针的疑惑

   在线索二叉树和用后继指针遍历双向链表时，都是用二级指针解决了问题，但是为什么用一级指针就会返回NULL呢，咋们先看下面这道题

void test(int *p){
	cout<<p<<" "<<endl;
	int a=1;
	p=&a;
	cout<<p<<" "<<*p<<" "<<endl;
}

int main(){
	int *p=NULL;
	cout<<p<<endl;
	test(p);
	if(p==NULL) cout<<"指针p为NULL"<<endl;
	cout<<p<<endl;
	return 0;
}

当执行完之后，会打印"指针p为NULL"。
为什么p会是NULL，当我们修改成下面这样就正确了

void test2(int **p){
	cout<<p<<" "<<*p<<endl;
	int a=1;
	*p=&a;
	cout<<p<<" "<<*p<<endl;
}

int main(){
	int *p=NULL;
	/*test(p);
	if(p==NULL) cout<<"指针p为NULL"<<endl;
	cout<<p<<endl<<endl;*/

	cout<<p<<endl;
	test2(&p);
	if(p==NULL) cout<<"指针p为NULL"<<endl;
	cout<<p<<" "<<*p<<endl;
	return 0;
}

main函数中打印的值就是1
为了先解释上面的情况，我们先别着急，再看最简单的情况，就是

void f(int);
void g(int *);

void f(int a){
	cout<<&a<<" "<<a<<endl;
	a=1;
}

void g(int *a){
	cout<<a<<" "<<*a<<endl;
	*a=1;
	cout<<a<<" "<<*a<<endl;
}

int main(){
	int a=0;
	cout<<&a<<" "<<a<<endl;
	f(a);
	cout<<&a<<" "<<a<<endl<<endl;

	cout<<&a<<" "<<a<<endl;
	g(&a);
	cout<<&a<<" "<<a<<endl;
	return 0;
}

对于f函数，我们知道调用完f函数了之后，主函数中a的值还是0，而调用完g之后主函数中a的值会变成1，这是我们最常见的值传递和地址传递，其实质都是值传递，如果把地址也看做是值的话。(这部分讲解的思想来自http://see.xidian.edu.cn/cpp/html/494.html)

先说f函数，由于变量名都是a，假设形参的变量名是x

则f函数执行的语句就是，去掉cout打印

x=a;

x=1;

现在就是求主函数a的值是多少？

假设a=0，a的地址是0x0001，1的地址是0x0002，x的地址是0x0003

执行x=a之后的内存模型是

执行完x=1之后的内存模型是

看图之后，一目了然，a的值是始终是0，x的值变成了1

再说g函数，假设变量名还是x，则执行的语句是

*x=a;

*x=1;
现在也是求主函数a的值是多少？

假设a=0，a的地址是0x0001，1的地址是0x0002，x的地址是0x0003，那么在执行完*x=a之后的内存模型是

当执行完*x=1之后的内存模型是

咋们再回到最开始的问题，当形参是一级指针时，还是把形参看成x

*p=NULL;

*x=p;

a=1;

x=&a;

再执行x=&a之前的内存模型是，我假设NULL单元的地址是0x0000，如果不好理解的话，你就假设int c=-1，*p=&c

执行完x=&a之后的内存模型

这样我们也就知道为什么指向test函数之后，p还是NULL

最后我们再看最复杂的二级指针

*p=NULL;

**x=&p;

a=1;

*x=&a;

还是和上面一样，在执行完*x=&a之前，内存模型

执行完*x=&a;之后的内存模型

看完这个图之后，相信也就知道为什么p不再是NULL了。

以上都是小弟个人的理解，如果哪里有错误，望前辈们及时指正。

当然二级指针只是解决方案之一，还可以用c++中的引用，让函数有返回值等。

如果文章有什么错误或者有什么建议，欢迎提出，大家共同交流，一起进步

文章转载请注明出处，请尊重知识产权