1

Не совсем понимаю какими должны быть возвращаемые итератором значения при разыменовании, если контейнер содержит указатели. Тобишь какими должны быть возвращаемые значения для операций:

operator*()
operator->()

Если бы контейнер содержал обычные значения, то в первом случае это была бы ссылка, а во втором - указатель по которому находится элемент. Я же думаю, что в обоих случаях (если храним указатели), нужно возвращать указаль. Прав ли я? И нужно как-то ли менять объявление:

class MyIter : public std::iterator<std::bidirectional_iterator_tag, MyVal *> {
....
}
9
  • Ничего не понял. Вы забыли рассказать, что именно должен делать этот итератор. К чему в первом предложении упоминается какое-то "разыменование"? Что такое MyVal *? 25 мар 2019 в 18:36
  • "Если бы контейнер содержал обычные значения, то в первом случае это была бы ссылка, а во втором - указатель" А почему случай с указателями должен отличаться? Можно возвращать ссылку на указатель в первом случае, а во втором либо указатель на указатель, либо вообще убрать operator-> (потому что iter->m всегда будет ошибкой). 25 мар 2019 в 18:38
  • @HolyBlackCat: Закрадывается подозрение, что автор пытается реализовать итератор, который автоматически разыменовывает указатели... Но почему-то автор не удосужился нам об этом членораздельно сообщить. И тогда не ясно, почему в std::iterator указано MyVal *. 25 мар 2019 в 18:48
  • @AnT обходить контейнер - на мой взгляд это очевидное преднозначение итератора. MyVal * - это просто часть примера объявления итератора для контейнера, который содержит указатели 25 мар 2019 в 18:48
  • @AnT что касается "итератора который автоматически разыменовывает указатели" - не надо выдумывать того, чего нет. В вопросе нет ничего подобного 25 мар 2019 в 18:49

1 ответ 1

3

Вы можете просто не задумываясь использовать унаследованные из std::iterator типы reference и pointer

reference operator*() const
pointer operator->() const

(Памятуя, однако, что std::iterator является deprecated. И что эти имена будут так запросто находиться только если std::iterator не является зависимым базовым типом).

Никакой магии в этих типах нет - это просто ссылка на указатель и указатель на указатель. При этом оператор -> невозможно будет корректно вызывать через синтаксис "оператора в выражении" (как и должно быть). Он будет вызываем только через синтаксис "вызов функции".

6
  • Это понятно, но меня интересует все-таки типы (особенно reference). Не вдаваясь в подробности реализации контейнера, я не могу возвращать ссылку на указатель, только сам указатель. Так что если reference это MyVal *& (условно) то этот тип не подходит 25 мар 2019 в 18:55
  • @AndrejLevkovitch Так надо было это сразу в вопросе сказать, ну. reference совершенно не обязан быть ссылкой (см. std::vector<bool>), так что замените тип reference на просто MyVal *, а pointer оставьте как MyVal **. operator-> я бы убрал вообще (раз вы не можете возвращать ссылку, то и operator-> видимо не можете осмысленно написать; и раз он все равно не может быть вызван без слова operator, то я так понимаю, его удаление не нарушает требования к итераторам). 25 мар 2019 в 19:05
  • @HolyBlackCat а что насчет записи pointer тоже как MyVal *? Или это может нарушить правильную работы алгоритмов? 25 мар 2019 в 19:07
  • @AndrejLevkovitch Я бы использовал MyVal **, это как-то логичнее. На счет алгоритмов: я тут еще почитал требования к итераторам и понял, что ошибся - reference обязан быть ссылкой, а итераторы std::vector<bool> не соответствуют требованиям к итераторам, так что работа алгоритмов с таким итератором в любом случае гарантироваться не будет. 25 мар 2019 в 19:17
  • 1
    @AndrejLevkovitch В смысле, типы pointer, reference и т.д.? Если они уже есть в родителе и они правильные, то нет, зачем. Вам ведь просто нужно чтобы ваш класс соответствовал требованиям к итераторам (полностью, или насколько это возможно). 25 мар 2019 в 19:26

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.