Почему `iterator_category 'удаляется в` std :: views :: concat :: iterator`, если это чистый итератор ввода? ⇐ C++

[Anonymous]

В предложении C ++ 26, а также P2542, т.е. std :: views :: concat , существует запутанное утверждение:

Участник typedef-name itterator_category определяется , если all-forward_category определяется , если all-forward < /blockquote>
то есть: < /p>

• Если concat_view < /code>, наконец, диапазон ввода, тогда его тип итератора не содержит внутреннего типа iterator_category < /code>; В противном случае,
• его тип итератора будет содержать внутренний тип итератор_Категории как обычно.

Я не могу понять:

. Есть ли iterator_category , если это чистый итератор ввода?

Подробнее здесь: https://stackoverflow.com/questions/797 ... if-its-a-p