c - 结构内的灵活数组成员 (c99)

Question

我已经使用这段代码一段时间了，它运行良好，但实现它让我有些头疼。它使用灵活数组成员 (FAM) 又名 Struct Hack。现在 C99 有可能使用可变长度数组 (VLA)，我想知道如何在这 block 发挥优势？

typedef struct nO
{
    int oper;              /* some operator */
    int nops;              /* number of args */
    struct nO *ptn[1];     /* expansible array <=== HERE */
} nodoOper;

nodoOper *operator(int o, int n, ...)
{
    va_list ap;
    nodoOper *tn;
    size_t tam;
    int i;

    tam = sizeof(nodoOper) + (n - 1) * sizeof(nodoOper *); /* <=== AND HERE */

    if((tn=malloc(tam))==NULL)
        yyerror("Memory fault (cod. 4)");

    tn->oper = o;
    tn->nops = n;
    va_start(ap, n);
    for(i=0; i<n; i++)
        tn->ptn[i] = va_arg(ap, nodoOper*);
    va_end(ap);
    return tn;
}

(我在这里简化了整个结构和代码，因为它使用了两个对问题不重要的结构，所以这个例子可能有错误)

现在，结构定义在头文件 (.h) 中，代码为编译器创建语法树。如何更改数组以使用可变长度？

谢谢! 成为。

已编辑:将上次编辑回退到灵活数组成员。

第二版。假设我在函数中添加了这段代码:

struct nOp
{
    int oper;             /* some operator */
    int nops;             /* number of args */
    struct nOp *ptn[n];   /* Variable Length Array (VLA) */
};
struct nOp tnop;
struct nOp *tn2;

tn2 = &tnop;
return tn2;

我看到的第一个问题是，我返回了一个指向局部变量的指针。但除此之外，这条路是否富有成效？ 谢谢

Answer 1

实际上，您要在此处使用的不是可变长度数组，而是 struct hack，又名“不完整类型”，又名“灵活数组成员”:

typedef struct nO
{
    int oper;
    int nops;
    struct nO *ptn[];  // <== look ma, no index!
} nodoOper;

// skip a bit
// no more (n-1) --------\
tam = sizeof(nodoOper) + n * sizeof(nodoOper *);

只有 struct 的最后一个成员可能是“灵活的”。

可变长度数组是一个不同的特性:

void foo(int size)
{
    float a[size];               // run-time stack allocation
    printf("%lu\n", sizeof(a));  // and run-time sizeof (yuck)
}

(哦，这些东西叫做数组，不是矩阵。)