Объясните пожалуйста зачем нужна структура класса iterator_traits.

@BESSON_off · Регистрация: 08.07.2013

Author24 — интернет-сервис помощи студентам

Всем привет!

Объясните пожалуйста зачем нужна структура класса iterator_traits. Ведь все тайпдефы, которые содержатся в этой структуре имеются в каждом стандартном контейнере.
И код:

C++

template <class T>
typename iterator_traits<T>::reference func(T iter_begin)
{
typename iterator_traits<T>::reference d = *iter_begin;
return d;
}
 
int main()
{
    std::vector<int> vec;
    int init = 0;
    std::generate_n(std::back_inserter(vec), 10, [&] () -> int {return ++init;});
 
    std::vector<int>::iterator iter_begin = vec.begin();
 
    cerr << func(iter_begin) << endl;
 
    return 0; 
}

можно записать так:

C++

template <class T>
typename T::reference func(T iter_begin)
{
typename T::reference d = *iter_begin;
return d;
}
 
int main()
{
    std::vector<int> vec;
    int init = 0;
    std::generate_n(std::back_inserter(vec), 10, [&] () -> int {return ++init;});
 
    std::vector<int>::iterator iter_begin = vec.begin();
 
    cerr << func(iter_begin) << endl;
 
    return 0; 
}

Их предназначение ограничивается созданием пользовательских контейнеров?

Убежденный · 23.01.2014, 19:57

Интересный вопрос.

Представьте, что итератор для какого-то контейнера на самом деле
является обычным указателем. Но для алгоритмов из STL нужно больше
сведений, чем этот указатель может предоставить, а поместить "внутрь"
него соответствующие typedef-ы нельзя. Вот для этого, в частности, и
нужны traits.

@BESSON_off · 23.01.2014, 20:14 **[ТС]**

И помещая этот указатель к traits я делаю из него итератор, способный работать с обобщенными алгоритмами... ?

Убежденный · 23.01.2014, 21:21

Чтобы сделать STL-совместимый итератор, нужно удовлетворить всем требованиям,
описанным в разделе стандарта C++ "Iterator Requirements", в том числе и traits.

@Nick Alte · 24.01.2014, 17:50

Сообщение от Убежденный

Но для алгоритмов из STL нужно больше
сведений, чем этот указатель может предоставить,

Кстати говоря, теперь это уже не так, всё содержимое iterator_traits для указателя легко выводится через decltype. Но, разумеется, на момент создания STL это был единственный вменяемый выход, который теперь, скорее всего, останется в стандарте очень надолго, если не насовсем, ради совместимости с уже наработанным кодом.

Убежденный · 24.01.2014, 18:13

Сообщение от Nick Alte

всё содержимое iterator_traits для указателя легко выводится через decltype.

Что-то сомневаюсь. Как можно через decltype вывести iterator_category, например ?

@Nick Alte · 24.01.2014, 20:07

Сообщение от Убежденный

Как можно через decltype вывести iterator_category, например ?

Формально её можно вывести через SFINAE с тем же decltype, по наличию операций, характерных для каждой категории. А по сути из элементарных (встроенных) типов на роль итератора только указатель и сгодится, а его категория уже сразу известна. Для других типов, не элементарных, уже ничто не помешает определять вложенные typedef-ы.

Убежденный Ушел с форума 16473 / 7436 / 1187 Регистрация: 02.05.2013 Сообщений: 11,617 Записей в блоге: 1
	23.01.2014, 19:57	2
	Интересный вопрос. Представьте, что итератор для какого-то контейнера на самом деле является обычным указателем. Но для алгоритмов из STL нужно больше сведений, чем этот указатель может предоставить, а поместить "внутрь" него соответствующие typedef-ы нельзя. Вот для этого, в частности, и нужны traits. 1

@BESSON_off 3 / 0 / 0 Регистрация: 08.07.2013 Сообщений: 351
	23.01.2014, 20:14 [ТС]	3
	И помещая этот указатель к traits я делаю из него итератор, способный работать с обобщенными алгоритмами... ? 0

Убежденный Ушел с форума 16473 / 7436 / 1187 Регистрация: 02.05.2013 Сообщений: 11,617 Записей в блоге: 1
	23.01.2014, 21:21	4
	Чтобы сделать STL-совместимый итератор, нужно удовлетворить всем требованиям, описанным в разделе стандарта C++ "Iterator Requirements", в том числе и traits. 0

@Nick Alte 1674 / 1046 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	24.01.2014, 17:50	5
	Сообщение от Убежденный Но для алгоритмов из STL нужно больше сведений, чем этот указатель может предоставить, Кстати говоря, теперь это уже не так, всё содержимое iterator_traits для указателя легко выводится через decltype. Но, разумеется, на момент создания STL это был единственный вменяемый выход, который теперь, скорее всего, останется в стандарте очень надолго, если не насовсем, ради совместимости с уже наработанным кодом. 0

Убежденный Ушел с форума 16473 / 7436 / 1187 Регистрация: 02.05.2013 Сообщений: 11,617 Записей в блоге: 1
	24.01.2014, 18:13	6
	Сообщение от Nick Alte всё содержимое iterator_traits для указателя легко выводится через decltype. Что-то сомневаюсь. Как можно через decltype вывести iterator_category, например ? 0

@Nick Alte 1674 / 1046 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	24.01.2014, 20:07	7
	Сообщение от Убежденный Как можно через decltype вывести iterator_category, например ? Формально её можно вывести через SFINAE с тем же decltype, по наличию операций, характерных для каждой категории. А по сути из элементарных (встроенных) типов на роль итератора только указатель и сгодится, а его категория уже сразу известна. Для других типов, не элементарных, уже ничто не помешает определять вложенные typedef-ы. 0

Опции темы