Вложенные псевдонимы типов STL классов, зачем?

[graveman]

https://en.cppreference.com/w/cpp/memory/allocator
В классах std::allocator, std::allocator_traits, std::vector есть вложенные псевдонимы типов:
pointer,
reference,
value_type,
void_pointer

Самый простой пример: разве может быть какой-то другой указатель на void*, зачем нужен void_pointer? Хочу понять смысл.

[p51x]

Для унификации, упрощения, шаблонов, трейтов, поддержки и т.д.

Сообщение от graveman

Самый простой пример: разве может быть какой-то другой указатель на void*, зачем нужен void_pointer?

Чтобы был тип, с которым можно было работать, например проверять в ограничениях. std::uint8_t*, std::byte*