指针与数组详解

1.什么是指针数组和数组指针？

    

• 指针数组：指针数组可以说成是”指针的数组”，首先这个变量是一个数组，其次，”指针”修饰这个数组，意思是说这个数组的所有元素都是指针类型，在32位系统中，指针占四个字节。

• 数组指针：数组指针可以说成是”数组的指针”，首先这个变量是一个指针，其次，”数组”修饰这个指针，意思是说这个指针存放着一个数组的首地址，或者说这个指针指向一个数组的首地址。 

• 指针数组

• 首先先定义一个指针数组，既然是数组，名字就叫arr

  char *arr[4] = {"hello", "world", "shannxi", "xian"};
  //arr就是我定义的一个指针数组，它有四个元素，每个元素是一个char *类型的指针，这些指针存放着其对应字符串的首地址

  （当一个变量出现左右都出现一个运算符时，没有记住运算符优先级的人就会纠结arr变量到底跟哪一个运算符先结合。如果是自己定义一个指针数组，搞不清楚运算符的优先级，那么就加上小括号()，比如定义一个指针数组，可以写成char *(arr[4])，不过在定义之前一定要清楚自己定义的变量，如果目的是一个数组，那就把arr[4]括起来，如果是一个指针，就把*arr括起来。如果是看到一段这样的代码，可以从他的初始化来分别它是数组还是指针，很明显，我这定义的是一个数组，如果是指针，会用NULL来初始化。）

  
  

• 这个指针数组有多大呢？答案是16个字节，因为它是一个指针数组。(这是废话，正话下面说) 
  每当出现这些问题时，脑子里一定要第一时间反应出内存映像图
  

• 内存映像象图	内容	权限
  栈区	函数中的普通变量	可读可写
  堆区	动态申请的内存	可读可写
  静态变量区	static修饰的变量	可读可写
  数据区	用于初始化变量的常量	只读
  代码区	代码指令	只读

  这里最左侧一列是一个很简陋但能说明意思的内存图，一般情况下，从栈区到代码区，是从高地址到低地址。栈向下增长，堆向上增长。

  arr[4]是一个在主函数定义的数组。把它对应到对应到内存中，arr是一个在栈区,有四个元素的数组，而每一个数组又是一个指针，所以说它的四个元素各占四个字节，所以变量arr的大小是16个字节。

  那么就有人问了？初始化arr的{“hello”, “world”, “shannxi”, “xian”};的是什么鬼？ 
  这四个不是什么鬼，他们也存在在内存中，只是跟arr这个变量不在同一段空间，它们被分配在只读数据区，数组arr[4]的四个指针元素，分别存放着这四个字符串的首地址，想象一下，从栈区有四只无形的手指向数据区的空间。arr+1会跳过四个字节，。也就是一个指针的大小 
  这就相当与定义char *p1 = “hello”，char *p1 = “world”，char *p3 = “shannxi”， char *p4 = “xian”，这是四个指针，每个指针存放一个字符串首地址，然后用arr[4]这个数组分别存放这四个指针，就形成了指针数组。

  数组指针

  首先来定义一个数组指针，既然是指针，名字就叫pa

  char (*pa)[4];

  如果指针数组和数组指针这俩个变量名称一样就会是这样：char *pa[4]和char (*pa)[4]，原来指针数组和数组指针的形成的根本原因就是运算符的优先级问题，所以定义变量是一定要注意这个问题，否则定义变量会有根本性差别！

  pa是一个指针指向一个char [4]的数组，每个数组元素是一个char类型的变量，所以我们不妨可以写成：char[4] (*pa);这样就可以直观的看出pa的指向的类型，不过在编辑器中不要这么写，因为编译器根本不认识，这样写只是帮助我们理解。

  既然pa是一个指针，存放一个数组的地址，那么在我们定义一个数组时，数组名称就是这个数组的首地址，那么这二者有什么区别和联系呢？

  char a[4];，

  a是一个长度为4的字符数组，a是这个数组的首元素首地址。既然a是地址，pa是指向数组的指针，那么能将a赋值给pa吗？答案是不行的！因为a是数组首元素首地址，pa存放的却是数组首地址，a是char 类型，a+1，a的值会实实在在的加1，而pa是char[4]类型的，pa+1，pa则会加4，虽然数组的首地址和首元素首地址的值相同，但是两者操作不同，所以类型不匹配不能直接赋值，但是可以这样：pa = &a，pa相当与二维数组的行指针，现在它指向a[4]的地址。

2 什么是函数指针？

函数指针就是指针。这个指针存放一个函数的地址，而函数的名称就该函数的入口，即地址。这类似于数组名就是数组的首地址。我们可以通过反汇编直观的查看到函数名和函数地址的关系。

080483c4 <rfun>:
 80483c4:       55                      push   %ebp
 80483c5:       89 e5                   mov    %esp,%ebp
 80483c7:       83 ec 28                sub    $0x28,%esp
 ······
 80483f3:       e8 cc ff ff ff          call   80483c4 <rfun>
 ······

第一行080483c4就是函数在内存中的地址，后面的 rfun 就是函数名，还可以看出第二行和第一行的地址相同，所以可以知道函数名就是该函数的入口地址。 
第6行的call 80483c4 rfun就是再次调用这个函数，回到这个函数的入口出执行，可以看出该函数是一个递归函数。

3 函数指针数组

函数指针说完了。我们接下来来看看函数指针数组。

多了俩字。数组。前面四个字还一样。那是不是就是有一个数组，用它来盛放函数指针。嗯，没错，就是这样。

1. void (*funcPointerArray[3])(double x);//函数指针数组  
2. void (*funcPointer)(double x);//函数指针  

两个放在一起对比，函数指针数组无非就像数组声明一样，在后面加了[ ]

简直就和普通的数组一模一样。没错，无非他存储的是函数指针而已。

4.函数指针数组的指针

.. 指向函数指针数组的指针是一个 指针 . 
   指针指向一个 数组 ，数组的元素都是 函数指针 ;