指针与二维数组

二维数组的本质:

int matrix[3][4];

int matrix[3][4];  ==> int [4] matrix[3];     令type为int[4];  type int[3]; 说明matrix是一个数组,有3个元素;每一个元素是int [4]类型的;

实质上int[4]就是一个拥有4个int元素的一维数组。

事实上,二维数组名称的本质是:二维数组的首地址常量(指针常量);

指针加1移动的是该指针的指类长度。

例:double *p;

p+1  就是移动8字节的长度。

matrix +1 移动了32B,&matrix[3][4]  + 1移动了8B,(matrix的指类是 double[4],&matrix[3][4]的指类是double);

c编译器不会对指针指类进行严格检查

scanf("%lf" , matrix);

scanf("%lf" ,*matrix); //两个同样是给二维数组第一个元素从键盘赋值。gcc运行&matrix[3][4]时出现警告,而*matrix不会,他们两的类型是完全相同的。。

&matrix[i][0] => &*(matrix[i] + 0) =>matrix[i];

matrix[i]就是二维数组第i行首地址。

二维数组名称,引用二维数组元素的过程:

matrix[i][j] <=> (*(matrix + i))[j]

*(mareix + i) 中:

matrix + i将移动i * sizeof(double[4])字节空间,即,跳跃i行元素!!!!

然后,*降其阶,是*(matrix)的指类成为double,即,matrix[i]是指针,是下标为i的那一行的首地址,只是,其指类已经变成double!

(matrix[i])[j] <=> *((matrix[i] + j)

matrix[i] + j事实上移动了 j +sizeof (double)个字节,即,在行内移动了J个double元素空间!

*(matrix [i] +j),对其指向的空间引用,实际上引用的就是matrix[i][j]!

关于&matrix

因为matrix的类型是double (*)[4],因此,&matrix的指类就是double (*)[4],那么,&matrix + 1应该移动48字节。

代码检验如下;

#include <stdio.h>

int main() {
    int num;
    double array[10];
    double *p;
    double matrix[3][4];
    // double[4] arr[3], *q = arr;    // 这种写法C编译器可能不接受!
    
    printf("%p\n", &num);
    p = &array[0];    // <=> p = &(*(array + 0));    <=> p = &*array;
    // <=> p = array;
    printf("p=%p array=%p &array[0]=%p\n", p, array, &array[0]);
    // 证明array就是指针,且指类与p是相同的:
    printf("p+1=%p array+1=%p\n", p+1, array+1);
    // 指针+1将移动该指针的“指类”长度;因为p的指类是double,
    // 因此,p+1应该移动8B;
    // 实验结果发现,array+1与p+1移动了相同的字节数,那么,可以说明
    // array的指类就是double。
    
    // matrix完全可以看成是一个一维数组的首地址常量:
    // double matrix[3][4]; => double[4] matrix[3];
    // 令double[4]为type(某种数据类型);那么,对matrix的定义可以看成:
    // type matrix[3];
    // 在这个角度看,matrix就是一个一维数组名称;根据前面对一位数组名称
    // 的讨论可知,matrix是一个指针常量,且其指类为type!
    // 更进一步可知:matrix + 1将移动sizeof(type)的长度!
    // 即,sizeof(double[4])
    printf("sizeof(double[4]):%d\n", sizeof(double[4]));
    printf("matrix:%p\t&matrix[0][0]:%p\n", matrix, &matrix[0][0]);
    printf("matrix+1:%p\t&matrix[0][0]+1:%p\n", matrix + 1, &matrix[0][0]+1);
    // matrix + 1移动了32B;&matrix[0][0] + 1移动了8B;
    // 说明:指针常量matrix的值与指针表达式&matrix[0][0]的值相同;
    // 但是!这不是两个类型相同的指针,即,指类不同!
    // matrix的指类是double[4];&matrix[0][0]的指类是double!
    // C编译器在处理两个指针时,在不涉及指类操作的情况下,将一视同仁!
    
    // scanf("%lf", &matrix[0][0]);    // 这是给二维数组第一个元素从键盘赋值
    // scanf("%lf", matrix); // 这同样可以完成上述任务!
    // 在此时,C编译器不对指针指类进行严格检查!!!
    // scanf("%lf", *matrix); // 这样的写法将使gcc的警告消失!
    // printf("matrix[0][0]:%lf\n", matrix[0][0]);
    // 上述实验证明*matrix与&matrix[0][0]类型是完全相同的!
    printf("*matrix+1:%p\t &matrix[0][0]+1:%p\n", *matrix+1, &matrix[0][0]+1);
    
    printf("\n&matrix:%p\t &matrix+1:%p\n", &matrix, &matrix + 1);
    scanf("%lf", &matrix); // 这样的写法将使gcc的警告消失!

    return 0;
}


 

posted @ 2018-05-13 13:53  离愁i  阅读(157)  评论(0编辑  收藏  举报