Qt::totally_ordered_wrapper Class

Description détaillée

Qt::totally_ordered_wrapper<P> est une classe de modèle où P spécifie le type à encapsuler.

L'un de ses principaux cas d'utilisation consiste à éviter les comportements indé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 ` entraînerait un comportement indéfini (UB), car elle appellerait ` operator<() ` ou ` operator<=>() ` sur les membres ` ptr `.

Pour y remédier, utilisez le nouveau type wrapper :

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 (le cas échéant) operator<=>() du type Qt::totally_ordered_wrapper utilisent respectivement les objets-fonctions std::less et std::compare_three_way, assurant ainsi un ordre total strict sur les pointeurs lors de la comparaison.

Par conséquent, les opérateurs relationnels du membre ` PointerWrapperGood::ptr ` seront bien définis, et nous pouvons même ` =default ` les opérateurs relationnels de la classe ` PointerWrapperGood `, comme illustré ci-dessus.