//先看下面的一个例子
#include<iostream.h>
void main()
{
int a[2][3];
int **p = a;
}
//请问为什么是错误的?
搞不清楚这个问题错误的原因,首先是数组和指针的概念没分清楚,数组的本质没搞清楚,这是导致我在笔试中遇到这类问题错误的根源。
比如 int x[5]; 这个定义里面,我们说定义了一个数组x,此数组有5个数组元素,元素的类型为int类型。首先要问的是,x到底是什么东西?刚开始学C语言,在谭浩强的书上说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
我这里使用的编译器是VC++ 6.0 int类型的数组占用4个字节空间,所以这里得到的是整个数组占用的字节数。我们不是说x的类型是int * const类型的吗,也就是x应该是一个指针类型,应该是4个字节的啊。为什么sizeof出来是整个数组占用的字节数呢。例如sizeof(int *)这个结果就是4,。所以由此可以看出,x的类型并不是int * ,也不是 int * const。
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来说移动了1个字节。这就是类型的不同,导致运算过程的不同。
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) = &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] --> a[0][0], a[0][1], a[0][2]
a[1] --> a[1][0], a[1][1], a[1][2]
那么a到底是什么,其实a数组有两个元素,a[0],a[1],那么a的值自然就是其第一个元素的地址了,也就是&a[0]了。这是一个什么类型?所以下面的代码是正确的:
int a[2][3];
int (*p)[3] = a; //所以对于你的问题,可以这样子
但是下面的转化是合理的:
char *a[];
char **p = a;