Однако эта команда не компилируется, поскольку у контейнера string не существует конструктора, вызываемого с аргументом типа i nt. На одной из платформ STL компилятор реагирует на эту команду следующим образом:

example.срр(20):еггог С2664:))thiscall std::basic string<char,struct std::char traits<char>,class std;:allocator<char> >::std::basic string<char.struct std::char traits<char>.class std::allocator<char> >(const class std::allocator<char>&):cannot convert parameter 1 from const int to const class std::allocator<char>& Reason: cannot convert from const int to const class std::allocator<char> No constructor could take the source type, or constructor overload resolution was ambiguous

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

Вспомните, что string - не самостоятельный класс, а простой синоним для следующего типа:

basic string<chaг.char tгаits<char>.a11ocator<char> >

Это связано с тем, что понятие строки С++ было обобщено до последовательности символов произвольного типа, обладающих произвольными характеристиками ( traits ) и хранящихся в памяти, выделенной произвольными распределителями. Все string-подобные объекты С++ в действительности являются специализациями шаблона basicstring, поэтому при диагностике ошибок, связанных с неверным использованием string, большинство компиляторов упоминает тип basic string (некоторые компиляторы любезно включают в диагностику имя string, но большинство из них этого не делает). Нередко в диагностике указывается на принадлежность basi cstr ing (а также вспомогательных шаблонов char traits и all ocator) к пространству имен std, поэтому в сообщениях об ошибках, связанных с использованием string, нередко упоминается тип

std::basic string<char.std::char traits<char>.std::allocator<char> >

Такая запись весьма близка к той, что встречается в приведенной выше диагностике, но разные компиляторы могут описывать string по-разному. На другой платформе STL ссылка на string выглядит иначе:

basic string<char.string char traits<char>. default alloc template<fa1se.0> >

Имена string char trai ts и defaul t al 1 oc templ ate не являются стандартными, но такова жизнь. Некоторые реализации STL отклоняются от Стандарта. Если вам не нравятся отклонения в текущей реализации STL, подумайте, не стоит ли перейти на другую реализацию. В совете 50 перечислены некоторые ресурсы, в которых можно найти альтернативные реализации.

Независимо от того, как тип string упоминается в диагностике компилятора, методика приведения диагностики к осмысленному минимуму остается той же: хитроумная конструкция с basi c stri ng заменяется текстом stri ng . Если вы используете компилятор командной строки, задача обычно легко решается при помощи программы sed или сценарных языков типа Perl, Python или Ruby (пример сценария

приведен в статье Золмана (Zolman) Ап STL Error Message Decryptor for Visual С++ [26]). В приведенном примере производится глобальная замена фрагмента

std::basic string<char,struct std::char traits<char>.class std::allocator<char> >

строкой stri ng, в результате чего будет ползено следующее сообщение:

example.срр(20):еггог С2664:))thiscall string::string(const class

std::allocator<char>&):cannot convert parameter 1 from const int to const class

std::allocator<char>&

Из этого сообщения можно понять, что проблема связана с типом параметра, переданного конструктору str i ng. Несмотря на загадочное упоминание а! 1 ocator<char>, вам не составит труда просмотреть различные формы конструкторов string и убедиться в том, что ни одна из этих форм не вызывается только с аргументом размера.

Кстати, упоминание распределителя памяти (а! 1 ocator) связано с наличием у всех стандартных контейнеров конструктора, которому передается только распределитель памяти. У типа string существуют три одноаргументных конструктора, но компилятор по какой-то причине решает, что вы пытаетесь передать именно распределитель. Его предположение ошибочно, а диагностика лишь сбивает с толку.

Что касается конструктора, ползающего только распределитель памяти, - пожалуйста, не используйте его; он слишком часто приводит к появлению однотипных контейнеров с неэквивалентными распределителями памяти. Как правило, такая ситуация крайне нежелательна (более подробные объяснения приведены в совете И).

Рассмотрим пример более сложной диагностики. Предположим, вы реализуете программу для работы с электронной почтой, которая позволяет ссылаться на адресатов не только по адресам, но и по синонимам - скажем, адресу президента США (president@whitehouse.gov) ставится в соответствие синоним The Big Cheese . В такой программе может использоваться ассоциативный контейнер для отображения синонимов на адреса электронной почты и функция showEmai 1 Address, которая возвращает адрес для заданного синонима:

