totally_ordered_wrapper Class

Detaillierte Beschreibung

Einer der Hauptanwendungsfälle ist die Verhinderung von Undefined Behavior (UB) beim Vergleich von Zeigern.

Betrachten Sie die folgende einfache Klasse:

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

Ein lexikographischer Vergleich der beiden Instanzen des Typs PointerWrapperBad würde zu UB führen, da er operator<() oder operator<=>() auf den ptr Membern aufrufen würde.

Um dies zu beheben, verwenden Sie den neuen Wrapper-Typ:

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

Die Operatoren operator<() und (falls vorhanden) operator<=>() für den Typ Qt::totally_ordered_wrapper verwenden die Funktionsobjekte std::less bzw. std::compare_three_way, die beim Vergleich eine strikte Gesamtreihenfolge über Zeiger gewährleisten.

Infolgedessen sind die relationalen Operatoren für die Mitglieder von PointerWrapperGood::ptr wohldefiniert, und wir können sogar =default die relationalen Operatoren für die Klasse PointerWrapperGood verwenden, wie es oben gezeigt wird.