深入理解指针和数组

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是一个指针，这个指针指向一个包含了三个元素的数组，这个数组里边存的是指向函数的指针，这些指针指向一些返回值类型为指向字符的指针，参数为一个指向字符的指针的函数。