Qt::totally_ordered_wrapper Class

Description détaillée

L'une de ses principales utilisations est d'empêcher les comportements non définis (UB) lors de la comparaison de pointeurs.

Considérons la classe simple suivante :

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

La comparaison lexicographique des deux instances du type PointerWrapperBad résulterait en un comportement non défini, car elle appellerait operator<() ou operator<=>() sur les membres ptr.

Pour résoudre ce problème, il faut utiliser le nouveau type enveloppant :

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;
};

Les opérateurs operator<() et (si disponible) operator<=>() pour le type Qt::totally_ordered_wrapper utilisent respectivement les objets fonctionnels std::less et std::compare_three_way, fournissant un ordre total strict sur les pointeurs lors de la comparaison.

En conséquence, les opérateurs relationnels pour le membre PointerWrapperGood::ptr seront bien définis, et nous pouvons même =default les opérateurs relationnels pour la classe PointerWrapperGood, comme indiqué ci-dessus.