Qt::totally_ordered_wrapper Class

Descripción detallada

Uno de sus principales usos es prevenir el Comportamiento Indefinido (UB) cuando se comparan punteros.

Considere la siguiente clase simple:

template <typename T>
struct PointerWrapperBad {
    int val;
    T *ptr;
};

La comparación lexicográfica de las dos instancias del tipo PointerWrapperBad resultaría en UB, porque llamará a operator<() o operator<=>() en los miembros ptr.

Para solucionarlo, utilice el nuevo tipo envoltorio:

template <typename T>
struct PointerWrapperGood {
    int val;
    Qt::totally_ordered_wrapper<T *> ptr;

    friend bool
    operator==(PointerWrapperGood lhs, PointerWrapperGood rhs) noexcept = default;
    friend auto
    operator<=>(PointerWrapperGood lhs, PointerWrapperGood rhs) noexecpt = default;
};

Los operadores operator<() y (si está disponible) operator<=>() para el tipo Qt::totally_ordered_wrapper utilizan los objetos de función std ::less y std::compare_three_way respectivamente, proporcionando un orden total estricto sobre los punteros al realizar la comparación.

Como resultado, los operadores relacionales para el miembro PointerWrapperGood::ptr estarán bien definidos, e incluso podemos =default los operadores relacionales para la clase PointerWrapperGood, como se muestra arriba.