оператор new возвращает указатель на 0 байт

#cpp

Для чего может понадобиться такая конструкция и почему при запросе 0 байт возвращается
указатель.

char* pC = new char[0];


куда указывает указатель в данном примере?
    

Ответы

Ответ 1

Представьте себе, что вы пишете собственный класс-контейнер наподобие vector.
Реальные данные у вас будут храниться в массиве. Для размера данных N вам нужно capacity
(размер массива) не менее N. Если не разрешить массивы нулевого размера, то вам придётся
в вашем коде кодировать случай пустого, только сконструированного контейнера отдельно.

Другой пример, пускай в вашем коде нужен массив из N пользователей, где N приходит
от пользователя. Запрещать 0 пользователей, и кодировать этот случай по-другому было
бы глупо и чревато ошибками.

Ну или вы разбираете HTML-документ, и возвращаете все найденные ссылки. Если их ноль,
какого размера выделять под них массив?



Ноль — нормальный частный случай числа. Если бы стандарт сделал массивы длиной в
ноль отдельным случаем, то и в нашем коде приходилось бы обрабатывать этот случай отдельно.
Зачем? Пользы от этого никакой, а только возможный вред.

(Да, отрицательные числа — не нормальный случай. У нас может быть ноль пользователей,
но не может быть −1 пользователь.)



Ваш код возвращает какой-то ненулевой указатель. Сколько именно байт реально аллоцируется
— подробности имплементации стандартной библиотеки вашего компилятора. В любом случае
вы не имеете права разыменовывать полученный указатель.