c - 这个指针是如何在这个 C 代码中得到解析的？

Question

我有一些代码(如下)，我将一个整数数组的地址分配给一个指针。我以两种方式分配并期望有两个不同的输出，但在这两种情况下输出是相同的。

main()
{
   int a[]={11,2,3};
   int *p=&a;
   printf("%d",*(p+1));
}

它应该给我一些垃圾值，因为 p 指向下一个一维数组

main()
{
   int a[]={11,2,3};
   int *p=a;
   printf("%d",*(p+1));
}

这应该打印 2。

但是这两个函数都打印2。

这不是我所期望的。谁能解释发生了什么？

谁能告诉我如何使指针指向整个数组而不是仅仅指向单个元素。

Answer 1

如果您编译第一个程序，您将收到编译器警告:

 warning: initialization from incompatible pointer type

因为 p 的类型是指向整数的指针，而 &a 的类型是 指向整数数组的指针。编译第二个程序没问题，因为再次p有类型int*和a有类型int[]`(即，整数数组)，但在 C 中，您可以将整数数组传递/分配给整数指针就好了。指针的值赋给数组的起始地址。

在C语言中用方括号定义数组时，数组会被立即放入栈或数据段，所以数组的起始地址与数组变量本身的地址相同!这与使用 malloc 创建的数组不同。

这对您来说意味着:假设变量 a 分配在地址 4e78ccba 处。这意味着 &a 是 4e78ccba。但是在 C 中，a 的值在传递/分配给指针时根据定义是数组开头的地址，所以这也是 4e78ccba。

同样，如果您使用 malloc 进行设置，事情就会有所不同。 (试试吧!!)顺便说一句，注意警告。 :) 这是一个有趣的问题，因为 C 的类型非常弱，它只在第一种情况下给你一个警告。强类型语言不会喜欢整数指针与整数数组指针的混合。

附录

下面是一些代码，展示了如何实际区分指向第一个元素的指针和指向整个数组的指针:

#include <stdio.h>
int main() {
    /* a is an array of ints, but can be used as a pointer to int */
    int a[] = {11, 2, 3};

    /* Using a as an int pointer */
    int* p = a;
    printf("%d\n", *(p+1));

    /* Now here is how to make a pointer to the array itself! */
    int (*q)[] = &a;
    printf("%d\n", (*q)[2]);

    return 0;
}

这个程序输出

2
3