c - 数组初始化会导致内存泄漏吗？

Question

我找到了一个 answer在 SO 上建议使用以下解决方案在 c 中重新初始化数组。

int *foo = (int[]){1,2,3,4,5};

我不太确定这样的语法到底能做什么，我有几个问题:

如果我的数组是之前创建的，会不会导致内存泄漏？

double *my_array = (double[]){1.1, 2.2, 3.3, 4.4, 5.5};

...

my_array = (double[]){-1.1, -2.2, -3.3}; // Do i need to call free(my_array) first?

是否允许在函数调用中使用这种方法？

void foo(int *arr)
{
  arr = (int[]){-2, -7, 1, 255};
}

int main()
{
  int *my_array = (int[]){1, 2, 3};
  foo(my_array);
  
  if (my_array[2] != 1)
    return -1;
}

概括:

• 这种语法是否只是在堆中使用预定义值分配新内存并返回指针？
• 它会自动清除前一个指针中的所有内容吗？

Answer 1

首先，声明 int *foo 使 foo 成为指针，而不是数组。

(int[]){1,2,3,4,5} 是复合文字。很少有充分的理由以这种方式将指针设置为复合文字。

复合文字是自动管理的，所以你不需要释放它们。如果复合字面量出现在任何函数之外，则它具有静态存储持续时间；它存在于程序的整个执行过程中。否则，它具有与其所在 block 关联的自动存储持续时间，并且其内存保留将在该 block 执行结束时结束。如果在 block 执行结束后使用指针，则不应将指针设置为指向此类复合文字。

在这段代码中:

void foo(int *arr)
{
  arr = (int[]){-2, -7, 1, 255};
}

arr 被设置为指向复合文字，但 arr 只是一个函数参数。当函数返回时，它实际上不再存在。

在这段代码中:

int *my_array = (int[]){1, 2, 3};
  foo(my_array);
  
  if (my_array[2] != 1)
    return -1;

当foo 被调用时，它的参数arr 被设置为my_array 的值。当 arr 在 foo 中改变时，它不会影响 my_array。 my_array 仍将指向 (int[]){1, 2, 3} 的开头。无论 arr 是否设置为指向复合文字、分配的内存或其他任何内容，这都是正确的:更改函数内部的参数不会更改作为参数传递的内容。

要从函数中取出指针，您可以返回它，也可以将指针传递给指针，以便函数具有指针的地址:

void foo(int **arr)
{
    *arr = (int []) { -2, -7, 1, 255 };
}

int main(void)
{
    int *my_array = (int []) { 1, 2, 3 };
    foo(&my_array);
    …
}

但是，foo 会将其复合文字的地址放入函数结束后使用的指针中。在这种情况下，您应该调用 malloc 来保留内存，然后将数据复制到分配的内存中。稍后，在程序处理完该数据后，它会调用 free 来释放内存。