Qt::totally_ordered_wrapper Class

Ausführliche Beschreibung

Qt::totally_ordered_wrapper<P> ist eine Template-Klasse, bei der P den zu umhüllenden Typ angibt.

Einer der Hauptanwendungsfälle besteht darin, undefiniertes Verhalten (Undefined Behavior, UB) beim Vergleich von Zeigern zu verhindern.

Betrachten Sie die folgende einfache Klasse:

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

Ein lexikografischer Vergleich der beiden Instanzen des Typs „ PointerWrapperBad “ würde zu UB führen, da dabei die Methoden „ operator<() “ oder „ operator<=>() “ für die „ ptr “-Mitglieder aufgerufen würden.

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 verfügbar) ` operator<=>() ` für den Typ ` Qt::totally_ordered_wrapper ` verwenden jeweils die Funktionsobjekte `std::less` und `std::compare_three_way`, wodurch beim Vergleich eine strenge Gesamtordnung über Zeiger gewährleistet wird.

Dadurch sind die Relationoperatoren für das Element „ PointerWrapperGood::ptr “ wohldefiniert, und wir können die Relationoperatoren für die Klasse „ PointerWrapperGood “ sogar wie oben gezeigt „ =default “ verwenden.