icommon.hpp

浏览该文件的文档.

#ifndef MSTL_CORE_INTERFACE_ICOMMON_HPP__
#define MSTL_CORE_INTERFACE_ICOMMON_HPP__

 
#include "MSTL/core/functional/hash.hpp"
MSTL_BEGIN_NAMESPACE__


template <typename T>
struct ihashable {
private:
    constexpr const T& derived() const noexcept {
        return static_cast<const T&>(*this);
    }
 
public:
    MSTL_NODISCARD constexpr size_t to_hash() const
    noexcept(noexcept(derived().to_hash())) {
        return derived().to_hash();
    }
};
 
template <typename T>
struct hash<T, enable_if_t<is_base_of<ihashable<T>, T>::value>> {
    MSTL_NODISCARD constexpr size_t operator ()(const T& obj) const
    noexcept(noexcept(obj.to_hash())) {
        return obj.to_hash();
    }
};
 

template <typename T>
struct icomparable {
private:
    constexpr const T& derived() const noexcept {
        return static_cast<const T&>(*this);
    }
 
public:
    MSTL_NODISCARD constexpr bool operator ==(const T& rhs) const
        noexcept(noexcept(derived() == rhs)) {
        return derived() == rhs;
    }

    MSTL_NODISCARD constexpr bool operator !=(const T& rhs) const
        noexcept(noexcept(!(*this == rhs))) {
        return !(*this == rhs);
    }

    MSTL_NODISCARD constexpr bool operator <(const T& rhs) const
        noexcept(noexcept(derived() < rhs)) {
        return derived() < rhs;
    }

    MSTL_NODISCARD constexpr bool operator >(const T& rhs) const
        noexcept(noexcept(rhs < derived())) {
        return rhs < derived();
    }

    MSTL_NODISCARD constexpr bool operator <=(const T& rhs) const
        noexcept(noexcept(!(derived() > rhs))) {
        return !(derived() > rhs);
    }

    MSTL_NODISCARD constexpr bool operator >=(const T& rhs) const
        noexcept(noexcept(!(derived() < rhs))) {
        return !(derived() < rhs);
    }
};
 

template <typename T>
struct icommon : icomparable<T>, ihashable<T> {};
 // CRTPInterfaces
 
MSTL_END_NAMESPACE__
#endif // MSTL_CORE_INTERFACE_ICOMMON_HPP__