Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

using UPtrMapSS =

std::unique_ptr>;

С учетом того, что typedefи объявление псевдонима делают в точности одно и то же, разумно задаться вопросом “А есть ли какое-то техническое основание для того, чтобы предпочесть один способ другому?”

Да, есть, но перед тем как я его укажу, замечу, что многие программисты считают объявление псевдонима более простым для восприятия при работе с типами, включающими указатели на функции:

// FP является синонимом для указателя на функцию, принимающую

// int и const std::string& и ничего не возвращающую

typedefvoid (* FP) (int, const std::string&);

// То же самое, но как объявление псевдонима

using FP= void (*)(int, const std::string&);

Конечно, ни одна из разновидностей не оказывается существенно проще другой, а ряд программистов тратит немало времени для того, чтобы верно записать синонимы для типов указателей на функции, так что пока что убедительных причин для предпочтения объявления псевдонима пока что нет.

Однако убедительная причина все же существует, и называется она — шаблоны. В частности, объявления псевдонимов могут быть шаблонизированы (и в этом случае они называются шаблонами псевдонимов), в то время как typedef— нет. Это дает программистам на С++11 простой механизм для выражения того, что в С++98 можно было выразить только хакерскими способами, с помощью typedef, вложенных в шаблонные struct. Рассмотрим, например, определение синонима для связанного списка, который использует пользовательский распределитель памяти MyAlloc. В случае шаблонов псевдонимов это просто, как семечки щелкать:

// MyAllocList является синонимом для std::list>:

template

using MyAllocList= std::list>;

MyAllocList lw; // Клиентский код

В случае typedefэти семечки приходится сначала долго растить:

// MyAllocList::type - синоним для std::list>:

template

struct MyAllocList {

typedefstd::list> type;

};

MyAllocList::type lw; // Клиентский код

Все еще хуже. Если вы хотите использовать typedefв шаблоне для создания связанного списка, хранящего объекты типа, указанного параметром шаблона, имя, указанное в typedef, следует предварять ключевым словом typename:

template

class Widget { // Widget содержит

private: // MyAllocList,

typenameMyAllocList::type list; // как член-данные

};

Здесь MyAllocList::typeссылается на тип, который зависит от параметра типа шаблона ( T). Тем самым MyAllocList::typeявляется зависимым типом (dependent type), а одно из многих милых правил С++ требует, чтобы имена зависимых типов предварялись ключевым словом typename.

Если MyAllocListопределен как шаблон псевдонима, это требование использования ключевого слова typenameубирается (как и громоздкий суффикс “ ::type”):

template

using MyAllocList = std::list>; // Как и ранее

template

class Widget {

private:

MyAllocList list; // Ни typename,

// ни ::type

};

Для вас MyAllocList(т.e. использование шаблона псевдонима) может выглядеть как зависимый от параметра шаблона T, как и MyAllocList::type(т.e. как и использование вложенного typedef), но вы не компилятор. Когда компилятор обрабатывает шаблон Widget и встречает использование MyAllocList(т.e. использование шаблона псевдонима), он знает, что MyAllocListявляется именем типа, поскольку MyAllocListявляется шаблоном псевдонима: он обязан быть именем типа. Тем самым MyAllocListоказывается независимым типом , и спецификатор typenameне является ни требуемым, ни разрешенным.

С другой стороны, когда компилятор видит MyAllocList::type(т.e. использование вложенных typedef) в шаблоне Widget, он не может знать наверняка, что эта конструкция именует тип, поскольку это может быть специализация MyAllocList, с которой он еще не встречался и в которой MyAllocList::typeссылается на нечто, отличное от типа. Это звучит глупо, но не вините компиляторы за то, что они рассматривают такую возможность. В конце концов, это люди пишут такой код.

Например, некая заблудшая душа вполне в состоянии написать следующее:

class Wine { … };

template<> // Специализация MyAllocList в

class MyAllocList { // которой T представляет собой Wine

private:

enum class WineType // См. в разделе 3.4 информацию об

{ White, Red, Rose }; // "enum class"

WineType type; // В этом классе type представляет