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

Question

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

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)
}

（哦，这些东西叫做数组，而不是矩阵。）

Answer 2

该构造的 C 名称是“灵活数组成员”（它可能有助于您的搜索），或 C99 之前的“struct hack”。

看Standard中的6.7.2.1；文中有示例用法。

---

您可能还对“可变长度数组”感兴趣。请参阅标准中的 6.7.5.2。