7

Как можно расширить динамический символьный массив (строку) с помощью realloc()?

1
  • Не пользоваться им, Выделить новую память, ручками туда все перенести, освободить старую.
    – Oh-Ben-Ben
    17 янв 2020 в 6:13

1 ответ 1

9

Часто можно увидеть примерно такой код:

char *string = malloc(...);
/* ... */
string = realloc(...);

Этот код содержит распространенную ошибку: если выполнение realloc завершилось неудачно, то в string будет записан NULL и мы потеряем доступ к указателю, который был изначально получен вызовом malloc. Следовательно, получим утечку памяти.

Правильным идеоматичным решением будет записывать результат выполнения realloc во временную переменную, проверять успешеность вызова realloc, и только затем (если вызов был успешен) перезаписывать исходную переменную:

char *string = malloc(...);

if (string == NULL) {
    /* ... */
}  

/* ... */

char *temp = realloc(string, ...);

if (temp != NULL) {
    string = temp;
}

Важно отметить, что при успешном выполнении realloc деаллоцирует старый объект, поэтому сразу после выполнения realloc указатель string в становится невалидным и не может быть использован в дальнейшем.


Полный пример:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
    char *s = malloc(6);

    if (s == NULL) {
        fprintf(stderr, "Can not malloc().\n");
        return EXIT_FAILURE;
    }

    strcpy(s, "hello");
    puts(s);

    char *temp = realloc(s, 14);

    if (temp == NULL) {
        fprintf(stderr, "Can not realloc().\n");
        free(s);
        return EXIT_FAILURE;
    }

    s = temp;

    strcpy(s, "hello, world!");
    puts(s);

    free(s);
}
25
  • 2
    "Важно отметить, что realloc деаллоцирует старый объект," - не, не обязательно. И память в примере нужно освобождать.
    – KoVadim
    16 янв 2020 в 18:51
  • 1
    опять же, читайте документацию внимательно. malloc может выделить немного больше памяти, чем нужно (никто не будет выделять 3 или 5 байт - округлят к 16 в худшем случае. А то и больше). и в этом случае realloc ничего не будет удалять-перевыделять - поправит размер выделенной области и готово.
    – KoVadim
    16 янв 2020 в 19:01
  • 1
    @KoVadim, выделенный кусок не всегда можно увеличить, и приходится выделять новый уже в другом месте. Тем более, я говорю о стандарте языка, а не о конкретных реализациях. Пользоваться старым указателем в общем случае нельзя в независимости от реализации. Я не уверен на счет ситуации, когда старый указатель может иметь то же значение, что и новый. По-моему, даже два указателя с одним и тем же значением, но полученные разными вызовами аллоцирующих функция считают неравными. Сейчас поищу информацию об этом.
    – eanmos
    16 янв 2020 в 19:12
  • 1
    @eanmos, в реальном мире 2 указателя с одинаковым значением адресуют одно и то же, а realloc часто возвращает тот же адрес (если есть возможность, то память не копируется). Кстати, опять же в реальном мире, если realloc возвращает 0, то для большинства программ единственным разумным решением будет аварийное завершение с "out of memory"
    – avp
    16 янв 2020 в 19:41
  • 1
    @avp, тут скорее стандарт менять надо. Хотя, там ведь тоже не дураки сидят, сейчас спрошу на enSO по этому поводу.
    – eanmos
    16 янв 2020 в 20:42

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.