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

Question

我在 SO 上找到了一个 answer，建议使用以下解决方案在 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;
}

概括：

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

Answer 1

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

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

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

在此代码中：

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

arr 设置为指向复合文字，但 arr 只是一个函数参数。当函数 returns.

时，它实际上不再存在

在此代码中：

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 是否设置为指向复合文字、分配的内存或其他任何内容，这都是正确的：更改函数内的参数不会更改作为参数传递的内容。

要从函数中获取指针，您可以 return 它或者您可以将指针传递给指针，以便函数具有指针的地址：

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 来释放内存。

Answer 2

这被称为复合文字，int *foo = (int[]){1,2,3,4,5}; 等代码可以被视为 100% 等同于此：

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

也就是说，复合文字与在相同范围内声明的命名数组具有相同的范围和存储持续时间。

Will it cause memory leaks if my array was previously created?

没有。如果在本地范围内声明了复合文字，它将在声明它的 { } 内有效（所谓的 自动存储持续时间 ）。之后，它会像任何其他局部变量一样自动清理。因为它没有使用分配的存储空间，所以没有泄漏。

Is it allowed to use such an approach in function calls?

没有。就像任何局部变量一样，您不能 return 从函数内部指向它的指针。

此外，您的示例有一个错误，它只是设置了指针参数的本地副本arr。调用者中的指针按值传递，不受 arr = (int[]){-2, -7, 1, 255}; 行的影响。

Does such syntax just allocates new memory in heap with predefined values and returns pointer?

C 标准没有指定变量的分配位置。但是当查看所有著名的编译器实现时，可能会出现以下情况：

Compilers/linkers 除非通过 malloc.
局部复合文字可能分配在堆栈 and/or 寄存器中。
文件范围复合文字可能分配在 .data 段中。

Does it clear automatically everything that was in the previous pointer?

数据不存储在“指针内部”，但是指向的内存在超出范围时将被“清除”（变得无效，无法使用并可用于程序的其他部分）。不管有没有指点。

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

Does array reinitializing cause memmory leaks?

c

c99