Почему псевдоним параметра шаблона в стандартных контейнерах С++?

Мне было интересно, почему здесь используется соглашение о присвоении псевдонима типа типу шаблона?

Потому что это так

• стандартный способ сделать,
• делает код менее подверженным ошибкам,
• меньше печатать,
• более читаемый и
• все вышеперечисленное облегчает жизнь!

Например, рассмотрим const_pointer, общедоступный псевдоним шаблона std::vector.

using const_pointer   = typename _Alty_traits::const_pointer;

В какой-то момент вы захотите узнать этот тип и использовать его в функции, как это было бы возможно без вышеуказанного псевдонима?

Конечно, вы можете написать

#include <memory> // std::allocator_traits

using const_pointer = typename std::allocator_traits<typename std::vector</*type*/>::allocator_type>::const_pointer;

в любом месте вашей программы. Но это приводит к более подверженным ошибкам ситуациям (например, отсутствие некоторых typename и т. д.) и большему количеству ввода.

Поэтому имеет смысл собирать такие типы контейнера и предоставлять общедоступные типы-псевдонимы.

Мне было интересно, почему здесь используется соглашение о присвоении псевдонима типа типу шаблона?

Предположим, у вас есть шаблонная функция, которая принимает контейнер STL (std::vector, std::deque, std::set, std::multi_set,...)

template <typename T>
void foo (T const & t)
 {
   // ...
 }

и что вам нужен тип содержащихся значений.

Вы можете внутри foo() просто написать

 using needed_type = typename T::value_type;

и это работает для std::vector, std::deque, std::set, std::multi_set, std::array, std::map, std::multi_map и т. д.

Это соглашение фактически использовалось для предоставления трейтов. Именование этих типов следует некоторому соглашению, позволяющему писать такие функции, как distance, в терминах эти черты и заставить его работать для многих контейнеров.

И я почти уверен, что наличие этих типов для стандартной библиотеки C++ является частью спецификации, и они должны были ее придерживаться.

Стандарт С++ требует, чтобы std::vector предоставлял двойную горсть вложенных имен, и это те, о которых задается вопрос. Вот почему есть value_type, allocator_type, pointer и т. д. Вы можете использовать эти имена в своем коде, когда вам нужны типы, на которые они ссылаются. Например, нередко можно увидеть std::vector<int>::iterator в пользовательском коде для обозначения типа итератора, который предоставляет std::vector<int>.

Что касается того, почему они написаны именно так, то это более широкий вопрос согласованности. Шаблоны во всей реализации Dinkumware стандартной библиотеки C++ (то, что поставляет Microsoft) используют _Ty в качестве базового имени для общих типов. Когда есть два типа, вы увидите _Ty1 и _Ty2. Когда для имени есть внутреннее определение типа, оно будет _Myty (для моего типа). Эта согласованность упрощает поддержку кода.