二维数组 `memset` 上的困惑和 `free` 上的错误

Question

我使用malloc动态分配内存，使用memset初始化二维数组，并使用free释放内存。代码是:

int n1=2,n2=5;
int in1;
float **a;
a = (float **)malloc(n1*sizeof(float *));
for (in1=0;in1<n1;in1++)
    a[in1] = (float *)malloc(n2*sizeof(float));
memset(a[0],0,n1*n2*sizeof(float));
free(*a);free(a);

运行代码时的第一个问题是: * `./try1' 中的错误:free():下一个尺寸无效(快速):0x0000000000c06030 *

第二个问题是:因为使用memset的前提是要有连续的内存。这就是它不适用于 3D 数组的原因(请参阅 Error in memset() a 3D array )。但这里a是一个2D指针或者数组，memset的输入是a[0]。我的理解是:

  +---------+---------+-----+--------------+
  | a[0][0] | a[0][1] | ... | a[0][n2 - 1] |
  +---------+---------+-----+--------------+
    ^
    |
 +------+------+-----+-----------+
 | a[0] | a[1] | ... | a[n1 - 1] |
 +------+------+-----+-----------+
           |
           v
         +---------+---------+-----+--------------+
         | a[1][0] | a[1][1] | ... | a[1][n2 - 1] |
         +---------+---------+-----+--------------+

上图显示的是连续内存。所以memset(a[0],0,n1*n2*sizeof(float));可以成功初始化**a。我对吗？如果不连续的话初始化怎么能成功呢？ (来自经过测试的开源代码)

Answer 1

The above figure shows the contiguous memory.

不，没有。它显示了两个连续内存区域:a[0][0] -> a[0][n2 - 1] 和 a[1][0] -> a[1][n2 - 1]。

您可以尝试初始化并删除它们:

int n1 = 2, n2 = 5;
int in1;
float **a;
a = (float **)malloc(n1*sizeof(float *));
for (in1 = 0; in1<n1; in1++)
{ 
    a[in1] = (float *)malloc(n2*sizeof(float));
    memset(a[in1], 0, n2*sizeof(float));
}
for (in1 = 0; in1<n1; in1++)
{
    free(*(a+in1));
}
free(a);

仅在“真实”二维数组的情况下，例如 float a[2][5];，您对连续内存的假设是正确的。