C中指针和数组的工作

Question

我正在使用 Visual Studio 2013 for C。

ma​​in.c

int main()                          
{
    int arr[2][3] = { { 10, 20, 30 }, { 15, 25, 35 } };
    int **pArr = arr;

    printf("\n\n----SIZE OF----");
    printf("\nSizeOf(arr) = %d", sizeof(arr));
    printf("\nSizeOf(pArr) = %d", sizeof(pArr));

    printf("\n\n----DEREFERENCING THE ADDRESS----");
    printf("\narr = %d   *arr = %d   **arr = %d", arr, *arr, **arr);
    printf("\npArr = %d   *pArr = %d   **pArr = %d", pArr, *pArr, **pArr);    //EXCEPTION thrown here

    return 0;
}

查看此图像以了解引发的异常：

在使用断点时，会显示指针 pArr 和数组 arr 中的值：

但是当我从代码的倒数第二行中删除**pArr 部分时，程序输出如下：

----SIZE OF----
SizeOf(arr) = 24
SizeOf(pArr) = 4

----DEREFERENCING THE ADDRESS----
arr = 5569760   *arr = 5569760   **arr = 10
pArr = 5569760   *pArr = 10

指针pArr 是“指向int 指针的指针”类型，因此是arr 的地址。那为什么我使用int **pArr = arr;后无法访问**pArr？

Answer 1

如果您使用一维数组，arr 它是指向数组 arr 的基值的指针。那就是和&arr[0]一样好。

当您使用二维数组时，arr 表示指向基值的指针，即arr[0]，即(*arr)[3]。

所以你应该使用，

int (*pArr)[3] = arr;

代替

int **ptr = arr;

Answer 2

您收到错误消息，因为 *pArr 产生二维数组的第一个元素，即 10。
然后，通过在最后一个 printf 中写入 **pArr，您尝试取消引用十六进制 0xa 中的 10，从而显示错误消息。

Answer 3

您的数组arr 和pArr 包含地址0x60f914。这里的内存包含6个整数是你初始化的。

当您执行*pArr 时，它会给您包含地址0x60f914 即10。当您执行**pArr 时，它会给您包含地址10。

所以结论是二维数组不完全排列为_pointer-to-pointer-to-int`。

---

更新：

这类似于类型转换。如果您有一些内存地址（例如void *），您可以将其转换为任何内容（int * 或my_struct *）并访问它的包含。但这并不能保证该内存的结构和包含对于您尝试进行的类型转换是有效的。

Answer 4

改变

int **pArr = arr;

到

int *Arr = arr;
int **pArr = &Arr;

由于pArr 是指向int 类型指针的指针，因此您试图将其仅指向一个指针。 所以当试图取消引用一个未知的内存位置时会导致Segmentation fault

编辑：
考虑int arr[]；
这里&arr 和arr 是内存位置。 (arr+2) 来获取 arr[2] 的地址，而不是 ((&arr)+2) 来做同样的事情。同样，pArr 指向arr。当你写*pArr时，它与**arr相同

更多信息请参考Please explain the difference

Answer 5

多维数组是一种编译器构造。它是一个连续的内存区域，其位置被编译器抽象出来。计算机的物理内存布局是纯一维的（一个巨大的数组）。

所以，下面的代码：

int **pArr = arr;

它在以下程序集中翻译：

   6:hhh1.c         ****     int **pArr = arr;
  41                    .loc 1 6 0
  42 0032 488D45E0      leaq    -32(%rbp), %rax
  43 0036 488945D8      movq    %rax, -40(%rbp)

以及以下（正确）代码：

 int (*pArr)[3] = arr;

在以下程序集中翻译：

   6:hhh2.c         ****     int (*pArr)[3] = arr;
  41                    .loc 1 6 0
  42 0032 488D45E0      leaq    -32(%rbp), %rax
  43 0036 488945D8      movq    %rax, -40(%rbp)

惊讶于它的翻译完全一样！？这是因为第二个代码改变了编译器稍后在代码中获取内存的方式。

让我们看看最后一个 printf 或你的程序集，第一个是错误代码，第二个是正确代码：

  14:hhh1.c         ****     printf("\npArr = %d   *pArr = %d **pArr = %d", pArr, *pArr, **pArr);    //EXCEPTION thrown here
  71                    .loc 1 14 0
  72 00a0 488B45D8      movq    -40(%rbp), %rax
  73 00a4 488B00        movq    (%rax), %rax
  74 00a7 8B08          movl    (%rax), %ecx
  75 00a9 488B45D8      movq    -40(%rbp), %rax
  76 00ad 488B10        movq    (%rax), %rdx
  77 00b0 488B45D8      movq    -40(%rbp), %rax
  78 00b4 4889C6        movq    %rax, %rsi
  79 00b7 BF000000      movl    $.LC5, %edi
  79      00
  80 00bc B8000000      movl    $0, %eax
  80      00
  81 00c1 E8000000      call    printf

现在，使用第二种样式生成：

  14:hhh2.c         ****     printf("\npArr = %d   *pArr = %d **pArr = %d", pArr, *pArr, **pArr);    //EXCEPTION thrown here
  71                    .loc 1 14 0
  72 00a0 488B45D8      movq    -40(%rbp), %rax
  73 00a4 8B08          movl    (%rax), %ecx
  74 00a6 488B55D8      movq    -40(%rbp), %rdx
  75 00aa 488B45D8      movq    -40(%rbp), %rax
  76 00ae 4889C6        movq    %rax, %rsi
  77 00b1 BF000000      movl    $.LC5, %edi
  77      00
  78 00b6 B8000000      movl    $0, %eax
  78      00
  79 00bb E8000000      call    printf

哇！现在看到了吗？不一样。