关于C/C++中指针做形参的一点小分析

今天寝室的山东兄弟在练二级的上机，其中一个题目大概是这样：在一个函数中，有一个指针形参，记为*p，然后在函数内部定义了临时变量a,a和*p是同种类型。经过一系列计算 ，a得到了一个值，这个值最后是需要记录在指针*p里面的，应该怎么保存呢？我当时随便就说，p=&a。结果发生错误了，没有得到预期结果。正确答案是*p=a。

下面来分析下原因。

 学过C的人都知道到，函数的实参与形参的之间是值传递，单向传递。在谭浩强那本C语言教材中就有这样一个经典的例子：

 

int a=3,b=4;

void exchange(int x,int y)

...{  

          int temp;

          temp=a;a=b;b=temp;   //试图交换a,b

}

exchange(a,b);

cout<<a<<" "<<b<<endl;

 

输出的来的仍然是3，4.

要交换a,b,只需改变函数exchange，传递a,b的地址，如下：

 

void exchange(int *x,int *y)

{

         int temp;
         temp=*x;*x=*y;*y=temp;
}

   exchange(&a,&b);

   cout<<a<<" "<<b<<endl;

  

这样，a,b就成功交换了。为什么呢？下面再说。

 

再回到开始提出的那个问题，为什么p=&a错误而*p=a正确呢？

再看两段代码：

 

#include<iostream>
using namespace std;
void test_point(int *p)
...{
     int a=3;
     p=&a;   // 不同之处
}
int main()
...{
     int x=4;
     int *p1=&x;
     test_point(p1);
     cout<<*p1<<endl;

         return 0;
}
   
   

此时输出的结果是4，也就是说，指针p1调用test_point函数后值并没有得到改变，接着看下一段代码

 

#include<iostream>
using namespace std;
void test_point(int *p)
...{
     int a=3;
     *p=a;   //不同之处
}
int main()
...{
     int x=4;
     int *p1=&x;
     test_point(p1);
     cout<<*p1<<endl;
     return 0;
}

此时输出结果是3，证明指针p1在调用test_point函数后得到改变。

不难发现，两段代码不同之处在于函数中对p的处理，一个是p=&a,一个是*p=a,有什么区别呢？

翻开C++ primer（第四版）105页可以发现其中的解释：

对p=&a,称之为给指针赋值，意思是给指针本身一个指向的对象。

而对*p=a称之为通过指针进行赋值，意思是改变指针所指对象的值。

有了上面的基础就很好解释了，p=&a是相当于把函数的形参指针p指向a(即给指针赋值，此值是a的地址)，但由于a是临时变量，函数调用完后即不存在了，所以实参p1是不会被改变的,*p1=4。

而*p=a就不同了，我们知道，函数是值传递，实参p1传递给形参p的值是什么呢？当然是x的地址，也就是说，在函数test_point调用的过程中，形参指针p指向了x,然后进行的*p=a是通过指针进行赋值，改变了p指向的对象x，p1仍然指向x，故*p1=3.

这样，那个exhange函数也很好解释了，也就是一个通过指针进行赋值的问题。