Почему std::string иногда тормозит: разбираем Small String Optimization на практике

Автор столкнулся с неочевидной проблемой производительности при написании парсера: цикл, в котором создавался std::string, работал заметно медленнее на определённых входных данных. Причиной оказалась не логика парсинга, а особенности инициализации строк в C++ — конкретно механизм Small String Optimization (SSO), который по-разному ведёт себя в зависимости от длины строки.

Суть SSO в том, что короткие строки хранятся прямо в стеке внутри объекта std::string, а длинные вынуждены аллоцировать память в куче. Порог переключения между этими режимами зависит от реализации стандартной библиотеки, и переход через него может давать заметный скачок по времени выполнения — что и наблюдал автор на практике.

Для подтверждения гипотезы был написан бенчмарк, сравнивающий поведение строк разной длины. Это классический пример того, как знание низкоуровневых деталей STL напрямую влияет на производительность реального кода — особенно в горячих циклах обработки данных.

Подробности замеров, конкретные цифры и разбор поведения разных компиляторов — в оригинальной статье на Хабре.