本篇将对C语言中一级指针以及二级指针作为函数形参的情况进行对比,从而加强对指针作为函数形参的的理解。
首先我们先从函数的指针形参以及实参之间的关系出发去理解实参与指针形参之间是如何传递的,首先我们先看一下下面的一段代码:
#include <stdio.h>
void swap(char *a,char *b)
{
char c='\0';
c=*a;
*a=*b;
*b=c;
}
int main(void)
{
char a='A',b='B';
printf("a=%c,b=%c\n",a,b);
swap(&a,&b);
printf("a=%c,b=%c\n",a,b);
return 0;
}
// 运行结果
// a=A,b=B
// a=B,b=A
这就是一个简单的交换参数的函数当我们运行该程序时计算机将会进行如下操作:
由上图可以更加直观的看到指针形参与实参之间的关系,当实参(&a,&b)传入函数时函数会开辟一个新的存储空间去存储a,b地址,并将该参数命名为a,b(本质上是一个指向char类型的指针,分别指向实参a,b),而swap函数本质上就是改变了这两个指针指向的存储空间内的值 (而具体大小则是看指针指向对象的数据类型例如本例中的char),从而达到了实参中两者存储内容的交换的目的。
由上面的简单例子入手我们可以去进一步看一下如下代码:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define SIZE 100
void getmemory(char *p)
{
p=(char *)malloc(SIZE*sizeof(char));
strcpy(p,"hello world");
}
int main(void)
{
char *str=NULL;
getmemory(str);
printf("%s\n",str);
free(str);
str=NULL;
return 0;
}
//运行结果:段错误
其运行过程可以由如下图所示:
由图可知在程序执行完成后,实参str并未发生改变,任然为空指针,后面继续读取空指针则会出现段错误,并且由于形参的释放,导致了在堆区开辟的空间无法回收,引起了内存的泄露,而对于正确的做法应该是将str的地址传递给形参这就引入了二级指针,其中正确的代码应该如下:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define SIZE 100
void getmemory(char **p)
{
*p=(char *)malloc(SIZE*sizeof(char));
strcpy(*p,"hello world");
}
int main(void)
{
char *str=NULL;
getmemory(&str);
printf("%s\n",str);
free(str);
str=NULL;
return 0;
}
//运行结果:hello world
其在系统的内存分配如图所示:
同理可用下面的代码来最后验证并总结一下指针作为函数形参的相关知识点:
#include <stdio.h>
void f(char **p)
{
*p += 2;
}
int main()
{
char *a[] = {"123","456","789"}, **p;
p = a;
f(p);
printf("%s\r\n",*p);
return 0;
}
//输出结果:3
本段代码可以看出来,在指针问题中,最重要的是就是抓住指针所指向对象的数据类型,它直接决定了指针应用,就像本段中的形参char **p,它是指向char * 类型的指针,从而决定了它的内容是一个指向char类型的指针,进而f函数中*p+=2也就是指向char类型的指针向下下移动了两个字节也就是指向了3,输出结果为3。