Разрешено ли непрерывным итераторам проявлять неопределенное поведение в `operator-> ()` для итераторов прошлых концов? ⇐ C++

[Anonymous]

Допускается ли это для несвязанного оператора итератора-> () для демонстрации неопределенного поведения, когда итератор указывает на прошлое? прошлое. Это ясно по адресу https://en.cppreference.com/w/cpp/iterator, раздел «Дереферентоспособность и достоверность», в котором говорится «значения итератора I, для которого выражение *I определяется, называются обоснованными. В стандартной библиотеке никогда не предполагается, что () для демонстрации неопределенного поведения, когда итератор указывает на прошлое. Это можно сделать из двух разделов на CppReerference: (1) по адресу https://en.cppreference.com/w/cpp/itera ... e_iterator, раздел «Семантические требования» определяет невременную итератор C , а требования к STD :: to_address (c) , который Impress, что STDDSPRED: stdress (C) , что STDDSRESS (C). Выставьте неопределенное поведение. (2) По адресу https://en.cppreference.com/w/cpp/memory/to_address это дает «возможную реализацию», где std :: to_address зависит от оператора-> () .

Пользую, что non-contigoury Пользую нельт-то, нельзя нет в emeirators . Оператор-> () так, чтобы его поведение не определено для итераторов прошлых. Вот различные «доказательства»/«подсказки», которые я нашел, связанный с этим:

• Неопределенные концепции итератора C ++ 20, похоже, не требуют этого оператора-> () вообще определяются. Это просто не упомянуто среди всех требований, определенных по адресу https://en.cppreference.com/w/cpp/itera ... s_iterator, или требования, от которых они зависят, AFAICS.
• Сознавное C ++ концепция итератора, STD :: Condigator_ Code>, требует Ophorator, что-то) () .

Так, легко запутаться, и я вижу довольно много «доказательства»/«подсказки», связанные с неконтролируемыми итераторами, оператор->. Но, насколько я мог бы найти, никаких явных требований, которое урегулирует, разрешено ли нерегистрированным итераторам демонстрировать неопределенное поведение в операторе-> () , когда итератор указывает на прошлое. У кого -нибудь есть более определенный ответ?

Подробнее здесь: https://stackoverflow.com/questions/795 ... ior-in-ope