Зачем в стандартной библиотеке вначале класса объявлены псевдонимы для параметров шаблона?

Question

[Dolarun]

Вопрос в заголовке. Для читабельности?

Comments

[Wataru]

Покажите конкретный код, о котором спрашиваете.

[Dolarun]

Wataru, да, простите что код не прикрепил, думал это распространено.

template <class _Container>
class back_insert_iterator { // wrap pushes to back of container as output iterator
public:
    ....
    using container_type = _Container;
...

Я видел, где таких псевдонимов больше, где параметром не только контейнер передаётся, но и ещё аллокатор, потерял. Тут только 1 псевдоним о котором я говорил. Нельзя было сразу назвать параметр "container_type"?

[Евгений Шатунов]

Dolarun, да, это широко распространенная практика. Но я не смог понять с твоих слов того, что ты говоришь об этом коде.
Твой пример - это определение вложенных типов, которые зависят от параметров шаблона.

Чтобы понять пользу таких определений, просто представь ситуацию. У тебя есть вектор элементов MyVector. Ты знаешь что этот вектор инстанцирован из шаблона std::vector, но не знаешь тип элементов этого вектора потому что тип уже 10 раз менялся в процессе рефакторинга.
Тебе достаточно использовать MyVector::value_type чтобы узнать тип элемента вектора.
Польза становится только больше очевидной когда ты работаешь над кодом шаблона алгоритма, в котором используется абстрактная коллекция из шаблонного параметра, у которой по контракту должен быть все тот же вложенный тип value_type.

В общем и целом это относится к принципу единственной зависимости из SOLID. Ты замыкаешь свой код на зависимость от одного типа вместо зависимости от множества разных типов, имена которых могут измениться в процессе рефакторинга.

Answer 1

[Wataru]

Это делается по нескольким причинам.

Во-первых, чтобы можно было к параметру шаблона обращатся в других шаблонах. Вот, вы привели пример с _Сontainer в каком-то итераторе. Можно представить что есть какой-то алгоритм (функция), который принимает итератор и ему там надо будет как-то использовать тип контейнера (или временную переменную завести, или тип возвращаемого значения задать или как-то проверить, что тип контейнера обладает какими-то свойствами).

При этом алгоритм должен получать и вот этот вот back_insert_iterator и еще десяток других итераторов. Поэтому нельзя тип контейнера вынести в параметр шаблона и указывать его в типе итератора в праметре функции. Вы поищите в исходниках этот самый "_Container" - станет понятно, как оно используется.

Во-вторых, иногда это делается и для удобства. Ибо в этих шаблонах параметры сами могут быть адски нагроможденными шаблонами.