Question

注意：我正在Ideone上积极摆弄这个。

我有一个（自我参照）结构：

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

复合文字的值是未命名对象的值由初始化列表初始化。如果出现复合文字在函数体外，该对象具有静态存储持续时间;否则，它有自动存储持续时间封闭的块。

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

2 个答案: