为什么指针类型的形参可以直接修改实参

先说结论，因为指针类型的变量存储的另一个变量的地址，我们知道值传递方式的形参是通过将实参进行拷贝得到的，事实上，指针类型也是一样的，只是指针类型拷贝的是实参的内存地址，也就是说指针形参其实是实参地址的副本，是的，是副本。为什么要强调这个副本，接下来会有实验进行说明

如上图所示，无论是值传递还是指针传递，二者传递给函数形参的其实都是副本，只是因为指针传递的是变量地址的副本，因此这样在函数内部指针所指向值的修改，就相当于直接修改的是实参的值。

那么问题来了，如果修改的是形参指针值（也就是形参指针变量里存储的地址）呢？

很明显，由于形参存储的地址的副本，因此形参如果地址发生了变换，那么对实参将不会有影响

 仔细观察以下代码的区别，其中第一段代码在函数内部修改的是指针所指向的对象的值，第二段代码直接修改的是指针值

#include<iostream>

void test(int * head)
{
	*head=20;
}


int main()
{
	int *p=new int(10);
	test(p);
	std::cout<<*p<<std::endl;
	delete p;
	return 0;
}

#include<iostream>

void test(int * head)
{
	int *p=new int(20);
	head=p;
}


int main()
{
	int *p=new int(10);
	test(p);
	std::cout<<*p<<std::endl;
	delete p;
	return 0;
}

为什么要强调这一点？

我们知道，为了避免程序隐藏问题的存在，一般情况下，我们不能返回指针类型的局部变量，例如

int* test(int* head)
{
	// *head=20;
	int *p=new int(20);
	head=p;
	//经过一系列操作之后
	return p;
}

这是不安全的（原因涉及到函数堆栈的调用过程，具体可参考从汇编指令看函数调用堆栈的详细过程（详细图解）-CSDN博客），并且也无法得到我们想要的结果，但是有时候我们确实在外部需要这个指针的返回值，怎么办呢？

鉴于指针的特性，我们第一个想到的就是把指针形参既作为输入参数，也作为输出形参，因为指针形参的改变可以同步函数外部的变化，这个时候就要用到我们上述说的问题了。

由于我们需要传出的是指针变量，但是在函数内部修改形参指针的值对外部是不影响的（因为是地址的副本），所以需要加引用，如下

#include<iostream>

void test(int*& head)
{
	int *p=new int(20);
	head=p;
	//经过一系列操作之后
}


int main()
{
	int *p=new int(10);
	test(p);
	std::cout<<*p<<std::endl;
	delete p;
	return 0;
}

这样函数内部的指针值和外部就可以同步了，同时也可以看到指针和引用的区别