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

• Сообщения, в которых упоминаются back_insert_iterator, front_insert_iteratorи insert_iterator, почти всегда означают, что ошибка была допущена при вызове back_inserter, front_inserterили inserterсоответственно ( back_inserterвозвращает объект типа back_insert_iterator, front_inserterвозвращает объект типа front_insert_iterator, a inserterвозвращает объект типа insert_iterator; за информацией об этих типах обращайтесь к совету 30). Если эти функции не вызывались в программе, значит, они были вызваны из других функций (косвенно или явно).

• Сообщения с упоминаниями binder1stи binder2ndобычно свидетельствуют об ошибке при использовании bind1stи bind2nd( bind1stвозвращает объект типа binder1st, a bind2ndвозвращает объект типа binder2nd).

• Итераторы вывода (например, ostream_iteratorи ostream_buf_iterator— см. совет 29, а также итераторы, возвращаемые back_inserter, front_inserterи inserter) выполняют свои операции вывода или вставки внутри операторов присваивания, поэтому ошибки, относящиеся к этим типам итераторов, обычно приводят к появлению сообщений об ошибке внутри операторов присваивания, о которых вы и понятия не имеете. Чтобы понять, о чем идет речь, попробуйте откомпилировать следующий фрагмент:

vector v; // Попытка вывода содержимого

copy(v.begin(), v.end(), // контейнера указателей string*

ostream_iterator(cout, "\n")); // как объектов string

• Если полученное сообщение об ошибке исходит из реализации алгоритма STL (то есть если код, в котором произошла ошибка, находится в ), вероятно, проблема связана с типами, которые вы пытаетесь передать этому алгоритму. Пример — передача итераторов неправильной категории. Попробуйте откомпилировать следующий фрагмент:

list::iterator i1, i2; // Передача двусторонних итераторов

sort(i1, i2); // алгоритму, которому необходимы итераторы

// произвольного доступа

• Если вы используете стандартный компонент STL (например, контейнер vectorили string, алгоритм for_each), а компилятор утверждает, что он понятия не имеет, что имеется в виду, скорее всего, вы забыли включить необходимый заголовочный файл директивой #include. Как объясняется в совете 48, эта проблема может нарушить работоспособность кода, успешно компилировавшегося в течение некоторого времени, при переносе его на другую платформу.

Интернет богат информацией об STL. Если ввести в любой поисковой системе запрос «STL», вы получите сотни ссылок, часть из которых даже будет содержать полезную информацию. Впрочем, большинство программистов STL в поисках не нуждается и хорошо знает следующие сайты:

• сайт SGI STL, http://www.sgi.com/tech/stl;

• сайт STLport, http://stlport.org;

• сайт Boost, http://www.boost.org.

Ниже я постараюсь объяснить, почему эти сайты заслуживают вашего внимания.

Web-сайт SGI STL не случайно находится в начале списка. На нем имеется подробная документация по всем компонентам STL. Многие программисты рассматривают его как основной источник электронной документации незав4исимо от используемой платформы STL. Документацию собрал Мэтт Остерн (Matt Austern), который позднее дополнил ее и представил в книге «Generic Programming and the STL» [4]. Материал не сводится к простому описанию компонентов STL. Например, описание потоковой безопасности контейнеров STL (см. совет 12) основано на материалах сайта SGI STL.

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

• Хэшированные ассоциативные контейнеры hash_set, hash_multiset, hash_mapи hash_multimap. За дополнительной информацией об этих контейнерах обращайтесь к совету 25.

• Односвязный список slist. Контейнер slistреализован наиболее стандартным образом, а итераторы указывают на те узлы списка, на которые они и должны указывать. К сожалению, этот факт оборачивается дополнительными затратами при реализации функций insert и erase, поскольку обе функции должны модифицировать указатель на следующий узел списка в узле, предшествующем тому, на который указывает итератор. В двусвязном списке (например, в стандартном контейнере list) это не вызывает проблем, но в односвязном списке возврат к предыдущему узлу является операцией с линейной сложностью. В контейнере slistиз реализации SGI функции insertи eraseвыполняются с линейной сложностью вместо постоянной, что является существенным недостатком. В реализации SGI эта проблема решается при помощи нестандартных (но зато работающих с постоянной сложностью) функций insert_afterи erase_after. В сопроводительной документации говорится: