Замечания по поводу платформ STL от Microsoft

в начале книги я ввел термин платформа STL , означающий комбинацию конкретного компилятора и конкретной реализации STL. Различие между компилятором и библиотекой особенно важно при использовании компилятора Microsoft Visual С++ версий 6 и ниже (то есть компилятора, входившего в комплект поставки Microsoft Visual Studio версий 6 и ниже), поскольку компилятор иногда способен на большее, чем прилагаемая реализация STL. В настоящем приложении описаны важные недостатки старых платформ STL от Microsoft и предложены обходные решения, делающие работу на этих платформах значительно более удобной.

Дальнейший материал предназначен для разработчиков, использующих Microsoft Visual С++ (MSVC) версий 4-6. В Visual С++ .NET перечисленные проблемы отсутствуют.

Шаблоны функций классов в STL

Допустим, у вас есть два вектора объектов Widget, требуется скопировать объекты Widget из одного вектора в конец другого. Задача решается легко - достаточно воспользоваться интервальной функцией insert контейнера vector:

vector<Widget> vwl,vw2;

vwl.insert(vwl.end(),vw2.begin().vw2.end()); Присоединить к vwl копию

объектов Widget из vw2

Аналогичную операцию можно выполнить с контейнерами vector и deque:

vector<Widget> vw; deque<Widget> dw;

vw.insert(vw.end(),dw.begin(),dw.end()); Присоединить к vw копию

объектов Widget из dw

MSVC версий 4-6 217

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

vector<Widget> vw:

list<Widget> Iw:

vw.insertCvw.beginO.lw.beginO.ww.endO): Присоедить к vw копию

объектов Widget из Iw

set<Widget> sw:

vw.insertCvw.beginO.sw.beginO.sw.endO): Присоедить к vw копию

объектов Widget из sw

tempiate<typename T,

typename Allocator = allocator<T> > Шаблон нестандартного class SpecialContainer {...}: STL-совместимого контейнера

SpecialContainer<Widget> sew:

vw.insertCvw.beginO.scw.beginO.scw.endO): Присоедить к vw копию

объектов Widget из sew

Подобная универсальность объясняется тем, что интервальная функция 1 nsert контейнера range вообще не является функцией в общепринятом смысле. Это шаблон функции контейнера, специализация которого с произвольным типом итератора порождает конкретную интервальную функцию insert. Для контейнера vector шаблон i nsert объявлен в Стандарте следующим образом:

template <class Т. class Allocator = allocator<T> >

class vector {

public:

tempiate<class InputIterator>

void insertCiterator position, Inputlterator first. Inputlterator last): };

Каждый стандартный контейнер должен поддерживать шаблонную версию интервальной функции i nsert. Аналогичные шаблоны также обязательны для интервальных конструкторов и для интервальной формы assign (см. совет 5).

MSVC версий 4-6

к сожалению, в реализации STL, входящей в комплект поставки версий 4-6, шаблоны функций не объявляются. Библиотека изначально разрабатывалась для MSVC версии 4, а этот компилятор, как и большинство компиляторов того времени, не обладал поддержкой шаблонов функций классов. При переходе от MSCV4 к MSVC6 поддержка этих шаблонов была включена в компилятор, но вследствие судебных дел, косвенно затрагивавших фирму Microsoft, библиотека оставалась практически в неизменном состоянии.

218 Приложение Б Замечания по поводу платформ STL от Microsoft

Поскольку реализация STL, поставляемая с MSVC4-6, предназначалась для компилятора без поддержки шаблонов функций классов, авторы библиотеки имитировали эти шаблоны и заменили их конкретными функциями, которым при вызове передавались итераторы контейнера соответствующего типа. Например, шаблон i nsert был заменен следующей функцией:

void insert(iterator position, iterator - тип итератора

iterator first, iterator last): для конкретного контейнера

Эта ограниченная форма интервальных функций позволяла выполнить интервальную вставку из vector<Wi dget> в vector<Wi dget> или из 1 i st< i nt> в 1 i st< i nt>, но смешанные операции (например, вставка из vector<Widget> в list<Widget> или из set<i nt> в deque<i nt>) не поддерживались. Более того, не поддерживалась даже интервальная вставка (а также конструирование или assi gn) из vector<l ong> в vector<i nt>, поскольку итераторы vector<l ong>:: i terator и vector<i nt>:: i terator относятся к разным типам. В результате следующий фрагмент, принимаемый другими компиляторами, не компилируется в MSVC4-6:

istreamjterator<Widget> begin(cin),end: Создать итераторы begin и end

для чтения объектов Widget

из cin (см. совет 6).

vector<Widget> vw(begin.end): Прочитать объекты Widget

list<Widget> Iw:

из cin в vw (см. совет 6): не компилируется в MSVC4-6!

lw.assign(vw.rbegin().vw.rend()): Присвоить Iw содержимое vw

(в обратном порядке): не компилируется в MSVC4-6!

SpecialContainer<Widget> sew:

scw.insert(scw.end(),lw.begin().lw.end()): Вставить в конец sew

копию объектов Widget из Iw: не компилируется в MSVC4-6!

Так что же делать, если вы работаете в среде MSVC4-6? Это зависит от используемой версии MSVC и того, вынуждены ли вы использовать реализацию STL, поставляемую вместе с компилятором.

Обходное решение для MSVC4-5

Еще раз посмотрим на правильный код, который не компилируется для реализации STL из поставки MSVC4-6:

vector<Widget> vw(begln.end); Отвергается реализацией STL

из поставки MSVC4-6

list<Widget> Iw:

1w.assign(vw.rbegin(),vw.rend()); То же

SpecialContainer<Widget> sew: scw.insert(scw.end(),1w.begin(),lw.end()); Тоже