44 lines
983 B
Plaintext
44 lines
983 B
Plaintext
|
#pragma once
|
||
|
|
#include "comparable.h"
|
||
|
|
namespace meta
|
||
|
|
{
|
||
|
|
template<typename T>
|
||
|
|
inline bool comparable<T>::operator>(const T& rhs) const
|
||
|
|
{
|
||
|
|
static_assert(std::is_same_v<decltype(std::declval<const T&>() < std::declval<const T&>()), bool>, "type must be override bool operator<(const T&) const");
|
||
|
|
return rhs < me();
|
||
|
|
}
|
||
|
|
template<typename T>
|
||
|
|
inline bool comparable<T>::operator<=(const T& rhs) const
|
||
|
|
{
|
||
|
|
return !(rhs > me());
|
||
|
|
}
|
||
|
|
template<typename T>
|
||
|
|
inline bool comparable<T>::operator>=(const T& rhs) const
|
||
|
|
{
|
||
|
|
return !(me() < rhs);
|
||
|
|
}
|
||
|
|
template<typename T>
|
||
|
|
inline bool comparable<T>::operator==(const T& rhs) const
|
||
|
|
{
|
||
|
|
return !operator!=(rhs);
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
inline bool comparable<T>::operator!=(const T& rhs) const
|
||
|
|
{
|
||
|
|
return me() < rhs || rhs < me();
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
inline T& comparable<T>::me()
|
||
|
|
{
|
||
|
|
return *static_cast<T*>(this);
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
inline const T& comparable<T>::me() const
|
||
|
|
{
|
||
|
|
return *static_cast<const T*>(this);
|
||
|
|
}
|
||
|
|
}
|