c - 从结构内部的指针数组访问指针会导致段错误

Question

我在尝试从 cart_t 中的 **addr 变量访问 item_t 指针的成员时遇到困难。 cart_t的定义如下:

typedef struct cart_struct {
    item_t **addr;
    int ptr;
    float total;
} cart_t;

我已使用以下代码初始化并向 **addr 添加项目:

cart_t *cart_append_item(cart_t *cart, item_t *item) {
    if (cart == NULL || item == NULL)
        return NULL;

    item_t **new = (item_t**) malloc(sizeof(item_t*) * (cart->ptr + 1));

    if (new == NULL) {
        return NULL;
    }

    int i;
    for (i=0; i<cart->ptr; i++) {
        new[i] = cart->addr[i];
    }

    new[i+1] = item;

    if (cart->addr != NULL) {
        free(cart->addr);
    }

    cart->addr = new;

    cart->ptr += 1;
    printf("price %f, quantity %d, total %f\n", new[cart->ptr]->price, new[cart->ptr]->quantity, new[cart->ptr]->price * new[cart->ptr]->quantity); // this works.
    //printf("total_prev %f\n", cart->total);
    cart->total += item->price * item->quantity;
    //printf("total %f\n", cart->total);

    return cart;
}

正如您在上面的代码中看到的，调试 printf 实际上有效。但是当我稍后尝试在 cart.addr[n] 上执行此操作时，会导致段错误:

// cart_t canteen_cart
// item_t *item_current
...
if (cart_append_item(&canteen_cart, item_current) == NULL) {
    // error. clean up
}
...
printf("[TEST] price %f, quantity %d, total %f\n", canteen_cart.addr[canteen_cart.ptr-1]->price, canteen_cart.addr[canteen_cart.ptr-1]->quantity, canteen_cart.addr[canteen_cart.ptr-1]->price * canteen_cart.addr[canteen_cart.ptr-1]->quantity); // segmentation fault
...

谢谢!

<小时/>

int main() 的片段:

int main() {
    cart_t canteen_cart;
    canteen_cart.addr = NULL;
    canteen_cart.ptr = 0;
    canteen_cart.total = 0.0f;

    item_t *item_current = NULL;

    ...
    a hundred of lines later of user input thingy
    ...

    if (state == STATE_CHECKOUT) {
        printf("[TEST] %d\n", canteen_cart.addr == NULL); // returns 0
        printf("[TEST] %d\n", canteen_cart.ptr > 0); // returns 1, there are some items in the array
        printf("price %f, quantity %d, total %f\n", canteen_cart.addr[canteen_cart.ptr-1]->price, canteen_cart.addr[canteen_cart.ptr-1]->quantity, canteen_cart.addr[canteen_cart.ptr-1]->price * canteen_cart.addr[canteen_cart.ptr-1]->quantity);
    print_view_checkout(&canteen_cart); // SEGMENTATION FAULT HERE
    }

    cart_free_items(&canteen_cart); // free cart and all the members within it.

    return 0;

}

Answer 1

现在，当我们看到如何初始化 canteen_cart 时，请从 cart_append_item 函数中获取此单行:

new[i+1] = item;

在第一次调用cart_append_item函数时，cart->ptr的值(它的名字确实很糟糕)是0 。这意味着循环不会迭代，并且 i 的值将为零。这意味着您实际上正在执行 new[1] = item，其中 new 仅具有用于索引 0 的单个元素的空间。这种写出界当然会导致 undefined behavior ，使您的整个程序格式错误且无效。并且容易崩溃。

每次连续调用 cart_append_item 时，您都会继续写入越界内容。

简单的解决方案？请改用 new[cart->ptr] = item。

<小时/>

然后关于我的 realloc 注释，如果使用 realloc，您可以使函数变得更短更简单:

cart_t *cart_append_item(cart_t *cart, item_t *item) {
    if (cart == NULL || item == NULL)
        return NULL;

    item_t **new_items = realloc(cart->addr, sizeof *cart->addr * cart->ptr + 1);
    if (new_items == NULL) {
        return NULL;
    }

    cart->addr = new_items;

    // Add the new item
    cart->addr[cart->ptr++] = item;

    cart->total += item->price * item->quantity;

    return cart;
}