С. Мейерс - Эффективный и современный C++ (1114942), страница 16
Текст из файла (страница 16)
Когда в функцию lockAndCa l lпередается NULL, для параметра p t r выводится целочисленный тип, и происходит ошибка, когда целочисленный тип передается функции f 2 , которая ожидает аргумент типаstd : : unique pt r<Widge t >.В противоположность первым двум вызовам вызов с nul lpt r никакими неприятностями не отличается. Когда функции lockAndCa l l передается nul lptr, выведенным типом pt r является std : : nul lpt r t . При передаче ptr в функцию fЗ выполняется неявноепреобразование std : : nul lpt r_t в W i dget * , поскольку std : : nul lpt r_t неявно преобразуется во все типы указателей.Тот факт, что вывод типа шаблона приводит к "неверным" типам для О и NULL (т.е.
к ихистинным типам, а не к представлению с их использованием нулевых указателей), являетсянаиболее убедительной причиной для использования nullptr вместо О или NULL, когда выхотите представить нулевой указатель. При применении nullptr шаблоны не представляют собой никаких особых проблем. Вместе с тем фактом, что nullptr не приводят к неприятностям при разрешении перегрузки, которым подвержены О и NULL, все это приводитк однозначному выводу - если вам нужен нулевой указатель, используйте nul lpt r, но неО и не NULL.Следует запомнить•Предпочитайте применение nu l lptr использованию О или NULL.•Избегайте перегрузок с использованием целочисленных типов и типов указателей.3.3.
Предпочитайте объявnение псевдонимовприменению typedefЯ уверен, что мы можем сойтись на том, что применение контейнеров STL - хорошаяидея, и я надеюсь, что раздел 4. 1 убедит вас, что хорошей идеей является применениеstd : : unique _pt r, но думаю, что ни один из вас не увлечется многократным написаниемтипов наподобие s t d : : un ique_pt r<std : : unordered map< s t d : : s t r i ng , s td : : st ring>>.Одна мысль о таких типах лично у меня вызывает все симптомы синдрома запястногоканала2•Избежать такой медицинской трагедии несложно, достаточно использовать t ypedef:_typedefstd: : unique_pt r<std : : unordered_map<std : : string, std: : string>>UPtrMapSS ;2Синдром заш1стного канала - неврологическое :iабоневанис, проявляющееся длительной бопьюи онемением папьцев рук. Широко распространено представление, что длительная ежедневнаяработа на комньютере, требующая постоянного испопьзования кпавиатуры, явпяется факторомриска развития синдрома запястного канапа.
Примеч. пер.-3 .3. Предпочитайте объявпение псевдонимов применению typedef73Но typedef слишком уж какой-то девяносто восьмой . . . Конечно, он работает и в С++ 1 1,но стандарт С++ 1 1 предлагает еще и объявление псевдонима (alias declaration):usinq UPtrМapSS =s td : : unique_ptr<std : : unordered_map<std : : string, std : : string>>;С учетом того, что t ypedef и объявление псевдонима делают в точности одно и то же,разумно задаться вопросом "А есть ли какое-то техническое основание для того, чтобыпредпочесть один способ другому?"Да, есть, но перед тем как я его укажу, замечу, что многие программисты считаютобъявление псевдонима более простым для восприятия при работе с типами, включающими указатели на функции:11 FP является синонимом дпя указателя на функцию, принимающую/ / int и const std : : string& и ничего не возвращающуюtypeclef void ( *FP) ( int, const s td : : string& ) ;1 1 То же самое , но как объявление псевдонимаusing FP = void ( * ) ( int , const s t d : : string& ) ;Конечно, ни одна из разновидностей не оказывается существенно проще другой,а ряд программистов тратит немало времени для того, чтобы верно записать синонимыдля типов указателей на функции, так что пока что убедительных причин для предпочтения объявления псевдонима пока что нет.Однако убедительная причина все же существует, и называется она - шаблоны.В частности, объявления псевдонимов могут быть шаблонизированы (и в этом случаеони называются шаблонами псевдонимов), в то время как t ypedefнет.
Это дает программистам на С++ 1 1 простой механизм для выражения того, что в С++98 можно быловыразить только хакерскими способами, с помощью t ypedef, вложенных в шаблонныеs t ruct. Рассмотрим, например, определение синонима для связанного списка, которыйиспользует пользовательский распределитель памяти MyAl loc. В случае шаблонов псевдонимов это просто, как семечки щелкать:-// MyAl locList<T> является синонимом дпя s t d : : l i st<T, MyAlloc<T>> :tamplate<t:ypename Т>using МyAllocList=std : : list<T, MyAlloc<T>>;// Клиентский кодMyAllocList<Widget> lw;В случае t ypedef эти семечки приходится сначала долго растить:11 MyAllocList<T> : : type-синоним дпя std : : list<T, MyAlloc<T>> :teшplate<t:ypename Т>struct МyAllocList {typedef std : : list<T, MyAlloc<T>> type ;};MyAllocList<Widget> : : type lw; / / Клиентский код74Глава 3.
Пере код к современному С++Все еще хуже. Если вы хотите использовать t ypede f в шаблоне для создания связанного списка, хранящего объекты типа, указанного параметром шаблона, имя, указанноев t ypedef, следует предварять ключевым словом t ypename:template<typename Т>11 Widget<T> содержитclass Widget [/ / MyAllocList<T>,private :typename MyAllocList<T> : : type l i s t ; / / как член-данные);Здесь MyAl locL i s t <T> : : t ype ссылается на тип, который зависит от параметра типашаблона (Т). Тем самым MyAl locLi s t <T> : : t ype является зависимь1м типом (depeпdenttype), а одно из многих милых правил С++ требует, чтобы имена зависимых типов предварялись ключевым словом t ypename.Если MyA l locLi s t определен как шаблон псевдонима, это требование использованияключевого слова t ypename убирается (как и громоздкий суффикс " : : t ype "):template<typename Т>using MyAllocListstd : : l ist<T, MyAl loc<T>>; // Как и ранее=template<typename Т>class Widget {private :МyAllocList<Т> list ;1 1 Ни typenarne ,11 ни : : type);Для вас MyAl locL i s t <T> (т.е.
использование шаблона псевдонима) может выглядетькак зависимый от параметра шаблона т, как и M yA l l ocLi s t <T> : : t ype (т.е. как и использование вложенного t ypede f), но вы не компилятор. Когда компилятор обрабатывает шаблон W idget и встречает использование MyA l l ocLi s t <T> (т.е. использованиешаблона псевдонима), он знает, что MyA l locLi s t <T> является именем типа, посколькуMyAl locL i s t является шаблоном псевдонима: он о бязан быть именем типа. Тем самымMyAl locList<T> оказывается независимым типом, и спецификатор t ypename не являетсяни требуемым, ни разрешенным.С другой стороны, когда компилятор видит MyAl locL i s t <Т> : : t уре (т.е.
использование вложенных t ypedef) в шаблоне Wi dget, он не может знать наверняка, что эта конструкция именует тип, поскольку это может быть специализация MyAl l ocList, с которойон еще не встречался и в которой MyAl l ocLi s t <T> : : t ype ссылается на нечто, отличноеот типа. Это звучит глупо, но не вините компиляторы за то, что они рассматривают такую возможность. В конце концов, это люди пишут такой код.Например, некая заблудшая душа вполне в состоянии написать следующее:class Wine {ternplate<>_);// Специализация MyAllocList в3.3. Предпочитайте обьявnение псевдонимов применению typedef7511 которой Т представляет собой Wineclass MyAll ocList<Wine>private :enшn class WineType/ / См.
в разделе 3 . 4 информацию об{ White, Red, Rose } ; // "enшn class"WineType type;11 В этом классе type представляет11 собой данные-член 1};Как видите, MyAl locL i s t <W ine> : : t ype н е является типом. Если Widget инстанцирован с W i ne, MyAl locLi s t <T> : : t ype в шаблоне W idget представляет собой данные-член,а не тип. Ссылается ли MyAl l ocLi st <T> : : t ype на тип в шаблоне W idget, зависит от того,чем является Т, а потому компиляторы требуют, чтобы вы точно указывали, что это тип,предваряя его ключевым словом t ypename.Если вы занимаетесь метапрограммированием с использованием шаблонов (templatemetaprogramming ТМР), то вы, скорее всего, сталкивались с необходимостью получатьпараметры типов шаблонов и создавать из них новые типы.
Например, для некоторогозаданного типа т вы можете захотеть удалить квалификатор con s t или квалификаторссылки, содержащийся в Т, например преобразовать const std : : s t r i ng& в std : : s t r i ng.Вы можете также захотеть добавить const к типу или преобразовать его в lvalue-ccылкy,например, превращая W idget в const Widget или в Widge t &.
(Если вы еще не занимались ТМР, это плохо, потому что, если вы действительно хотите быть эффективным программистом на С++, вы должны быть знакомы как минимум с основами этого аспектаС++. Вы можете увидеть примеры ТМР в действии, включая различные преобразованиятипов, о которых я упоминал, в разделах 5 . 1 и 5.5.)С++ 1 1 дает вам инструменты для такого рода преобразований в виде свойств типов (type traits), набора шаблонов в заголовочном файле < t ype_t r a i t s > . В нем вынайдете десятки свойств типов; не все из них выполняют преобразования типов, ноте, которые это делают, предлагают предсказуемый интерфейс. Для заданного типа Т,к которому вы хотели бы применить преобразование, результирующий тип имеет видs t d : : преобразование<Т> : : t ype, например:-std : : remove_const<T> : : type// Дает Т из const Тstd : : remove_reference<T> : : type// Дает Т из Т& и Т&&std : : add_lvalue_reference<T> : : type // Дает Т& из ТКомментарии просто резюмируют, что делают эти преобразования, так что не принимайте их слишком буквально.
Перед тем как использовать их в своем проекте, я настоятельно советую ознакомиться с их точной спецификацией.В любом случае я не стремлюсь обеспечить вас учебником по свойствам типов. Вместо этого я прошу вас обратить внимание на то, что каждое преобразование завершается: : t ype".
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
