Qt::totally_ordered_wrapper Class

詳細な説明

Qt::totally_ordered_wrapper<P> は、P がラップする型を指定するテンプレートクラスです。

その主な用途の一つは、ポインタを比較する際に未定義の挙動（UB）を防ぐことです。

次の単純なクラスを考えてみましょう。

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

PointerWrapperBad 型の2つのインスタンスを辞書順で比較すると、ptr のメンバに対してoperator<() またはoperator<=>() が呼び出されるため、未定義の挙動（UB）が発生します。

これを修正するには、新しいラッパー型を使用します：

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

Qt::totally_ordered_wrapper 型に対するoperator<() および（利用可能な場合）operator<=>() 演算子は、それぞれstd::lessおよびstd::compare_three_way関数オブジェクトを使用し、比較を行う際にポインタに対して厳密な全順序を提供します。

その結果、PointerWrapperGood::ptr のメンバに対する関係演算子は適切に定義され、上記のようにPointerWrapperGood クラスの関係演算子に対しても=default を適用することが可能になります。