C理解指针和数组名

文章目录

一、理解一维数组

数组名代表整个数组空间，而不是首元素的地址

我们发现这三个表达式的值都是一样的，但理解方式不一样

• &ar[0]：表示首元素的地址
• ar：数组名ar内部有值，这个值是数组空间的起始地址（即首元素的地址）
• &ar：表示整个数组空间的起始地址

对于数组，我们只能做两件事：指向该数组首元素的指针以及数组的大小

&ar需要用数组指针（指向固定空间的指针，偏移能力就是这个空间大小）接收，而不是用一个普通的指针接收

int (*p1)[10] = &ar;

由于编译器将​​[]​​​操作翻译为指针偏移，所以​​0[ar]​​​的写法也能编译通过，意义和​​ar[0]​​相同

二、理解二维数组

二维数组名不能用二级指针接收，我们考虑一维数组名br可以用​​int* p​​接收，因为p存放了br首元素的地址

以此类推，我们用一个指针指向二维数组首元素的地址即可。而二维数组ar[3][4]首元素是ar[0]，是一个数组，数组的地址就要用指向数组的指针接收，即：

int(*p1)[4] = ar;

int main() {
    int ar[3][4] = { 0 };
    *(*(ar + 1) + 1) = 1;  // ar[1][1]
    *(ar[1] + 1) = 100;    // ar[1][1]
    return 0;
}

数组名偏移就相当于指向数组首元素的指针偏移，所以​​ar​​​的偏移能力和​​(*p)[4]​​的偏移能力相同

三、关于指针的题目

// p1是一个指针数组，数组有10个元素，每个元素都是指针，每个指针存放一个函数的地址
int (*p1[10])(int*);    

int (*p2)[10](int*); // error

 // p3是一个数组指针，指向含有10个函数指针的数组
int (*(*p3)[10])(int*);

int((int*)[10])* p4; // error

分析：

​​int a[4][4]​​​，a指向一个数组，数组里有4个元素，每个元素的类型都是​​int[4]​​​（严格控制了a[0]和a[1]之间的距离就是​​sizeof(int)*4​​），a的本质是一个数组指针

​​int* p[4]​​​，p指向一个数组，数组里有4个元素，每个元素的类型都是​​int*​​（p[0]和p[1]之间的距离无法确定，要看具体指向的对象），p的本质是一个指针数组

int a[4][4];
    int* p[4];

    int p0[4] = { 0,0,0,0 };
    int p1[4] = { 1,1,1,1 };
    int p2[4] = { 2,2,2,2 };
    int p3[4] = { 3,3,3,3 };
    p[0] = p0;
    p[1] = p1;
    p[2] = p2;
    p[3] = p3;

    for (int i = 0; i < 4; i++) {
        for (int j = 0; j < 4; j++) {
            a[i][j] = 1;
        }
    }

​​int (*p)[n]​​​，​​()​​优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。所以数组指针也称指向一维数组的指针，亦称行指针。

如要将二维数组赋给一指针，应这样赋值：

int a[3][4];
  int (*p)[4];  //该语句是定义一个数组指针，指向含4个元素的一维数组。
  p = a;        //将该二维数组的首地址赋给p，也就是a[0]或&a[0][0]
  p++;          //该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]

int arr1[4][4] = { 1,2,3,4,1,2,3,4,1,2,3,4,1,2,3,4 };
    int arr2[4] = { 5,6,7,8 };
    // arr1和arr2都可以给a赋值
    int(*a)[4] = arr2;

    // 访问的形式就好像用arr1赋值一样
    // 其实a[0]存放的也是一个地址，a[0]和a[1]相差也是16字节
    printf("%d\n", a[0][0]);
    printf("%d\n", a[0][1]);
    printf("%d\n", a[0][2]);
    printf("%d\n", a[0][3]);

参考： 数组指针和指针数组的区别