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

Question

注意:我正在 Ideone 上积极摆弄这个问题。 .

我有一个( self 引用)结构:

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;

只要确保在不再需要内存时就将其释放。