当使用c代码动态数组时，不同版本的gcc输出不同

Question

我正在用c语言编写一个有关动态数组的程序，代码是：

#include <stdio.h>

struct Vector {
    int size;
    int capacity;
    int *arr;
};

void add(struct Vector *Arr, int data) {

    if (Arr->size == Arr->capacity) {
        Arr->capacity *= 2;
        int arr[Arr->capacity];

        //array copy
        for (int i = 0; i < Arr->size; i++) {
            arr[i] = Arr->arr[i];
        }

        Arr->arr = arr;
    }

    int size = Arr->size;
    Arr->arr[size] = data;
    Arr->size++;

}

void display(struct Vector *Arr) {
    for (int i = 0; i < Arr->size; i++) {
        printf("%d ", Arr->arr[i]);
    }
    printf("\n");
}

int main() {
    int arr[10];
    struct Vector
            array = {0, 10, arr};

    //fill the array
    for (int i = 0; i < 10; i++) {
        add(&array, i);
    }
    display(&array);
    //more element than the init size
    add(&array, 10);
    display(&array);    //where the error happened

    return 0;
}

当数组增长时，它具有不同的输出，如下所示：

在gcc 4.9中使用dev-cpp：

在gcc8.2中使用vs代码

使用the online c compiler：

最后一个是我的期望。

Answer 1

问题是您的行为不确定，因此可能发生任何事情。它可以在不同的机器或编译器上以不同的方式体现。考虑一下：

if (Arr->size == Arr->capacity) {
        Arr->capacity *= 2;
        int arr[Arr->capacity];
        ...
        Arr->arr = arr; // Arr->arr points to a local variable!

在这里创建一个新数组，然后将其地址分配给向量。但是，当该功能完成时，该内存将变为无效。取而代之的是：

int *arr = malloc(sizeof(int) * Arr->capacity);

您将获得以下输出：

0 1 2 3 4 5 6 7 8 9
0 1 2 3 4 5 6 7 8 9 10

完成后，请不要忘记free。为了使其正常工作，我建议将int arr[10];更改为int arr = malloc(10*sizeof(int));，以使该数组永远不会出现在堆栈中，然后在free(Arr->arr);之前放置一个Arr->arr = arr;以及程序结尾处的free(array.arr);。