Скотт Мейерс - Эффективное использование STL

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

Все контейнеры STL по-своему полезны, однако большинство программистов C++ работает с vectorи string чаще, чем с их собратьями, и это вполне понятно. Ведь контейнеры vectorи stringразрабатывались как замена массивов, а массивы настолько полезны и удобны, что встречаются во всех коммерческих языках программирования от COBOL до Java.

В этой главе контейнеры vectorи stringрассматриваются с нескольких точек зрения. Сначала мы разберемся, чем они превосходят классические массивы STL, затем рассмотрим пути повышения быстродействия vectorи string, познакомимся с различными вариантами реализации string, изучим способы передачи stringи vectorфункциям API, принимающим данные в формате C. Далее будет показано, как избежать лишних операций выделения памяти. Глава завершается анализом поучительной аномалии, vector.

Принимая решение о динамическом выделении памяти оператором new, вы берете на себя ряд обязательств.

1. Выделенная память в дальнейшем должна быть освобождена оператором delete. Вызов newбез последующего deleteприводит к утечке ресурсов.

2. Освобождение должно выполняться соответствующей формой оператора delete. Одиночный объект освобождается простым вызовом delete, а для массивов требуется форма delete[]. Ошибка в выборе формы deleteприводит к непредсказуемым последствиям. На одних платформах программа «зависает» во время выполнения, а на других она продолжает работать с ошибками, приводящими к утечке ресурсов и порче содержимого памяти.

3. Оператор deleteдля освобождаемого объекта должен вызываться ровно один раз. Повторное освобождение памяти также приводит к непредсказуемым последствиям.

Итак, динамическое выделение памяти сопряжено с немалой ответственностью, и я не понимаю, зачем брать на себя лишние обязательства. При использовании vectorи stringнеобходимость в динамическом выделении памяти возникает значительно реже.

Каждый раз, когда вы готовы прибегнуть к динамическому выделению памяти под массив (то есть собираетесь включить в программу строку вида « new T[…]»), подумайте, нельзя ли вместо этого воспользоваться vectorили string. Как правило, stringиспользуется в том случае, если Tявляется символьным типом, а vector— во всех остальных случаях. Впрочем, позднее мы рассмотрим ситуацию, когда выбор vectorвыгладит вполне разумно. Контейнеры vectorи stringизбавляют программиста от хлопот, о которых говорилось выше, поскольку они самостоятельно управляют своей памятью. Занимаемая ими память расширяется по мере добавления новых элементов, а при уничтожении vectorили stringдеструктор автоматически уничтожает элементы контейнера и освобождает память, в которой они находятся.

Кроме того, vectorи stringвходят в семейство последовательных контейнеров STL, поэтому в вашем распоряжении оказывается весь арсенал алгоритмов STL, работающих с этими контейнерами. Впрочем, алгоритмы STL могут использоваться и с массивами, однако у массивов отсутствуют удобные функции begin, end, sizeи т. п., а также вложенные определения типов ( iterator ,reverse_iterator ,value_typeи т. д.), а указатели char*вряд ли могут сравниться со специализированными функциями контейнера string. Чем больше работаешь с STL, тем меньше энтузиазма вызывают встроенные массивы.

Если вас беспокоит судьба унаследованного кода, работающего с массивами, не волнуйтесь и смело используйте vectorи string. В совете 16 показано, как легко организовать передачу содержимого vectorи stringфункциям C, работающим с массивами, поэтому интеграция с унаследованным кодом обычно обходится без затруднений.

Честно говоря, мне приходит в голову лишь одна возможная проблема при замене динамических массивов контейнерами vector/string, причем она относится только к string. Многие реализации stringоснованы на подсчете ссылок (совет 15), что позволяет избавиться от лишних выделений памяти и копирования символов, а также во многих случаях ускоряет работу контейнера. Оптимизация stringна основе подсчета ссылок была сочтена настолько важной, что Комитет по стандартизации C++ специально разрешил ее использование.