Можете объяснить чем следующая структура(или что-то подобное) может быть полезна для использования итераторов, в одной лекции упомянули, но не понял суть: template <typename T> struct structure { typedef T type; };
Это с C++14 завезли. Ваш IBM "что-то там" как обычно на высоте в вопросах поддержки языка и его стандартной библиотеки) По сути это "шорткат" для typename std::is_same<>::type.
это чтобы было что проверять, мне нужно инстанцировать шаблон, для типа, чтобы подставились static_assert, если просто так написать шаблон с ассертами, то он не инстанцируется и не проверится