指向指针的复合文字数组的C99指针

Question

注意:我正在艾德龙上积极地处理这个问题。

我有一个(自我参照)结构：

typedef struct T_Function T_Function;
struct T_Function
{
    T_Function * (* inhibits)[]; // pointer to array of pointers to this structure
};

并希望使用复合文本作为inhibits指针的目标。与…有关的东西

T_Function a, b, c;
a.inhibits = & (<type>) {&b, &c};

这可以这样做，但我希望了解类型规范，以便我可以使用复合文字。

T_Function a, b, c;
T_Function * ai[] = {&b, &c};
a.inhibits = &ai;

<type> 的合适类型规范是什么？

Answer 1

a.inhibits是指向构成指针数组的一些后续内存位置的指针。如果要向a.inhibits分配某些内容，则需要一个指针数组，该指针的位置要存储在a.inhibits中。这就是为什么没有像&(...){&b, &c}这样的语法:无论您为...使用什么，它都不可能正确，因为内存中没有实际的数组{&b, &c}。

在第二个示例中，您将在堆栈上分配一个T_Function *指针数组。这是一个常见的编程错误：a.inhibits将指向堆栈上的某个位置，并且当当前堆栈帧离开时，a.inhibits的内容将被未定义。更糟糕的是，写入a.inhibits会导致未定义的行为。

您可能希望使用某种数据结构，但要回答您的问题，最简单的解决方案是在堆上分配数组：

#include <stdlib.h>

typedef struct T_Function T_Function;
struct T_Function
{
    T_Function **inhibits;  /* no [] */
};

…

T_Function a, b, c;
T_Function **ai = calloc(2, sizeof(T_Function *));
ai[0] = &b;
ai[1] = &c;
a.inhibits = ai;

一旦你不再需要它，就一定要释放它。

Answer 2

<type>可以是T_Function *[]。

typedef struct T_Function T_Function;
typedef T_Function * T_Inhibits[];

struct T_Function
{
    T_Inhibits * inhibitsTD; // pointer to array of pointers to this structure
    T_Function * (* inhibits)[]; // pointer to array of pointers to this structure
};

<snip>

T_Function x;
// direct
x.inhibitsTD = &(T_Function *[]) {&x};
x.inhibits = &(T_Function *[]) {&x};
// via typedef
x.inhibitsTD = &(T_Inhibits) {&x};
x.inhibits = &(T_Inhibits) {&x};

请注意，正如@user3426575所指出的那样，存在存储持续时间的危险。作为一个复合文字本身并不意味着静态的持续时间。

C99 6.5.2.5-6

复合文字的值是由初始化器列表初始化的未命名对象的值。如果复合文字发生在函数正文之外，则对象具有静态存储持续时间；否则，它具有与封闭块关联的自动存储时间。