引用的复合数组文字的生命周期

我最近才知道我实际上可以在C语言中使用复合文字数组的引用，我发现它很有用，但我不太明白它是如何工作的。

例如，假设我使用该function来避免必须为一个调用声明一个变量一些套接字接口函数，我不关心返回名称长度，如下所示：

int sockfamily(int fd) { struct sockaddr_storage ss; getpeername(fd, (struct sockaddr *)&ss, (socklen_t [1]){sizeof(ss)}); return(ss.ss_family); } 

显然， sizeof(ss)需要实际存储在堆栈上，以便将指向它的指针传递给getpeername ，因此必须为此目的分配和保留堆栈上的空间，但这个分配的生命周期是多少？ 我可以信任多久保持分配？

看一下GCC的汇编输出，我观察到如果我在循环中调用getpeername ，那么循环的多次迭代就不能存在分配，但是其他条件可能导致它不再存在？

Answer 1

函数中定义的复合文字具有与包含它的块相关联的自动生命周期（即与在同一级别上声明的变量相同的生命周期）。 这在6.5.2.5p5标准中规定。

 int f() { for (int i = 0; i < 10; ++i) { int *j = (int []){i}; // storage duration of loop body } } 

这实质上意味着复合文字等同于在同一范围内声明和初始化的变量：

 int f() { for (int i = 0; i < 10; ++i) { int __unnamed[] = {i};  int *j = __unnamed; } } 

如果将复合文字传递给指针在其生命周期内持续存在的任何地方，请注意：

 int f() { int *p; if (1) { p = (int []){0, 1, 2}; assert(p[0] == 0); } // *p is undefined }