class NiftyEmailProgram { private:

typedef map<string.string> NicknameMap: NicknameMap nicknames: public:

void showEmai1Address(const strings nickname) const:

В реализации showEmai 1 Address потребуется найти адрес электронной почты, ассоциированный с заданным синонимом. Для этого может быть предложен следующий вариант:

void NiftyEmailProgram::showEmailAddress(const strings nickname) const {

NicknameMap::iterator i=nicknames.find(nickname): if (i!=nicknames.end())...

std:;allocator<char> >.struct std std:;char traits<char>.class std: std::basic string<char.struct std

:pair<class std::basic string<char.struct allocator<char> > const.class

:char traits<char>.class std::allocator<char> >,struct

std::map<class std::basic string<char,struct std::char traits<char>.class

std::allocator<char> >.class std: std::allocator<char> >.struct std std::char traits<char>,class std: std::basic string<char,struct std :: Kfn,struct std::less<class std

basic string<char.struct std::char traits<char>.class :less<class std::basic string<char.struct

allocator<char> > >,class std :char traits<char>,class std: :basic string<char.struct std std::allocator<char> > >.class std::allocator<class std:;basic string<char.struct std::char traits<char>.class std::allocator<char> > > >::iterator

:allocator<class allocator<char> > > > :char traits<char>,class

No constructor could take the source type, or constructor overload resolution was ambiguous

Сообщение состоит из 2095 символов и выглядит довольно устрашающе, но я видал и похуже. Например, одна из моих любимых платформ STL однажды выдала сообщение из 4812 символов. Наверное, вы уже догадались, что я люблю ее совсем не за это.

Давайте немного сократим эту хаотическую запись и приведем ее к более удобному виду. Начнем с замены конструкции basic string.. на string. Результат выглядит так:

example.cpp(17):error С2440:initializing: cannot convert from class std:: Tree<class string,struct std::pair<class string const,class string >,struct std:;map<class string,class string,struct std:;less<class string >,class std::allocator<class string > > :: Kfn,struct std::less<class string >,class std;:allocator<class string > > ::constjterator to class std:;Jree<class string.struct std: :pair<class string

Компилятору такое решение не понравится. На то есть веская, но не очевидная причина. Чтобы помочь вам разобраться в происходящем, одна из платформ STL услужливо выдает следующее сообщение:

ехатр1е.срр(17):еггог С2440:initializing: cannot convert from class std:: Tree<class

std::basic string<char.struct std;:char traits<char>,class std::allocator<char> >,struct

std::pair<class std::basic string<char,struct std:;char traits<char>.class

std::allocator<char> > const.class std::basic string<char,struct

std;:char traits<char>.class std::allocator<char> > >.struct std::map<class

std::basic string<char,struct std::char traits<char>,class std::allocator<char> >,class

std:;basic string<char,struct std::char traits<char>.class std::allocator<char> >,struct

std::less<class std::basic string<char.struct std::char traits<char>.class

std::allocator<char> > >,class std:;allocator<class std::basic string<char,struct

std::char traits<char>,class std::allocator<char> > > >:: Kfn.struct std::less<class

std:;basic string<char,struct std::char traits<char>,class std::allocator<char> > >,class

std;:allocator<class std::basic string<char,struct std;:char traits<char>,class

std;:allocator<char> > > >::const iterator to class std:: Tree<class

std::basic string<char,struct std::char traits<char>,class std::allocator<char> >.struct

std::pair<class std::basic string<char.struct std::char traits<char>.class

std::allocator<char> > const.class std:;basic string<char,struct

std::char traits<char>,class std::allocator<char> > >.struct std::map<class

std::basic string<char.struct

std::char traits<char>.class std::allocator<char> >.class std::basic string<char,struct std::char traits<char>.class std;:allocator<char> >,struct std::less<class std::basic string<char,struct std::char traits<char>.class std;:allocator<char> >,struct std::less<class std::basic string<char,struct std::char traits<char>.class std::allocator<char> > >.class std::allocator<class std::basic string<char.struct std::char traits<char>.class std::allocator<char> > > >:: Kfn,struct std::less<class std::<class std::basic string<char.struct std::char traits<char>.class