¿Cuál es el efecto de std :: nth_element (a.begin(), a.end(), a.end())?

Question

leí la descripción de std::nth_element en http://www.sgi.com/tech/stl/nth_element.html

template <class RandomAccessIterator> 
void nth_element(RandomAccessIterator first, RandomAccessIterator nth, 
       RandomAccessIterator last); 

Tenga en cuenta que las condiciones previas son

1. [primero, de orden n) es un rango válido.
2. [enésimo, último lugar] es un rango válido.

Mi pregunta es:

¿Es válido para llamar std::nth_element(a.begin(), a.end(), a.end())? Si es así, ¿cuál es su efecto? No viola las condiciones previas arriba, de todos modos. En cualquier lugar del estándar de idioma (u otros documentos), se indicó que nth debe apuntar a un elemento en a?

Answer 1

Es válido y probablemente, pero no está garantizado por la norma, una operación nula. Con los datos dados, las dos condiciones previas se convierten en:

[a.begin(), a.end()) is a valid range. 
[a.end(), a.end()) is a valid range. 

Las dos son verdaderas; sin embargo, el segundo intervalo está vacío. De la norma 25.3.2/1:

Después nth_element el elemento en la posición apuntada por enésima es el elemento que estaría en esa posición si toda la gama se ordenaron. También para cualquier iterador i en el rango [primero, enésimo) y cualquier iterador j en el rango [enésimo, último] contiene que:! (* I> * j) o comp (* j, * i) == falso.

Si toda la gama se solucionó el original a.end() estaría en a.end() y para la segunda parte de la gama [nth, last) es vacía, así que no hay elementos para los que evaluar las condiciones !(*i > *j) y comp(*j, *i) == false.

Answer 2

No, no es válido porque nth tiene que estar dentro del rango [first, last).

Answer 3

No, std::nth_element(a.begin(), a.end(), a.end()) no es válido; infringe la segunda condición previa, que requiere que el iterador nth (el segundo argumento) apunte a un elemento válido. a.end() no apunta a un elemento válido.