5

Доброго времени суток! Есть код:

// mry_char*  - это wchar_t*
// mry_charsz - это sizeof(wchar_t)

void mry_strcat(mry_char* _dest, const mry_char const* _src) {
    const u32 dl = mry_strlen(_dest);
    const u32 sl = mry_strlen(_src);

    _dest = realloc(_dest, (dl + sl + 1) * mry_charsz);
    memmove(_dest + dl, _src, sl * mry_charsz);
    _dest[dl + sl] = '\0';
}

Cppcheck пишет:

Id: memleak
Кратко: Memory leak: _dest
Сообщение: Memory leak: _dest

First included by: mary.c

Строка 69: _dest[dl + sl] = '\0';

Я так понимаю, что утечка будет, если realloc переместит блок при возрастании размера, так ли это?

UPD

Исправил выход за границы массива.

5
  • Так а почему памяти выделяется только dl + sl, если потом делается _dest[dl + sl] = '\0'? Явный вылет за пределы выделенной памяти. 22 июл 2017 в 17:48
  • 1) В общем случае - так применять realloc() нельзя. О чём явно написано в описании этой функции, например, в мане. 2) Классика - забыли один байт для завершающего \0
    – PinkTux
    22 июл 2017 в 17:49
  • @Eanmos: ??? Выход за пределы массива у вас "исправлен" неправильно. Ваше "исправление выхода за пределы массива" явно демонстрирует, что вы вообще не понимаете, что здесь к чему. Это вообще ваш код? 22 июл 2017 в 19:07
  • @AnT, мой, мой :) "что вы вообще не понимаете, что здесь к чему", понимаю, действительно, не все, по этому и задал вопрос. Нужно вместо 1 прибавлять mry_charsz?
    – eanmos
    22 июл 2017 в 19:53
  • @Eanmos: Либо прибавлять mry_charsz, либо прибавлять 1 до умножения (dl + sl + 1) * mry_charsz. 22 июл 2017 в 20:03

2 ответа 2

7

В своем коде вы должны рассчитывать на то, что realloc будет всегда перемещать блок, независимо от того, увеличивается ли его размер, уменьшается ли или вообще не меняется. Эти решения принимаются на основе неподконтрольных вам обстоятельств. То, что он может иногда и не переместиться - не более чем редкая и непредсказуемая удача.

Утечка у вас образуется из-за того, что новое значение указателя _dest в наружный код никак не возвращается. Память, выделенная вашим realloc в общем случае становится утечкой всегда. Либо возвращайте новый _dest из функции через возвращаемое значение, либо работайте с ним "по ссылке", т.е. делайте его mry_char** параметром.

(Да, если в результате работы realloc значение указателя _dest не изменилось, то формально возвращать его "не нужно", но ожидать этого в реальном коде - это полная белиберда. В общем случае значение указателя будет меняться.)

Дополнительно, в связи именно c realloc утечка также может возникнуть, если realloc не сможет выделить память вообще. Тогда он вернет null-указатель, но старую память не освободит, т.е. внутри функции доступ к памяти, изначально указываемой _dest, вы потеряете. (Будет ли это полноценной утечкой зависит от того, сохранили ли вы еще какой-то путь доступа к этой памяти. Из вашего кода этого не видно.)

Также, почему памяти выделяется только под dl + sl элементов, если потом делается _dest[dl + sl] = '\0'? Явный вылет за пределы выделенной памяти.

8
  • "... новое значение _dest в наружный код никак не возвращается", почему? Я ведь изменяю входящую строку.
    – eanmos
    22 июл 2017 в 18:14
  • @Eanmos: Я говорю именно о новом значении указателя _dest, а не строки, на которую он указывает. Каким образом вызывающий код получит новое значение указателя _dest??? 22 июл 2017 в 18:16
  • _dest - это указатель, realloc возвращает указатель, получается, что при _dest = realloc(...), _dest получает новый адрес, разве нет?
    – eanmos
    22 июл 2017 в 18:20
  • @Eanmos: Да, верно. Указатель _dest получает новое значение - он будет содержать новый адрес (адрес нового блока памяти). Но вы этот новый адрес никуда никому не передаете. Он просто теряется навсегда, когда переменная _dest исчезает при завершении функции mry_strcat. 22 июл 2017 в 18:22
  • Так ведь мне и нужно, чтобы _dest получила новое значение. А кому еще нужно передавать адрес? Вы уж извините, если туплю, но что-то я запутался :)
    – eanmos
    22 июл 2017 в 18:26
3

Утечки как таковой из-за realloc не появляется - если вы не забудете потом удалить выделенную память.

Другое дело, что вы
1. не проверяете результат realloc (и не сохраняете его)
2. выделяете недостаточно памяти (есть выход за границу)
3. Насколько я помню, для wchar_t надо записывать не '\0', а L'\0'

1
  • 1
    И '\0' и L'\0' - это не более чем целочисленная константа 0. С точки зрения элегантности кода L'\0' было бы более уместно, но разницы никакой нет. Можно вообще использовать просто 0. 22 июл 2017 в 18:01

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

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