Malloc указатель на указатель на структурный массив по ссылке

Question

Приведенный ниже код компилируется, но сразу же выходит из строя по причинам, очевидным для других, но не для меня.Кажется, у меня ничего не получается, кто-нибудь может сказать мне, как это исправить.

*array_ref[2] = array[0];
*array_ref[3] = array[1];

Он каждый раз выходит из строя в этой части.

typedef struct test {
    char *name;
    char *last_name;
} person;



int setName(person ** array, person ***array_ref) {

    *array = malloc (5 * sizeof(person));
    *array_ref= malloc(5 * sizeof(person*));

   array[0]->name = strdup("Bob");
   array[1]->name = strdup("Joseph");
   array[0]->last_name = strdup("Robert");
   array[1]->last_name = strdup("Clark");


*array_ref[2] = array[0];
*array_ref[3] = array[1];


    return 1;
}



int main()
{
    person *array;
    person **array_r;

   setName(&array,&array_r);

    printf("First name is %s %s\n", array[0].name, array[0].last_name);
    printf("Second name is %s %s\n", array_r[3]->name, array_r[3]->last_name);

     while(1) {}
    return 0;
}

Answer 1

Оператор [] имеет более высокий приоритет, чем унарный оператор * . Следовательно, это:

*array_ref[2] = array[0];
*array_ref[3] = array[1];

на самом деле означает:

*(array_ref[2]) = array[0];
*(array_ref[3]) = array[1];

Типы здесь правильные, поэтому он компилируется. Но из вашего кода ясно, что ваше намерение действительно было:

(*array_ref)[2] = array[0];
(*array_ref)[3] = array[1];

Так что просто используйте скобки.

Answer 2

Вы выделили пространство для указателей array_ref, но не для того, на что они указывают.

Answer 3

Попробуйте изменить следующее в setName()

 *array_ref[2] = array[0];
 *array_ref[3] = array[1];

Для

*(*array_ref+2) = array[0];
*(*array_ref+3) = array[1];

Это работает.

Answer 4

array [1] - > name - это ваша проблема. Это должно быть (* array) [1] .name . Обратите внимание, что эти два не эквивалентны. Все аналогичные варианты использования имеют одинаковую проблему, за исключением [0] , который случайно делает правильные вещи.

Помните, что array , параметр функции, не является вашим массивом, это указатель на ваш массив.

Answer 5

В таких функциях я предпочитаю такой код:

int setName(person ** out_array, person ***out_array_ref) {
    person* array = malloc(5 * sizeof(person));
    person** array_ref = malloc(5 * sizeof(person*));
    array[0].name = strdup("Bob");
    array[1].name = strdup("Joseph");
    array[0].last_name = strdup("Robert");
    array[1].last_name = strdup("Clark");
    // I'm guessing this was your intent for array_ref, here:
    array_ref[2] = &array[0];
    array_ref[3] = &array[1];

    *out_array = out_array;
    *out_array_ref = array_ref;
    return 1;
}

Обратите внимание, что это ловит как array [1] - > name , как это заметил Роджер Пейт, и * array_ref [2] = array [0] как (почти ) отметил Павел - чье решение (* array_ref) [2] = array [0] присваивает из нераспределенного массива person * [1] , оба из которых трудно уведомление с дополнительным разыменованием.

Конечно, я в основном это делаю, потому что я использую C ++, и это повышает безопасность исключений;).