String для коротких строк

Здорова!

Тут от пытаюсь разобрать такое понятие как класс String оптимизированный для коротких строк, это такой класс длинна строки у которого не превышает 8 символов. От интересно как его оптимизировать или он уже сам по себе будет оптимизирован из за того что строка будет короткая? Какие у него преимущества? Просто я с этим понятием недавно столкнулся, раньше как то не задумывался.
Конечно в идеале хорошо бы было реализовать это класс, но что его реализовывать, если там нету никаких других отличий от обычного класса, то просто не сложно ограничить длину строки?

0

Класс со статическим буфером небольшого размера.
При создании или копировании в него строки не происходит выделения памяти (new),
строка копируется сразу в буфер. В этом и есть смысл оптимизации по размеру.
Как только длина строки превышает размер статического буфера, буфер под нее
выделяется в динамической памяти. Для строк небольшого размера такой класс
будет очень эффективным в плане выделения памяти.

1

Убежденный, Ну смотри, а если мы просто для обычного класса, с не определенной длинной строки, определим ему строку не больше допустим 8 символов, будем просто явно проверять size() чтобы было 8 и менье, то что можно сказать что это будет класс string для коротких строк? (он наверно не будет если будет 8 символов и мы запишет 3 символа, то если будет перевыделение памяти под 3 символа, то это значит что оптимизации не будет.)

И что понимать под не выделение памяти? От допустим у нас есть тип short_string и тип string в short_string всегда выделена память под 8 символов, если мы делаем так short_string short("hel"); то просто память под 8 символов выделяется потом мы просто operator= вызываем short="privet", то память не выделяется, а просто происходит перезаписывание в выделеную ячейку для 8 символов. Правильно понимать нужно это считается оптимизация? Ну если подумать, то время будет уменьшатся за счет того что память только раз выделяется.

А теперь давай string разберем, там по идее должно каждый раз перевыделятся память, просто если у нас будет строка на 1к символов и мы туда запишем строку на 2 символа, зачем же перерасход памяти? Конечно наверняка будет заново выделена память под два символа. Этот тип по времени должен работать дольше за счет перевыделения памяти.

И вообще под оптимизацией для коротких строк, что нужно понимать? Выделяется ли повторно память или не выделяется? Допустим для 10 символьной строки и меньше память не будет повторно выделяться а будет перезаписываться, а для больших символов будет выделятся и снова если со строки в 1к мы будем делать строку 2 символа, то память выделится для 10 символов, как бы для коротких строк. Если так будет себя вести класс, то это можно считать, что класс оптимизирован? Просто интересно что под этим понимают. Смысл интересно понять.

0

Представь, что есть объект string A, содержащий такой текст: "Hello" (5 символов + \0).
И в этот string A нужно записать новую строку: "Good bye" (8 символов + \0).
Что произойдет при выполнении выражения <A = "Good bye"> ? А вот что.
Сначала в динамической памяти будет выделен новый буфер под строку "Good bye".
Затем будут перенастроены внутренние члены класса - указатель на строку, размер и т.д.
Потом будет освобождена память, на которую указывал старый указатель - "Hello".
Итого получаем одно выделение памяти и одно освобождение.

Теперь представим, что строка string имеет статический буфер в 10 символов, специально
для ускорения некоторых операций со строками небольшого размера.
В этом случае никаких выделений и освобождений памяти не нужно - строка "Good bye"
просто запишется в статический буфер, на место "Hello".

Это и есть оптимизация.
Можно сказать, что это оптимизация по скорости за счет размера объекта string.

1

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

Добавлено через 1 минуту
Хотя даже видно при вызове конструктора копирования память не выделяется, а просто указатель переназначается

0

Сообщение от ninja2 Убежденный, будет выделение если мы в функции строку будем передавать не по ссылке

Не будет.
Но объект не всегда можно передать по ссылке. Например, нельзя запихнуть ссылку на
string в STL-контейнер. Нельзя вернуть ссылку на временный объект. И т.д. Можно запихнуть
указатель, но тогда сразу встает вопрос об управлении временем жизни этого указателя.

Есть и другие известные стратегии оптимизации классов, строковых и не только.
Например, copy-on-write: при копировании и присваивании объектов выполняется
только копирование указателя. Как только объект используется на запись,
выполняется его полная копия. Отсюда и название copy-on-write, т.е. копирование
откладывается до момента записи в объект.

3

Сообщение от Убежденный copy-on-write

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

0