c - 未使用指针正确交换 2D 矩阵的行 - C

Question

这是一个简单的程序。目的是将“q”行与“q+1”行交换。奇怪的是，它一开始并没有按预期工作，并非所有行都被正确交换。然后我将临时变量 (t) 带到 for 之外，并删除了 malloc，因为不需要它。然后就成功了。因为这一切对我来说似乎很奇怪，所以我反转了代码(几个 Ctrl+Z)并再次编译。令我惊讶的是它仍然有效，之前不起作用的相同代码(循环中的“t”和malloc)现在可以工作了。为什么？我的意思是，下面的代码有问题吗？

void swap(int **a)
{
    for(int q=0;q<3;q++)
    {
        int *t=malloc(sizeof(int)*4);
        t=a[q];
        a[q]=a[q+1];
        a[q+1]=t;
        free(t);
    }
}

int main()
{
    int **a=malloc(4*sizeof(int*));
    for(int q=0;q<4;q++)
        a[q]=malloc(4*sizeof(int));

    for(int q=0;q<4;q++)
        for(int w=0;w<4;w++)
            a[q][w]=q;

    swap(a);
    for(int q=0;q<4;q++)
    {
        for(int w=0;w<4;w++)
            printf("%d ", a[q][w]);
        printf("\n");
    }
}

Answer 1

1. 对 malloc() 的调用是无用的，因为您通过将 a[q] 分配给 t 立即覆盖返回值>。分配的内存丢失。这称为内存泄漏。

2. 调用free()不会释放t = malloc(...)分配的内存，而是释放分配的内存a[q] = malloc(...)。随着 q 的前进，您正在逐行销毁数组 a。

3. 如果删除分配t = malloc(...) 和free(t)，代码开始接近正确性，但是...

4. 它的作用是:

   • a[0] 与 a[1] 交换，因此数组 a 现在为 1 0 2 3
   • 然后将 a[1] 与 a[2] 交换，因此数组 a 现在为 1 2 0 3
   • 然后将 a[2] 与 a[3] 交换，因此数组 a 现在为 1 2 3 0