входной итератор + выходной итератор + X = прямой итератор

Question

Я хочу решить уравнение в заголовке и найти X. Насколько я понимаю, входной или выходной итератор, в отличие от прямого итератора, становится недействительным, как только его копия выдвигается. Существуют ли какие-либо дополнительные требования для типа T, который удовлетворяет концепции входного итератора и концепции выходного итератора, чтобы соответствовать концепции прямого итератора?

В любом случае, можете ли вы привести реальный пример итератора, который является как входным, так и выходным, но не является прямым? Спасибо

Answer 1

Категории итераторов имеют дело с операциями, разрешенными на итераторе.Разыменование прямого итератора должно давать T& (C ++ 03), тогда как разыменование входного итератора должно давать только тип, конвертируемый в T.Например, vector<bool>::iterator - это итератор ввода / вывода, но не прямой итератор (поскольку разыменование возвращает прокси, конвертируемое в bool - потому что вы не можете вернуть ссылку на бит).

Answer 2

И согласно диаграмме здесь прямой итератор может быть построен по умолчанию, но входной или выходной итератор не может.