c - C 中的二维数组内存映射

Question

我一直在用 C 在二维数组上做各种问题。每个问题就像在我头上打另一个椰子，因为每个问题都使用不同的方法。例如一些使用“采用二维数组(如 [2][4 ]), 现在这创建了两个数组，其中一个数组的大小为 2，包含二维数组每一行的地址(就像这样有两行，每行四个值)”。而其他方法将其视为连续的一维数组representation.now 使用哪种方法。适当的内存映射会有很大帮助。下面是练习的示例问题。

int main()
{ 
   unsigned int x[4][3] = {{1, 2, 3}, {4, 5, 6}, 
                           {7, 8, 9}, {10, 11, 12}};
   printf("%u, %u, %u", x+3, *(x+3), *(x+2)+3);
}

output:2036,2036,2036

现在，如果是第一种方法，x+3 和 *(x+3) 的地址为什么相同？

Answer 1

C 语言中的内置数组总是使用“第二种”方法(根据您的编号)，没有异常(exception)。每次声明 1D、2D、3D 或任何 D 数组时，如示例代码中所示，该数组作为连续内存块在内存中布局 - 作为“组合”大小的一维数组(即所有大小的倍数)。

“第一种”方法只能用于“手动”组装的数组(所谓的“锯齿状”或“参差不齐”数组)。该语言不会使用这种方法来表示明确声明的多维数组。

但是，使用%u 格式说明符来打印指针值是未定义的行为。停止这样做。函数printf 提供%p 格式来打印指针。

在 x + 3 表达式中，unsigned [4][3] 类型的对象 x 隐式衰减为 类型的值>unsigned (*)[3] - 指向 x[0] 子数组的指针。根据指针运算规则，x + 3 是指向 x[3] 子数组的 unsigned (*)[3] 类型的值.

同样的事情最初发生在 *(x + 3) 表达式中，除了 x + 3 (再次指向 x[3 ] 子数组)被 * 运算符取消引用并成为 x[3] 子数组本身。在 print 参数的上下文中，此子数组立即衰减为指向 x[3][0] 的 unsigned * 类型的值。

因此，即使 x + 3 和 *(x + 3) 的结果类型不同，它们仍然指向内存中完全相同的位置。这就是指针值在数字上看起来相同的原因。

同样的事情会发生在下面的简单例子中

int main()
{
  int a[10];
  printf("%p %p\n", (void *) &a, (void *) &a[0]);
}

输出将显示两个指针的相同数值。你的例子有点复杂，但本质上是一样的。