1、指针和数组
首先,必须明确指针就是指针,数组就是数组,指针和数组之间没有任何关系。
* 指针变量在32位系统下,永远占4字节,其值为某一个内存地址。指针可以指向任何地方。
* 数组的大小和元素的类型和个数有关;定义数组时必须指定其元素的类型和个数;数组可以存任何类型的数据,但不能存函数。
指针和数组是完全不一样的东西,只是它们都可以“以指针的形式”或“以下标的形式”进行访问,一个是完全匿名的访问,一个是典型的“具名+匿名”的访问。
2、指针数组和数组指针
指针数组:首先它是一个数组,数组的元素都是指针,数组占多少字节由数组本身决定,它是“储存指针的数组”的简称。
数组指针:首先它是一个指针,它指向一个数组。在32为系统下永远占4字节,至于它指向的数组占多少字节并不知道。它是“指向数组的指针”的简称。
这里区分指针数组和数组指针最重要的一点就是看优先级,“[]”的优先级比”*”高,因此p1先和“[]”结合,构成一个数组,数组名为p1,int *饰的是数组的内容,即数组的每个元素,因此int * P[6]是指针数组。又因为“()”比“[]”优先级高,因此p2先和*结合构成一个指针,指针变量名为p2,int修饰的是数组的内容,即数组的每个元素,p2指向一个包含6个元素的数组,因此它是数组指针。
3、指针和数组的定义、声明
1.定义为数组,声明为指针
//main.c
char a[100];
//first.c
extern char *a;
main.c定义了数组,first.c中声明它为指针,这种做法是错误的,main.c和first.c是单独编译的,main.c中,编译器知道a是一个数组,但在first.c中,编译器并不知道这一点,编译器只按照本文件声明的类型来处理,因此虽然a实际大小为100字节,但在first.c中,a只占4字节,这4个字节保存了一个地址,这个地址上存储的是字符型数据。
2.定义为指针,声明为数组
//main.c
char *p = "abcdefg";
//first.c
extern char p[];
在main.c中,编译器分配4字节空间,并命名为p,同时p里保存了字符串常量的首字符的首地址,这个字符串常量本身保存在内存的静态区,内容不能更改,而在first.c中,编译器认为p是一个数组,其大小为4字节数组,保存的是char类型的数据,编译器把指针变量p当作一个包含4个char类型数据的数组来使用,指针p的四个之间会被按char类型取出p[0],p[1],p[2],p[3],
如果给p[i]赋值则会把p原来的地址覆盖,导致无法在找到原来的内存。
4、函数指针
什么是函数指针?
函数指针就是函数的指针,它是一个指针,指向函数。
* void (*pfun1)( );
这里的pfun1先和*结合,说明pfun1是指针,指针指向一个函数,指向的函数没有参数,并且返回值为void。
来看两个例子理解函数指针
- (* (void( * )( ) )0 )( );
- void(*)( ),可以看出这是一个函数指针类型,这个函数没有参数,没有返回值
- (void(*)( ) )0,这里是将0强制转换为函数指针类型,0是一个地址,将这个函数保存在首地址为0的一段区域内的函数。
- (* ( void(*) ( ) )0 ),这里对保存在首地址为0这一段区域内的函数进行解引用,取出保存在里边的函数。
- ( *(void( *)( ) ) 0 )( ),进行函数的调用。
- void(*signal(int, void(*)(int)))(int);
- void(* )( int),这是一个函数指针类型,参数为int型,没有返回值
- signal (int, void(*) (int) ),signal为一个函数,有两个参数,一个int型的参数,和一个函数指针
- void(*signal( int, void(* )(int ) ) )( int),signal仍是一个函数,它返回一个函数指针,这个指针指向的函数没有返回值,只有一个int类型的参数。
- void(*signal (int, void(* )(int) ) )(int);可简化为
- tpedef void (*pfun_t)(int);
- pfun_tsignal ( int, pfun_t);
5、指向函数指针数组的指针
我们先来看下什么是函数指针数组。
把一个函数的地址存到一个数组中,那这个数组就叫函数指针数组。
* char* (* pf[3] )( char *p );
这是一个函数指针数组。它是一个数组,数组名为pf,数组内存储了3个指向函数的指针,这些指针指向一些返回值类型为指向字符的指针,参数为一个指向字符的指针的函数。
再下来再看函数指针数组的指针
* char * (* ( *pf ) [3] )( char *p )
这里的pf是一个指针,这个指针指向一个包含了三个元素的数组,这个数组里边存的是指向函数的指针,这些指针指向一些返回值类型为指向字符的指针,参数为一个指向字符的指针的函数。