5

我最近才知道我实际上可以在 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循环中，分配不会在循环的多次迭代中继续存在，但还有哪些其他条件可能导致它不存在？

4

1 回答 1

12

在函数中定义的复合文字具有与包含它的块关联的自动生命周期（即与在同一级别上声明的变量具有相同的生命周期）。这在标准第 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
}
于 2013-02-19T10:37:28.283 回答