Question

我正在尝试实现一个必须具有以下结构的动态数组：

typedef struct DArray{
    void **array;
    int capacity;
    int size;
    void (*display)(FILE *, void *); //function pointer to a non-generic display function
} DArray;

但是，对于当前行为，数组似乎没有调整大小，并且在我尝试访问不为零的索引时抛出段错误。构造函数和插入函数如下：

DArray *newDArray(void (*d)(FILE *,void *)){
    DArray *myDarray = malloc(sizeof(DArray));
    myDarray->array = malloc(sizeof(void *)); //size = 1 for now, otherwise multiply by array length
    myDarray->capacity = 1;
    myDarray->size = 0;
    myDarray->display = d;
    return myDarray;
}

void insertDArray(DArray *a,void *v){
    if (a->size < a->capacity)
        a->array[a->size] = v;
    else{
        void **newArray = malloc(sizeof(void *) * a->capacity * 2); //double size
        for (int i = 0; i <= a->size; i++)
            newArray[i] = a->array[i];  //clone old array
        a->capacity = a->capacity * 2;
        free(a->array);
        a->array = newArray;
    }
    a->size++;
}

我在这里无法理解我的指针。我认为发生的事情是指向a-＆gt;数组的指针仍然指向旧的，未显示的数组，但执行*a->array = newArray;也不起作用。任何人都可以对此有所了解吗？

Answer 1

此循环导致缓冲区溢出。应为i < a->size，因为如果capacity为5，则只有在size为5时才展开它，因此您将访问数组中的第6个元素。

for (int i = 0; i <= a->size; i++)

调整大小时，您还没有添加新值。可能会改变代码的逻辑......

if (a->size == a->capacity)
{
   /* resize array */
}
a->array[a->size++] = v;

...注意检查使用malloc或realloc等的结果......

动态数组内存分配与void **

1 个答案: