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

Question

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

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

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
}