如何在不引起内存损坏的情况下将数据存储在可变长度数组中？

Question

这是一个非常基本的问题，出于某种原因，目前我没有找到合适的解决方案。 我正在处理一个声明以下结构的第三方SDK：

struct VstEvents
{
    VstInt32 numEvents;  ///< number of Events in array
    VstIntPtr reserved;  ///< zero (Reserved for future use)
    VstEvent* events[2]; ///< event pointer array, variable size
};

即使这是一个“可变大小”数组，它也是静态声明的。 所以很明显，如果我创建一个VstEvents对象，将numEvents设置为某种东西，然后经历并将其添加到数组中，将会导致内存损坏。

那么我应该如何正确处理这样的结构呢？ 我应该分配自己的VstEvent *数组，然后将event [0]指向它吗？

Answer 1

您需要预分配一块足够大的内存，以容纳整个内容以及所需的任何其他记录...

struct VstEvents
{
    VstInt32 numEvents;  ///< number of Events in array
    VstIntPtr reserved;  ///< zero (Reserved for future use)
    VstEvent* events[2]; ///< event pointer array, variable size
};

#define numEventsRequired 10
VstEvents *vstEvents = (VstEvents*)malloc(sizeof(VstEvents) + sizeof(VstEvent*)*(numEventsRequired-2));

vstEvents->numEvents = numEventsRequired;

Answer 2

如果您知道有多少可以分配给

struct VstEvents *evnts;

evnts = (struct VstEvents*)malloc(sizeof(struct VstEvents) + 
                                  numEvents*sizeof(VstEvent*));

这将分配2个额外的插槽

Answer 3

您的第三方库有点奇怪。 您需要区分两种“可变大小的数组”

• 分配数组时大小是已知的， 此后永远不会更改 。 这是简单的情况，下面显示一个C99惯用法。

• 分配数组时最终大小是未知的，并且数组可能需要在其生命周期内增长 。 对于这样的事情，我建议您在Dave Hanson的C接口和实现中的源文件seq.c中检查Seq_T的实现 。 您可以相当轻松地修改他的代码。

如果您知道分配时的大小，则C99习惯用法是这样的：

struct VstEvents
{
    VstInt32 numEvents;  ///< number of Events in array
    VstIntPtr reserved;  ///< zero (Reserved for future use)
    VstEvent* events[];  ///< event pointer array, variable size
};


struct VstEvents *alloc_vst_events(int num_events) {
  struct VstEvents *p = 
            malloc(sizeof(*p) + num_events * sizeof(p->events[0]));
  return p;
}

关键是结构中的怪异数组，大小未指定。 需要C99。

既然您对第3方怪异的事物感到困惑，我会尝试这样做：

#define NELEMS(A) (sizeof(A) / sizeof((A)[0]))

struct VstEvents *alloc_vst_events(int num_events) {
  struct VstEvents *p;
  int events_needed = num_events - NELEMS(p->events);
  p = malloc(sizeof(*p) + events_needed * sizeof(p->events[0]));
  return p;
}

免责声明： 我尚未通过编译器推送此代码 。 欢迎更正。

Answer 4

该结构声明的是一个指向VstEvent对象的指针数组（大小为2）。 您应该分配一个VstEvent并将其分配给events [0]，将numEvents设置为1。如果有2个VstEvents，则分配另一个VstEvent，将其分配给events [1]，并将numEvents设置为2。如果需要两个以上，则需要对VstEvents进行重新分配以增加其大小，以便事件包含所需的指针数量，并根据需要分配给2、3、4...。 或者，如果您提前知道需要存储多少事件，则可以按照@ SDX2000所示最初分配它。

我认为基本思想是为了方便起见，它们使用大小2声明，这样，如果您只有1或2，则无需执行额外的malloc来调整事件数组的大小。