记录C语言中关于指针的一个错误_先free了然后malloc-优快云博客

本文探讨了一个C++程序中的常见错误，即在函数中尝试通过先释放内存再重新分配的方式扩容数组。该操作导致了内存泄漏和不可预测的结果。正确的方法是使用二级指针来修改原始指针的值。示例展示了如何修正这个错误，以确保正确地管理和更新指向内存的指针。

这是一个错误程序示例，它试图通过函数foo()将地址x上的数组进行扩容。这里采用了先free再malloc的方式，期望输出结果为“1 2 3 4”。但实际上，这段程序会输出“0 0 0 0”（结果可能会随编译器而异）。

void foo(double *x){
    // This is a dangerous operation.
    free(x);
    x = (double *)malloc(4 * sizeof(double));
    x[0] = 1.0;
    x[1] = 2.0;
    x[2] = 3.0;
    x[3] = 4.0;   
}

int main(){
    double *a = (double *)malloc(2 * sizeof(double));
    a[0] = 0.0;
    a[1] = 0.0;
    foo(a);
    for (int i = 0; i < 4; i++)
        printf("%f ", a[i]);
    printf("\n");
    return 0;
}

原因是malloc前的地址x和malloc后的地址x可能不一样（根据内存管理方法来确定是在原来的地方分配内存还是在新的地方分配内存），一旦函数返回，新的地址就丢失了，而a依旧是原来的地址，但那片内存空间已经释放了，因此造成了内存泄露。正确的方法应该采用二级指针，这样才会修改&a上指针的值。

#include "stdio.h"
#include "stdlib.h"

void foo(double **x){
    // This is correct.
    free(*x);
    *x = (double *)malloc(4 * sizeof(double));
    (*x)[0] = 1.0;
    (*x)[1] = 2.0;
    (*x)[2] = 3.0;
    (*x)[3] = 4.0;   
}

int main(){
    double *a = (double *)malloc(2 * sizeof(double));
    a[0] = 0.0;
    a[1] = 0.0;
    foo(&a);
    for (int i = 0; i < 4; i++)
        printf("%f ", a[i]);
    printf("\n");
    free(a);
    return 0;
}