<QtTypeTraits> - Qt Type Traits

Documentación de funciones

[constexpr noexcept(...)] template <typename T, typename U = T> T qExchange(T &obj, U &&newValue)

Sustituye el valor de obj por newValue y devuelve el valor antiguo de obj.

Esta es la implementación de Qt de std::exchange(). Difiere de std::exchange() sólo en que es constexpr ya antes de C++20 y noexcept ya antes de C++23.

Recomendamos encarecidamente utilizar std::exchange() cuando no se necesiten las variantes C++20 o C++23. Puede hacer que qExchange() no esté disponible definiendo la macro QT_NO_QEXCHANGE.

A continuación se muestra cómo utilizar qExchange() para implementar constructores de movimiento:

MyClass(MyClass &&other)
  : m_pointer{qExchange(other.m_pointer, nullptr)},
    m_int{qExchange(other.m_int, 0)},
    m_vector{std::move(other.m_vector)},
    ...

Para miembros de tipo clase, podemos usar std::move(), ya que su constructor move hará lo correcto. Pero para tipos escalares como punteros sin formato o tipo entero, move es lo mismo que copy, lo cual, particularmente para punteros, no es lo que esperamos. Por lo tanto, no podemos usar std::move() para esos tipos, pero podemos usar std::exchange()/qExchange() para asegurarnos de que el miembro del objeto fuente ya está reseteado cuando lleguemos a la inicialización de nuestro siguiente miembro de datos, lo que puede ser útil si el constructor sale con una excepción.

He aquí cómo utilizar qExchange() para escribir un bucle que consuma la colección sobre la que itera:

for (auto &e : qExchange(collection, {})
    doSomethingWith(e);

Lo que equivale al siguiente código, mucho más verboso:

{
    auto tmp = std::move(collection);
    collection = {};                    // or collection.clear()
    for (auto &e : tmp)
        doSomethingWith(e);
}                                       // destroys 'tmp'

Esto es perfectamente seguro, ya que el bucle for mantiene vivo el resultado de qExchange() mientras se ejecuta el bucle, guardando la declaración de una variable temporal. Tenga en cuenta, sin embargo, que qExchange() devuelve un objeto no-const, por lo que los contenedores Qt pueden desprenderse.

[constexpr noexcept, since 6.2] template <typename Enum> std::underlying_type_t<Enum> qToUnderlying(Enum e)

Convierte el enumerador e al valor equivalente expresado en el tipo subyacente de su enumeración.

Esta función se introdujo en Qt 6.2.