[C/C++和指针]深度解析---指针与数组

一，引例子
二维数组可以使用指向数组的指针代替，而指针数组才可以用指向指针的指针代替。
[html] view plaincopy
#include<iostream>
using namespace std;

void main()
{
     char *a[]={"Hello","the","World"}; //指针数组

     char **pa=a; //指向指针的指针

     pa++;

     cout<<*pa;
}

类型确定的数组，元素的类型和元素的个数是确定的；数组退化为对应的指针，元素的类型保持一致；
所谓的二维数组只是数组的数组，因此二维数组不能退化为二级指针，而只能退化为指向一维数组的指针
例子：
#include <iostream.h>
void main()
{
    int a[2][3];    //二维数组
    int **p=a;      //二维数组不能退化为指向指针的指针
}
请问为什么是错误的？？（请不要说数组名是一个指针这个我知道，我想知道为什么不能用二级指针指向二维数组）

解析：首先数组和指针的概念你没分清楚，数组的本质你没搞清楚。这是导致问题出现的根源。
      int x[5]; 这个定义里面，我们说定义了一个数组x，此数组有5个数组元素，元素的类型为int类型。
      首先要问的是，x到底为什么东西?x是数组名，x代表了数组第一个元素的首地址。没错，x确实是数组的名字，x的值也确实是第一个数组元素的地址值。
      注意这里我们说x代表的值与数组第一个元素的地址值相等，但类型不一样。
      那么数组x的类型到底是什么呢? 有人说就是int * 类型。有如下语句可以做证：
                         int *p=x; //这句话是正确的。
      数组x的类型真是int *吗？我们说不是，因为下面的语句是不正确的：
                         int a=10; x=&a; // int *类型的变量时可以接受值的。
      所以x不是int* 那么我们可以猜测x的类型是不是int *const呢？也就是说x是一个地址值不可以改变的指针。这句话貌似有点正确。但是请大家看看下面的例子：
                         int x[5]={0}; int a=sizeof(x); // a的值到底是多少?
     实际上这里a的值是5*4=20 这里是整个数组占用的字节数。我们不是说x的类型是int * const类型的吗，也就是x应该是一个指针类型，应该是4个字节的啊，为什么sizeof出来时整个数组占用的字节数呢？例如 sizeof(int *)这个的结果就是4。所以有此可以看出，x的类型并不是int*,也不是int * const。 i
       int x[5];中的x到底是什么呢，我们说x是数组，此数组有5个元素，并且每个元素都是int类型。我们有一个识别数据类型的规律例如：
       int x; //x类型为int
       int *x;//x类型为int *
       int **x;//x类型为int **
       int (*x)[10];//x类型为int(*)[10]实际上是指向数组的指针
       int (*x)(int ,int);//x的类型为int(*)(int,int)实际上是指向函数的指针
    由此可以看出，一个符号是什么数据类型，我们只要在其定义的表达式中去掉符号本身，剩下的就是符号的类型了。
    照此推断，int x[5];中x的类型应该是int [5]这个类型，可以看出此类型并不是int *类型。
    那么int x[5];中的x可以这样赋值: int *p=x; 为什么呢？只能说这里面将x的类型隐式转换为了int *类型。所以这里是可以赋值的，因为进行了类型转换。
   再请看下面的例子：
         void function(int x[5])
         {
             cout<<sizeof(x)<<endl; //这里输出4
          } 为什么会输出4，而不是4*5呢，可以看出上面的函数形参实际上类型是int*，并不是数组类型，
       所以我们在定义函数的时候，下面的都是与上面等价的：
       void function(int x[])//元素个数是多少可以省略{   cout<<sizeof(x)<<endl; //这里输出4 }
       void function(int *x) //直接写成指针变量也没错{   cout<<sizeof(x)<<endl; //这里输出4 }

   那么我们看一个类似的问题：
          int x[5]; int **p=&x; //为什么会报错？因为类型不匹配。
         p的类型是int **,而&x的类型却不是int **。&x的类型实际上是int(*)[5]，因为取的是x的地址，也就是说这个地址是数组的地址，并不是指向数组第一个元素的指针的指针(也就是二维指针)，而是整个数组的地址。
         所以我们可以改成下面的：int (*p)[5]=&x;//这就对了。

二，指向数组的指针，和指向数组元素的指针有什么不同？
    例如int *p;我们要注意的是，p的类型是int*，p占用的空间4个字节，p指向的数据类型是int。P指向的数据类型占用4个字节。
    所以对于指针变量，我们要明白指针变量本身是占用空间的，本身是有类型的，其次指针变量所指向的空间是有类型的，是有空间的。
    那么int *p; char *p1; 对于指针变量来说p,p1里面都放的是地址值，说白了就是一个数值，他们都占用4个字节的空间，但是他们的类型不一样，p里面的地址指向的是int类型的数据，p1指向的是char类型的数据，这主要体现在p++与p1++中他们在内存中移动的字节数是不一样的，我们假设int占4个字节，char占1个字节。那么对于p来说向前移动了4个字节，p1来说移动了一个字节。这就是他们的类型不同，导致运算过程中的不同。int x[5];
     int (*p3)[5]; 此时p3指向数组x，那么p3++实际上向前移动了多少呢，可以算出移动了4*5个字节。也就是p3指向的是一个数组，是整个数组，所以p3移动的时候是将一个数组当做一个整体来看待的。所以向前移动了一整个数组的距离。再看你的问题之前，我们来看一个类似的问题：
     int a[2][3]; int **p=&a; //这里我用&a来赋值行不行呢。是不行的。这里为什么是错误的，原因就是因为&a的类型不是int**类型。所以类型不兼容，导致不能赋值，同时这两种类型是不可以相互转换的。那么&a到底是一个什么样的类型呢。我们说&a取的是整个数组的地址，那么&a自然就是指向整个数组的指针了。
     int (*p)[2][3]=&a; 此时这样赋值才是正确的。如果我们要用a直接赋值，那该定义一个什么样的变量来接受它呢，首先要明白，数组名代表的地址类型是指向数组的第一个元素的指针，
    例如： int a[10]; int *p=a; 实际上这里与int *p=&a[0];是等价的。因为指向a[0]的指针类型就是int*类型。那么&a的是取数组的地址，其类型是指向数组的指针，而不是指向数组第一个元素的指针，整个是要区别的，他们的类型就不一样。int(*p)[10]=&a;
     所以说这里的a和&a绝对不是同一个东西，虽然本质上他们的地址值是一样的，但是他们的类型不一样。就决定他们代表不同的意义。
     那么刚刚说了对于下面的例子：
            int a[2][3];
            int (*p)[2][3]=&a;
     我们可以定义这样的一个变量p来接受&a的值。
     那么我们要接受a应该定义一个什么样的变量呢。a[2][3]是一个二维数组，可以看成是这样的a是一个数组，具有两个元素，分别为a[0],a[1]其中这两个元素的值a[0],a[1]他们的值又是一个具有3个元素的数组。此时我们可以将a[0],a[1]看成是数组名，那么a[0][0]就是数组a[0]的第0个元素了。对应关系如下：a[0]

补充：软件开发 , C++ ,