Pasando el objeto calificado como constante a ‘std::move’
Haciendo un análisis de código en PVS-Studio, me dio algunos mensajes de advertencia.
Tengo la siguiente declaración en un archivo de encabezado:
constexpr int MIN_ALLOWED_Y { 0 };
Y en un archivo fuente:
std::make_pair<const int, const int>( std::move( MIN_ALLOWED_Y ), std::move( MAX_ALLOWED_Y ) )
En la expresión anterior, utilicé std::move para convertir MIN_ALLOWED_Y en un xvalue porque pensé que std::make_pair solo acepta rvalue;
// de https://en.cppreference.com/w/cpp/utility/pair/make_pair
<p>template< class T1, class T2 >
constexpr std::pair<V1,V2> make<em>pair( T1&& t, T2&& u );
<code>
Pero obtengo mensajes de advertencia como:
</code>
V833 Pasar el objeto const calificado 'MIN</em>ALLOWED_Y' a la función 'std::move' desactiva la semántica de movimiento.
¿Es esta una advertencia válida? Si es así, ¿qué debo hacer? ¿Debo quitar el std::move (¿quizás es redundante en este caso?)?
Una mejor pregunta sería ¿dónde no usar std::move?
davy.ai
El mensaje de advertencia recibido de PVS-Studio en este caso, “V833 Pasar el objeto ‘MIN_ALLOWED_Y’ calificado como const a la función ‘std::move’ deshabilita la semántica de movimiento”, es válido. Esto se debe a que
std::movesolo debe usarse con objetos que puedan ser movidos, y dado queMIN_ALLOWED_Yes unconstexpr intcon un valor conocido en tiempo de compilación, no se puede mover. Por lo tanto, usarstd::moveen unconstexpr intes innecesario y resulta en la deshabilitación de la semántica de movimiento.En general,
std::movesolo debe usarse cuando se tiene un objeto que puede ser movido, como una referencia de rvalue (T&&), y se desea indicar explícitamente que se quiere mover el objeto en lugar de copiarlo. Usarstd::moveen un objeto que no puede ser movido es innecesario y puede generar problemas de rendimiento o código propenso a errores. Por lo tanto, es esencial utilizarstd::movede manera prudente y solo en situaciones donde sea apropiado hacerlo.