使用灵活的数组成员实现堆栈

Question

使用这个结构：

typedef struct MyStack {
    size_t     size;      // current size of stack
    size_t     max;       // max size of stack
    Item*      data[];
} MyStack;

我该如何做一个正确的 malloc 然后 realloc ？例如，如果我这样做：

MyStack* stack = malloc(sizeof(MyStack));
stack->data  = malloc(size * sizeof(Item*));
// ... and later on...
stack->data = realloc(stack->data, new_stack_size);

我收到以下错误：

错误：灵活数组成员的使用无效
错误：灵活数组成员的使用无效（以上每一项都有一个错误）

那么，这样做的正确方法是什么？使用Item** data 而不是Item data[] 会更简单吗？

Answer 1

不，您不想为此使用灵活的数组成员（即data[];）。 Item *data[] 的分配是在分配整个MyStack 的相同 操作中完成的，因为Item *data[] 将位于它的末尾。

但是这对你的堆栈永远不起作用，因为大概你想在别处保存指向堆栈对象的指针。当您 realloc 时，之前指向 stack 的 all 指针将变为无效（不确定是否准确）。否则，所有更改stack 的函数都必须始终将MyStack **stack 指向指针的指针作为参数，并且您只能对它有一个直接引用。

因此，您不想在这里使用灵活的数组成员。所以是的，如果数据项包含在堆栈中，则大部分只使用Item **data 甚至Item *data 会更简单。这意味着如上所述的双重间接，但在这种情况下处理起来会简单得多，您可以将MyStack *stack 传递给任何修改堆栈的函数。

附：总是将分配扩大一个因子而不是一个常数，这样每次插入操作的摊销插入成本是O(1)而不是O(n) ，即new_stack_size = new_stack_size * 5 / 4 + 1 什么的……