C语言基础与提高4——指针函数，函数指针

C语言基础与提高4


函数与指针
在Ｃ语言中，一个函数总是占用一段连续的内存区，而函数名就是该函数所占内存区的首地址。
把函数的这个首地址(或称入口地址)赋予一个指针变量，使该指针变量指向该函数。然后通过指针变量就可以找到并调用这个函数。我们把这种指向函数的指针变量称为“函数指针变量”。
函数指针变量定义的一般形式为：

类型说明符 (*指针变量名)()；
例如： 
int (*pf)(); 

表示pf是一个指向函数入口的指针变量，该函数的返回值(函数值)是整型。


1)所谓函数类型是指函数返回值的类型。
在Ｃ语言中允许一个函数的返回值是一个指针(即地址)，这种返回指针值的函数称为指针型函数。 
2）定义指针型函数的一般形式为： 
类型说明符 *函数名(形参表) 
3）int(*p)() 和 int *p()区别
int (*p)()是一个变量说明，说明p是一个指向函数入口的指针变量，该函数的返回值是整型量，(*p)的两边的括号不能少。
int *p()则不是变量说明而是函数说明，说明p是一个指针型函数，其返回值是一个指向整型量的指针，*p两边没有括号。作为函数说明，在括号内最好写入形式参数，这样便于与变量说明区别。
对于指针型函数定义，int *p()只是函数头部分，一般还应该有函数体部分。 


二维数组和指针
一个数组的元素值为指针则是指针数组。
指针数组的所有元素都必须是具有相同存储类型和指向相同数据类型的指针变量。
指针数组说明的一般形式为：
类型说明符 *数组名[数组长度] 
其中类型说明符为指针值所指向的变量的类型。
例如： int *pa[3]；
表示pa是一个指针数组，它有三个数组元素，每个元素值都是一个指针，指向整型变量。 
不要把&a[i]简单的理解为a[i]的物理地址，因为并不存在a[i]这个变量。它只是一种地址的计算方法，能得到第i行的地址。
&a[i]和a[i]的值是一样的，但它的含义却不同。 &a[i]或a+i指向行，而a[i]或*(a+i)指向列。当下标j=0时，&a[i]和a[i]+j的值相等。*(a+i)只是a[i]的另一种表示形式。在二维数组中，a+i=a[i]=*(a+i)=&a[i]=&a[i][0]即它们的地址值是相等的。 






二维数组与一维数组指针变量的关系：
int  a[5][10]  与  int   (*p)[5];
二维数组名是一个指向有5个元素的一维数组的指针常量
p=a+i  使 p指向二维数组的第i行
*(*(p+i)+j) = a[i][j] 
二维数组形参实际上是一维数组指针变量
即   int  x[ ][10]   int  (*x)[10]
变量定义(不是形参）时两者不等价，系统只给p分配能保存一个指针值的内存区(一般2字节）；而给a分配2*5*10字节的内存区






指向指针的指针
如果一个指针变量存放的又是另一个指针变量的地址，则称这个指针变量为指向指针的指针变量
char **p; 
p前面有两个*号,相当于*(*p)。
显然*p是指针变量的定义形式，如果没有最前面的*，那就是定义了一个指向字符数据的指针变量。现在它前面又有一个*号，表示指针变量p是指向一个字符指针型变量的。*p就是p所指向的另一个指针




main函数的参数
main (int argc,char *argv[]) 
argc(第一个形参)必须是整型变量,
argv( 第二个形参)必须是指向字符串的指针数组。
argc参数表示了命令行中参数的个数(注意：文件名本身也算一个参数)
argv参数是字符串指针数组，其各元素值为命令行中各字符串(参数均按字符串处理)的首地址。 针数组的长度即为参数个数。


void指针类型
ANSI新标准增加了一种“void”指针类型，即可以定义一个指针变量，但不指定它是指向哪一种类型数据。