Что такое особые и неособые значения в контексте итераторов STL?

Итераторы также могут иметь особые значения, которые не связаны ни с каким контейнером.

Полагаю, это его определение.

Как и почему разыменовываемые значения всегда неособые?

Потому что, если бы они этого не сделали, разыменование их было бы неопределенным поведением.

Если я правильно понимаю, сингулярное значение для итератора по сути эквивалентно неназначенному указателю. Это итератор, который нигде не инициализирован, и поэтому у него нет четко определенного элемента, который он повторяет. Объявление нового итератора, который не настроен для указания на элемент диапазона, например, создает этот итератор как единственный итератор.

Как указано в части спецификации, единичные итераторы небезопасны, и ни одна из стандартных операций итератора, таких как приращение, присваивание и т. Д., Не может использоваться с ними. Все, что вы можете сделать, это присвоить им новое значение, надеясь, что они будут указывать на действительные данные.

Я думаю, что причина такого определения в том, что такие утверждения, как

set<int>::iterator itr;

Может быть разрешено спецификацией при стандартизованном значении. Термин «сингулярность» здесь, вероятно, относится к математическому определению сингулярности, которую в менее формальных условиях также называют «разрывом».

Взгляните на Что такое значение итератора по умолчанию?.

Как указывает цитата, особые значения - это значения итератора, не связанные ни с одним контейнером. Единственное значение почти бесполезно: вы не можете продвигать его, разыменовать его и т. Д. Один из способов (единственный способ?) Получить единичный итератор - не инициализировать его, как показано в ответе templatetypedef.

Одна из полезных вещей, которые вы можете сделать с помощью единственного итератора, - это присвоить ему неособое значение. Когда вы это сделаете, вы сможете делать с ним все, что захотите.

Неособые значения почти по определению являются значениями итератора, которые связаны с контейнером. Это отвечает на вопрос, почему разыменовываемые значения всегда не являются единственными: итераторы, которые не указывают на какой-либо контейнер, не могут быть разыменованы (какой элемент это вернет?).

Как правильно заметил Матье М., неособые значения могут по-прежнему не разыменовываться. Примером является итератор, прошедший через конец (который можно получить, вызвав container.end ()): он связан с контейнером, но по-прежнему не может быть указан.

Я не могу сказать, где эти термины определены. Тем не менее, Google говорит об "define: singular" (среди других определений) следующее:

remarkable: unusual or striking

Я полагаю, это может объяснить терминологию.

Что такое единственное и несингулярное значение? Как они определены? И где?

Давайте воспользуемся простейшим воплощением Iterator: указателем.

Для указателя:

• указанное единственное значение - это значение NULL неинициализированное значение.
• неособое значение - это явно инициализированное значение, оно не может быть разыменовано по-прежнему (указатель на конец конца не должен разыменовываться)

Я бы сказал, что указатель NULL - это единственное значение, но не единственное, поскольку оно представляет отсутствие значения.

Какая эквивалентность для обычных итераторов?

std::vector<int>::iterator it;, конструктор по умолчанию для большинства итераторов (связанных с контейнером), создает единственное значение. Поскольку он не привязан к контейнеру, любая форма навигации (увеличение, уменьшение, ...) не имеет смысла.

Как и почему разыменовываемые значения всегда неособые?

Особые значения по определению представляют собой отсутствие реальной стоимости. Они появляются на многих языках: Python None, C # null, C NULL, C ++ std::nullptr. Загвоздка в том, что в C или C ++ они также могут быть простым мусором ... (все, что было в памяти раньше)

Является ли построенный по умолчанию итератор сингулярным значением?

Думаю, не обязательно. Стандарт не требует этого, и можно представить себе использование дозорного объекта.