Создание InputIterator, который не сохраняет value_type

Question

Я создаю тип, который моделирует InputIterator. В моем приложении «пропустить первые сотни тысяч элементов» - это разумная вещь, и создание value_type дорого, поэтому я хочу, чтобы мой итератор создал value_type только при разыменовании, а не при увеличении.

Я мог бы легко сделать operator* вернуть значение value_type. Но я не знаю, что делать с operator->. Как я могу вернуть указатель, если мой итератор не сохраняет value_type? Я боюсь жизненных проблем с указателем на временное и не хочу, чтобы меня сожгли.

Я думал об отсутствии operator->, но тогда у меня не было бы полного InputIterator.

Answer 1

Я считаю, что он будет работать, чтобы вернуть прокси-объект по значению из operator-> итератора. Прокси-сервер будет иметь один элемент данных value_type, а его собственный operator-> вернет указатель на этот элемент данных.

Срок службы прокси-объекта такой же, как и любой другой объект возврата по значению (например, мой план для operator*), поэтому, хотя у меня есть указатель на временный, в этих обстоятельствах он потребляется до объекта прокси разрушается.