¿El incremento de un iterador de entrada mutable invalida los valores del iterador anterior?

Question

Los iteradores que satisfacen los requisitos de los iteradores de salida se denominan iteradores variables. Los iteradores no mutables se denominan iteradores constantes . [24.2.1: 4]

Esto sugiere que podría tener un iterador de entrada mutable, que cumpla con los requisitos de los iteradores de entrada y salida.

Después de incrementar un iterador de entrada, las copias de su valor anterior no necesitan ser desmarcables [24.2.3]. Sin embargo, el estándar no dice lo mismo para los iteradores de salida; de hecho, la semántica operacional para el incremento de postfix se da como { X tmp = r; ++r; return tmp; }, lo que sugiere que los iteradores de salida no pueden invalidar (copias de) los valores del iterador anterior.

Entonces, ¿el incremento de un iterador de entrada mutable invalida las copias antiguas del iterador?

En caso afirmativo, ¿cómo podría admitir código como X a(r++); *a = t o X::reference p(*r++); p = t con (por ejemplo) un objeto proxy?

Si no es así, ¿por qué boost::iterator dice que necesita un objeto proxy? (El enlace es código; desplácese hacia abajo para leer los comentarios en struct s writable_postfix_increment_proxy y postfix_increment_result). Es decir, si puede devolver una copia (sin referencia) del antiguo valor del iterador, ¿por qué debería envolver esta copia en un proxy?

Answer 1

La explicación si se encuentra en la siguiente sección, [24.2.5] iteradores Delantero, donde se afirma cómo éstos difieren de entrada y de salida iteradores:

Dos iteradores Dereferenceable a y b de tipo X oferta la garantía de pasos múltiples si:

- a == b implica ++a == ++b y
- X es un tipo de puntero o la expresión (void)++X(a), *a es equivalente a la expresión *a. [Nota: el requisito a == b implica ++a == ++b (que no es verdadero para los iteradores de entrada y salida) y la eliminación de las restricciones en el número de asignaciones a través de un iterador mutable (que se aplica a iteradores de salida) permite el uso de algoritmos multidireccionales unidireccionales con iteradores directos. -fin nota]

Por desgracia, la norma debe leerse como un todo, y la explicación no es siempre donde se espera que sea.

Answer 2

Los iteradores de entrada y salida están diseñados básicamente para permitir el recorrido transversal de un solo paso: para describir secuencias donde cada elemento solo se puede visitar una vez.

Las transmisiones son un gran ejemplo. Si lee desde stdin o un socket, o escribe en un archivo, entonces solo está la posición actual de la ruta. Todos los demás iteradores que apuntan a la misma secuencia subyacente se invalidan cuando incrementa un iterador.

iteradores hacia adelante, deje de múltiples pasadas de recorrido, la garantía adicional que necesita: aseguran que se puede copiar su iterador, incrementar el original y la copia se todavía punto a la antigua posición, por lo que pueden recorrer desde allí .