std::ranges::iter_move
| Definido en el archivo de encabezado <iterator>
|
||
| inline namespace /*sin especificar*/ { inline constexpr /*sin especificar*/ iter_move = /*sin especificar*/; |
(desde C++20) (objeto punto de personalización) |
|
| Signatura de llamada |
||
| template< class T > requires /* véase más abajo */ |
||
Obtiene una referencia rvalue o un prvalue temporal de un iterador dado.
Una llamada a ranges::iter_move es equivalente en expresión a:
- iter_move(std::forward<T>(t)), si std::remove_cvref_t<T> es una clase o un tipo enumeración y la expresión está bien formada en un contexto no evaluado, donde la resolución de sobrecarga se lleva a cabo con los siguientes candidatos:
- void iter_move();
- cualquier declaración de
iter_moveencontrada por la búsqueda dependiente de argumento.
- de lo contrario, std::move(*std::forward<T>(t)) si *std::forward<T>(t) está bien formada y es un lvalue,
- de lo contrario, *std::forward<T>(t) si *std::forward<T>(t) está bien formada y es un rvalue.
En todos los otros casos, una llamada a ranges::iter_move está mal formada, lo que puede resultar en falla en la sustitución cuando ranges::iter_move(e) aparece en el contexto inmediato de una instanciación de plantilla.
Si ranges::iter_move(e) no es igual a *e, el programa está mal formado, no se requiere diagnóstico.
[editar] Equivalente en expresión
La expresión e es equivalente-en-expresión a la expresión f, si e y f tienen los mismos efectos, ambas potencialmente lanzan o ambas potencialmente no lanzan (es decir, noexcept (e) == noexcept(f)), y ambas son subexpresiones constantes o ambas no son subexpresiones constantes.
[editar] Objetos de punto de personalización
El nombre ranges::iter_move denota un objeto de punto de personalización, que es un objeto función const de un tipo clase literal semiregular (denotado, a efectos de exposición, como iter_move_ftor). Todos los ejemplares de iter_move_ftor son iguales. Por lo tanto, ranges::iter_move puede copiarse libremente y sus copias pueden usarse indistintamente.
Dado un conjunto de tipos Args..., si std::declval<Args>()... cumple con los requerimientos para los argumentos de ranges::iter_move mencionado anteriormente, iter_move_ftor satisfará a std::invocable<const iter_move_ftor&, Args...>. De lo contrario, ningún operador de llamada a función de iter_move_ftor participa en la resolución de sobrecarga.
[editar] Véase también
| (C++20) |
Convierte el resultado de desreferenciar el iterador subyacente ajustado a su tipo referencia rvalue asociado (plantilla de función) |
| (C++20) |
Convierte el resultado de desreferenciar el iterador subyacente a su tipo referencia rvalue asociado (plantilla de función) |
