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 */ constexpr decltype(auto) iter_move(T&& t) noexcept(/* 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)), sistd::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.
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.
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.
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) |