comparable.h

Go to the documentation of this file.

#ifndef COMPARABLE_H
#define COMPARABLE_H
#include "config.h"
#include "types.h"
#include <compare>
 
 
namespace original {
 
template <typename DERIVED>
class comparable {
public:
    virtual integer compareTo(const DERIVED &other) const = 0;
 
    template<typename EXTENDED>
    requires ExtendsOf<comparable<EXTENDED>, EXTENDED>
    friend std::strong_ordering operator<=>(const EXTENDED& lc, const EXTENDED& rc);
 
    bool operator==(const DERIVED &other) const;
 
    bool operator!=(const DERIVED &other) const;
 
    bool operator<(const DERIVED &other) const;
 
    bool operator>(const DERIVED &other) const;
 
    bool operator<=(const DERIVED &other) const;
 
    bool operator>=(const DERIVED &other) const;
 
    virtual ~comparable() = default;
};
 
// ----------------- Definitions of comparable.h -----------------
 
template<typename EXTENDED>
requires ExtendsOf<comparable<EXTENDED>, EXTENDED>
std::strong_ordering operator<=>(const EXTENDED& lc, const EXTENDED& rc) {
    return lc.compareTo(rc) <=> 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator==(const DERIVED &other) const -> bool {
    return compareTo(other) == 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator!=(const DERIVED &other) const -> bool {
    return compareTo(other) != 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator<(const DERIVED &other) const -> bool {
    return compareTo(other) < 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator>(const DERIVED &other) const -> bool {
    return compareTo(other) > 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator<=(const DERIVED &other) const -> bool {
    return compareTo(other) <= 0;
}
 
template<typename DERIVED>
auto comparable<DERIVED>::operator>=(const DERIVED &other) const -> bool {
    return compareTo(other) >= 0;
}
 
} // namespace original
 
#endif //COMPARABLE_H