В своем коде вы должны рассчитывать на то, что realloc
будет всегда перемещать блок, независимо от того, увеличивается ли его размер, уменьшается ли или вообще не меняется. Эти решения принимаются на основе неподконтрольных вам обстоятельств. То, что он может иногда и не переместиться - не более чем редкая и непредсказуемая удача.
Утечка у вас образуется из-за того, что новое значение указателя _dest
в наружный код никак не возвращается. Память, выделенная вашим realloc
в общем случае становится утечкой всегда. Либо возвращайте новый _dest
из функции через возвращаемое значение, либо работайте с ним "по ссылке", т.е. делайте его mry_char**
параметром.
(Да, если в результате работы realloc
значение указателя _dest
не изменилось, то формально возвращать его "не нужно", но ожидать этого в реальном коде - это полная белиберда. В общем случае значение указателя будет меняться.)
Дополнительно, в связи именно c realloc
утечка также может возникнуть, если realloc
не сможет выделить память вообще. Тогда он вернет null-указатель, но старую память не освободит, т.е. внутри функции доступ к памяти, изначально указываемой _dest
, вы потеряете. (Будет ли это полноценной утечкой зависит от того, сохранили ли вы еще какой-то путь доступа к этой памяти. Из вашего кода этого не видно.)
Также, почему памяти выделяется только под dl + sl
элементов, если потом делается _dest[dl + sl] = '\0'
? Явный вылет за пределы выделенной памяти.
dl + sl
, если потом делается_dest[dl + sl] = '\0'
? Явный вылет за пределы выделенной памяти.realloc()
нельзя. О чём явно написано в описании этой функции, например, в мане. 2) Классика - забыли один байт для завершающего\0
1
прибавлятьmry_charsz
?mry_charsz
, либо прибавлять 1 до умножения(dl + sl + 1) * mry_charsz
.