Можно ли так работать с указателями в C++?

Question

[IkaR49]

Необходимо из потока считать массив символов, количество которых я не узнаю, пока не завершу считывание.
Я сделал такой финт ушами:

unsigned short int size = -1;
char mark = '#';

char *str = new char [0];

stream.getline(str, size, mark);

В данный момент этот код работает правильно, однако я не уверен, будет ли он всегда так работать? Или это всё-таки неопределённое поведение? Если так делать нельзя, то как стоит поступить в данной ситуации?

Создавать массив размером size не хочется: такое число выбрано просто, как нечто большое.

Ещё один вариант решения, который я вижу: считать сначала все символы без сохранения, получить stream.gcount(), сбросить итератор, объявить массив нужного размера и повторить считывание. Но мне этот способ не нравится, так как символов может быть прочитано действительно много, и в качестве входного потока будет файл на жёстком диске.

Answer 1

[Rsa97]

new[0] - ведёт к неопределённому поведению указателя при разыменовании.
А если используете new[(unsigned short)-1], то где гарантия, что поток будет короче 65536 символов?
Если работаете с потоком - ищите по возможности алгоритмы потоковой обработки, позволяющие считывать данные посимвольно или фиксированными блоками.
Если будете работать с файлами, то можно предварительно запросить длину файла.

Comments

[IkaR49]

new[0] - ведёт к неопределённому поведению указателя при разыменовании.

А если я напишу new[1]? Хотя, подозреваю, что в таком случае разыменование тоже будет не правильно происходить.

А если используете new[(unsigned short)-1], то где гарантия, что поток будет короче 65536 символов?

Гарантий нет, но так как такое же ограничение стоит в функции getline(), то большего считано не будет.

Если будете работать с файлами, то можно предварительно запросить длину файла.

Хочется общего решения для потоков и файлов, поэтому и файлы обрабатываю как поток, и запрашивать длину поэтому нельзя.

[monah_tuk]

Про new[0]: stackoverflow.com/questions/1087042/c-new-int0-wil... - тут ответ с отсылками к стандарту.
new[1] валидное выражение:
auto *ptr = new char[1];
ptr[0] = 0x00; // ok
ptr[1] = 0x01; // fail
delete[] ptr;

другое дело - зачем? но если в generic виде - вполне.

[IkaR49]

monah_tuk: но у меня при new [1] продолжает полностью записываться весь массив, нет фейла при выходе за границы. Проверял с помощью GDB в составе MinGW

[Rsa97]

Павел Левченко: new char [0] выделяет буфер размером, как ни странно, 0 символов. Указатель при этом выдаётся не NULL, но обращение по этому указателю приводит к неопределённому поведению программы.
new[1] выделит памяти на 1 символ. Возможно, с учётом выравнивания и блочного выделения памяти, там будет зарезервировано 16 байт, но гарантированно можно использовать только 1 символ, иначе переносимости программы не будет.

[MiiNiPaa]

А если я напишу new[1]?

То считать сможете ровно 0 символов. Иначе неопределённое поведение.

так как такое же ограничение стоит в функции getline()

Не везде, переедете на другой компилятор или обновите его и всё.

[Rsa97]

Павел Левченко: То, что данные читаются без ошибки - Вам просто везёт. Память берётся из кучи, остаток кучи на данный момент в данной версии компилятора под данной операционкой ни под что не выделен, поэтому никаких последствий и не возникает. Сменится что-нибудь и данные выйдут за пределы кучи (системное исключение), затрут другие данные в куче (неверный результат работы программы), затрут фрагмент самой программы (всё, что угодно).

Answer 2

[Antony]

Под линуксом вы гарантированно словите сегфолт. На винде почему-то выход за границы массива не очень беспокоит систему (наверное по тому, что задеть другие программы он не может, а работоспособность конкретной программы личная проблема разработчика), зато вы запросто можете попортить данные своей же программмы, если вдруг случайно ваш "несуществующий" массив "наложится" на какие-нибудь переменные в вашей программе.

Вообще в вашем случае надо читать порционно по N символов в буфер размером не меньше чем N, а потом скидывать их в какой-нибудь std::array

Comments

[AxisPod]

Нет, гарантировано не словит. Только в случае, если указатель начнет читать из памяти без соответствующих привилегий. А память всё же выделяется страницами как и везде, вылетел из страницы, словил сегфолт. Только не говорите, что ideone работает на винде. ideone.com/BHoIO4

[Antony]

AxisPod: Ну может быть я такой везунчик (хорошо, что это случалосьс разу, а не когда-нибудь, во время эксплуатации программы) и ловил сегфолты при любом выходе за границы массива.

[DancingOnWater]

Antony: Может тогда стоит запустить с valgrind ваши проги?

[Antony]

DancingOnWater: Честно говоря я не умею им пользоваться.

[DancingOnWater]

Antony: А там нет ничего сложного

Answer 3

[kozura]

финт ушами

в топку!

Вообще, при грамотной реализации, размер данных принято передавать вместе с их получением.
Классический пример:
bool GetData(char* data, int* size);

Длину указателя на строку можно узнать через strlen();

Если чтение из файла, то при загрузке размер файла определяется стандартными методами.
Как пример.

...считать сначала все символы без сохранения..

Не нужно.

Answer 4

[MiiNiPaa]

Можете выделять буфер, скажем в 100 символов. Заполняется, выделяете ещё один и читаете в него, и так далее. В конце высчитываете длину строки, выделяете под ней память, собираете строку из кусочков, освобождаете буферы.

Альтернатива — метод стандартных контейнеров: выделяете немного памяти. Если кончилась, выделяете в 1.5-2 раза больше, копируете уже считанные данные, освобождаете уже ненужную память, продолжаете читать. При необходимости повторить. Или сразу читайте в std::string.

Comments

[IkaR49]

К сожалению задача универская, и её суть как раз в том, чтобы не использовать стандартную библиотеку, а городить свои велосипеды. Поэтому никаких контейнеров, std::string, std::vector и прочего. Исключение - библиотеки ввода/вывода.

[Adamos]

Как раз на таких теоретических задачах и стоит создать свой аналог стандартного контейнера.
Вы же учитесь? Так не делайте, как проще - делайте, как интереснее!

Answer 5

[monah_tuk]

В том варианте, что в посте - строчите из пулемёта в себе в ноги.

В STL есть два способа получить нужное поведение:
ать: www.cplusplus.com/reference/string/string/getline
два: www.cplusplus.com/reference/istream/istream/getline

Оба прекрасно работают со стримами, но первый хочет std:string.

Второй вариант (он же вариант из твоего поста) обычно используется с буфферами фиксированной длинны + чтение в цикле чанками.