BlackMATov/meta.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/meta.hpp.git synced 2025-12-16 22:17:02 +07:00
Code Issues Packages Projects Releases Wiki Activity

add value less operator

Browse Source
This commit is contained in:
BlackMATov
2021-11-29 20:26:00 +07:00
parent 1c48e85dbe
commit b77a38afdb
2 changed files with 106 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

118
headers/meta.hpp/meta_utilities/value.hpp
View File

@@ -12,28 +12,54 @@
namespace meta_hpp::detail
{
template < typename T, typename = void >
struct has_value_type_equality_operator
: std::false_type {};
struct has_value_type_less_op : std::false_type {};
template < typename T >
struct has_value_type_equality_operator<T, std::void_t<decltype(
struct has_value_type_less_op<T, std::void_t<decltype(
std::declval<const T&>() < std::declval<const T&>()
)>> : std::true_type {};
template < typename T >
concept has_value_type_less_op_kind = has_value_type_less_op<T>::value;
template < typename T >
concept has_not_value_type_less_op_kind = !has_value_type_less_op<T>::value;
template < has_value_type_less_op_kind T >
bool value_less_function(const value& l, const value& r) {
assert(l.get_type() == r.get_type());
return l.cast<T>() < r.cast<T>();
}
template < has_not_value_type_less_op_kind T >
bool value_less_function([[maybe_unused]] const value& l, [[maybe_unused]] const value& r) {
throw std::logic_error("value type doesn't have less operator");
}
}
namespace meta_hpp::detail
{
template < typename T, typename = void >
struct has_value_type_equals_op : std::false_type {};
template < typename T >
struct has_value_type_equals_op<T, std::void_t<decltype(
std::declval<const T&>() == std::declval<const T&>()
)>> : std::true_type {};
template < typename T >
inline constexpr bool has_value_type_equality_operator_v = has_value_type_equality_operator<T>::value;
concept has_value_type_equals_op_kind = has_value_type_equals_op<T>::value;
template < typename T, std::enable_if_t<
has_value_type_equality_operator_v<T>
, int> = 0 >
template < typename T >
concept has_not_value_type_equals_op_kind = !has_value_type_equals_op<T>::value;
template < has_value_type_equals_op_kind T >
bool value_equals_function(const value& l, const value& r) {
assert(l.get_type() == r.get_type());
return l.cast<T>() == r.cast<T>();
}
template < typename T, std::enable_if_t<
!has_value_type_equality_operator_v<T>
, int> = 0 >
template < has_not_value_type_equals_op_kind T >
bool value_equals_function([[maybe_unused]] const value& l, [[maybe_unused]] const value& r) {
throw std::logic_error("value type doesn't have equality operator");
}
@@ -42,27 +68,25 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < typename T, typename = void >
struct has_value_type_istream_operator
: std::false_type {};
struct has_value_type_istream_op : std::false_type {};
template < typename T >
struct has_value_type_istream_operator<T, std::void_t<decltype(
struct has_value_type_istream_op<T, std::void_t<decltype(
std::declval<std::istream&>() >> std::declval<T&>()
)>> : std::true_type {};
template < typename T >
inline constexpr bool has_value_type_istream_operator_v = has_value_type_istream_operator<T>::value;
concept has_value_type_istream_op_kind = has_value_type_istream_op<T>::value;
template < typename T, std::enable_if_t<
has_value_type_istream_operator_v<T>
, int> = 0 >
template < typename T >
concept has_not_value_type_istream_op_kind = !has_value_type_istream_op<T>::value;
template < has_value_type_istream_op_kind T >
void value_istream_function(std::istream& os, value& v) {
os >> v.cast<T>();
}
template < typename T, std::enable_if_t<
!has_value_type_istream_operator_v<T>
, int> = 0 >
template < has_not_value_type_istream_op_kind T >
void value_istream_function([[maybe_unused]] std::istream& os, [[maybe_unused]] value& v) {
throw std::logic_error("value type doesn't have istream operator");
}
@@ -71,27 +95,25 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < typename T, typename = void >
struct has_value_type_ostream_operator
: std::false_type {};
struct has_value_type_ostream_op : std::false_type {};
template < typename T >
struct has_value_type_ostream_operator<T, std::void_t<decltype(
struct has_value_type_ostream_op<T, std::void_t<decltype(
std::declval<std::ostream&>() << std::declval<const T&>()
)>> : std::true_type {};
template < typename T >
inline constexpr bool has_value_type_ostream_operator_v = has_value_type_ostream_operator<T>::value;
concept has_value_type_ostream_op_kind = has_value_type_ostream_op<T>::value;
template < typename T, std::enable_if_t<
has_value_type_ostream_operator_v<T>
, int> = 0 >
template < typename T >
concept has_not_value_type_ostream_op_kind = !has_value_type_ostream_op<T>::value;
template < has_value_type_ostream_op_kind T >
void value_ostream_function(std::ostream& os, const value& v) {
os << v.cast<T>();
}
template < typename T, std::enable_if_t<
!has_value_type_ostream_operator_v<T>
, int> = 0 >
template < has_not_value_type_ostream_op_kind T >
void value_ostream_function([[maybe_unused]] std::ostream& os, [[maybe_unused]] const value& v) {
throw std::logic_error("value type doesn't have ostream operator");
}
@@ -105,6 +127,7 @@ namespace meta_hpp
void* (*const data)(value&) noexcept;
const void* (*const cdata)(const value&) noexcept;
bool (*const less)(const value&, const value&);
bool (*const equals)(const value&, const value&);
void (*const move_ctor)(std::any&, value&&);
@@ -133,6 +156,9 @@ namespace meta_hpp
return v.try_cast<T>();
},
// less
&detail::value_less_function<T>,
// equals
&detail::value_equals_function<T>,
@@ -275,25 +301,45 @@ namespace meta_hpp
}
}
namespace meta_hpp
{
template < typename T >
bool operator<(const value& l, const T& r) {
return (l.get_type() < resolve_type<T>())
|| (l.get_type() == resolve_type<T>() && std::less<>{}(l.cast<T>(), r));
}
template < typename T >
bool operator<(const T& l, const value& r) {
return (resolve_type<T>() < r.get_type())
|| (resolve_type<T>() == r.get_type() && std::less<>{}(l, r.cast<T>()));
}
inline bool operator<(const value& l, const value& r) {
return (l.get_type() < r.get_type())
|| (l.get_type() == r.get_type() && l.traits_->less(l, r));
}
}
namespace meta_hpp
{
template < typename T >
bool operator==(const value& l, const T& r) {
return l.get_type() == resolve_type<T>()
&& std::equal_to<>{}(l.cast<T>(), r);
return l.get_type() == resolve_type<T>() && std::equal_to<>{}(l.cast<T>(), r);
}
template < typename T >
bool operator==(const T& l, const value& r) {
return resolve_type<T>() == r.get_type()
&& std::equal_to<>{}(l, r.cast<T>());
return resolve_type<T>() == r.get_type() && std::equal_to<>{}(l, r.cast<T>());
}
inline bool operator==(const value& l, const value& r) {
return l.get_type() == r.get_type()
&& l.traits_->equals(l, r);
return l.get_type() == r.get_type() && l.traits_->equals(l, r);
}
}
namespace meta_hpp
{
inline std::istream& operator>>(std::istream& is, value& v) {
v.traits_->istream(is, v);
return is;

25
untests/meta_utilities/value_tests.cpp
View File

@@ -40,8 +40,12 @@ namespace
int ivec2::move_ctor_counter{0};
int ivec2::copy_ctor_counter{0};
bool operator<(const ivec2& l, const ivec2& r) noexcept {
return std::tie(l.x, l.y) < std::tie(r.x, r.y);
}
bool operator==(const ivec2& l, const ivec2& r) noexcept {
return l.x == r.x && l.y == r.y;
return std::tie(l.x, l.y) == std::tie(r.x, r.y);
}
}
@@ -274,6 +278,25 @@ TEST_CASE("meta/meta_utilities/value") {
CHECK(v == 42);
}
SUBCASE("operator<") {
CHECK(meta::value{ivec2{1,2}} < ivec2{1,3});
CHECK_FALSE(meta::value{ivec2{1,3}} < ivec2{1,2});
CHECK(ivec2{1,2} < meta::value{ivec2{1,3}});
CHECK_FALSE(ivec2{1,3} < meta::value{ivec2{1,2}});
CHECK(meta::value{ivec2{1,2}} < meta::value{ivec2{1,3}});
CHECK_FALSE(meta::value{ivec2{1,3}} < meta::value{ivec2{1,2}});
{
class empty_class1 {};
class empty_class2 {};
CHECK(operator<(meta::value{empty_class1{}}, meta::value{empty_class2{}}));
CHECK_THROWS(operator<(meta::value{empty_class1{}}, meta::value{empty_class1{}}));
}
}
SUBCASE("operator==") {
CHECK(meta::value{ivec2{1,2}} == ivec2{1,2});
CHECK_FALSE(meta::value{ivec2{1,2}} == ivec2{1,3});