Malloc указатель на указатель на структурный массив по ссылке
-
08-07-2019 - |
Вопрос
Приведенный ниже код компилируется, но сразу же выходит из строя по причинам, очевидным для других, но не для меня.Кажется, у меня ничего не получается, кто-нибудь может сказать мне, как это исправить.
*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;
}
Решение
Оператор []
имеет более высокий приоритет, чем унарный оператор *
. Следовательно, это:
*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];
Так что просто используйте скобки.
Другие советы
Вы выделили пространство для указателей array_ref, но не для того, на что они указывают.
Попробуйте изменить следующее в setName()
*array_ref[2] = array[0];
*array_ref[3] = array[1];
Для
*(*array_ref+2) = array[0];
*(*array_ref+3) = array[1];
Это работает.
array [1] - > name
- это ваша проблема. Это должно быть (* array) [1] .name
. Обратите внимание, что эти два не эквивалентны. Все аналогичные варианты использования имеют одинаковую проблему, за исключением [0]
, который случайно делает правильные вещи.
Помните, что array
, параметр функции, не является вашим массивом, это указатель на ваш массив.
В таких функциях я предпочитаю такой код:
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 ++, и это повышает безопасность исключений;).