mirror of
https://github.com/ETLCPP/etl.git
synced 2026-10-28 18:07:10 +08:00
0e37acaed2
This was disabled explicitly in recent commit 232c948674cff1b4b72c2d6b3acfa7342d096dd1 to prevent using the <compare> header from STL. Now, re-enabling by implementing an ETL version of it in compare.h
344 lines
12 KiB
C++
344 lines
12 KiB
C++
/******************************************************************************
|
|
The MIT License(MIT)
|
|
|
|
Embedded Template Library.
|
|
https://github.com/ETLCPP/etl
|
|
https://www.etlcpp.com
|
|
|
|
Copyright(c) 2017 John Wellbelove
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
of this software and associated documentation files(the "Software"), to deal
|
|
in the Software without restriction, including without limitation the rights
|
|
to use, copy, modify, merge, publish, distribute, sublicense, and / or sell
|
|
copies of the Software, and to permit persons to whom the Software is
|
|
furnished to do so, subject to the following conditions :
|
|
|
|
The above copyright notice and this permission notice shall be included in all
|
|
copies or substantial portions of the Software.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.IN NO EVENT SHALL THE
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
SOFTWARE.
|
|
******************************************************************************/
|
|
|
|
#include "unit_test_framework.h"
|
|
|
|
#include "etl/compare.h"
|
|
|
|
namespace
|
|
{
|
|
int a = 1;
|
|
int b = 2;
|
|
|
|
typedef etl::compare<int> CompareInt;
|
|
|
|
struct Object
|
|
{
|
|
int a;
|
|
int b;
|
|
};
|
|
|
|
Object ta = {1, 2};
|
|
Object tb = {2, 3};
|
|
|
|
//***********************************
|
|
bool constexpr operator<(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) < (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
bool constexpr operator>(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) > (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
bool constexpr operator<=(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) <= (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
bool constexpr operator>=(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) >= (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
bool constexpr operator==(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) == (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
bool constexpr operator!=(const Object& lhs, const Object& rhs)
|
|
{
|
|
return (lhs.a + lhs.b) != (rhs.a + rhs.b);
|
|
}
|
|
|
|
//***********************************
|
|
struct LessTest
|
|
{
|
|
bool constexpr operator()(const Object& lhs, const Object& rhs) const
|
|
{
|
|
return (lhs.a + lhs.b) < (rhs.a + rhs.b);
|
|
}
|
|
};
|
|
|
|
struct ComparatorOnlyObject
|
|
{
|
|
int a;
|
|
int b;
|
|
};
|
|
|
|
struct LessBySecond
|
|
{
|
|
bool constexpr operator()(const ComparatorOnlyObject& lhs, const ComparatorOnlyObject& rhs) const
|
|
{
|
|
return lhs.b < rhs.b;
|
|
}
|
|
};
|
|
|
|
typedef etl::compare<Object, LessTest> CompareTest;
|
|
|
|
SUITE(test_compare)
|
|
{
|
|
//*************************************************************************
|
|
TEST(test_lt)
|
|
{
|
|
CHECK_EQUAL(a < b, (CompareInt::lt(a, b)));
|
|
CHECK_EQUAL(b < a, (CompareInt::lt(b, a)));
|
|
CHECK_EQUAL(a < a, (CompareInt::lt(a, a)));
|
|
CHECK_EQUAL(ta < tb, (CompareTest::lt(ta, tb)));
|
|
CHECK_EQUAL(tb < ta, (CompareTest::lt(tb, ta)));
|
|
CHECK_EQUAL(ta < ta, (CompareTest::lt(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_lte)
|
|
{
|
|
CHECK_EQUAL(a <= b, (CompareInt::lte(a, b)));
|
|
CHECK_EQUAL(b <= a, (CompareInt::lte(b, a)));
|
|
CHECK_EQUAL(a <= a, (CompareInt::lte(a, a)));
|
|
CHECK_EQUAL(ta <= tb, (CompareTest::lte(ta, tb)));
|
|
CHECK_EQUAL(tb <= ta, (CompareTest::lte(tb, ta)));
|
|
CHECK_EQUAL(ta <= ta, (CompareTest::lte(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_gt)
|
|
{
|
|
CHECK_EQUAL(a > b, (CompareInt::gt(a, b)));
|
|
CHECK_EQUAL(b > a, (CompareInt::gt(b, a)));
|
|
CHECK_EQUAL(a > a, (CompareInt::gt(a, a)));
|
|
CHECK_EQUAL(ta > tb, (CompareTest::gt(ta, tb)));
|
|
CHECK_EQUAL(tb > ta, (CompareTest::gt(tb, ta)));
|
|
CHECK_EQUAL(ta > ta, (CompareTest::gt(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_gte)
|
|
{
|
|
CHECK_EQUAL(a >= b, (CompareInt::gte(a, b)));
|
|
CHECK_EQUAL(b >= a, (CompareInt::gte(b, a)));
|
|
CHECK_EQUAL(a >= a, (CompareInt::gte(a, a)));
|
|
CHECK_EQUAL(ta >= tb, (CompareTest::gte(ta, tb)));
|
|
CHECK_EQUAL(tb >= ta, (CompareTest::gte(tb, ta)));
|
|
CHECK_EQUAL(ta >= ta, (CompareTest::gte(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_eq)
|
|
{
|
|
CHECK_EQUAL(a == b, (CompareInt::eq(a, b)));
|
|
CHECK_EQUAL(b == a, (CompareInt::eq(b, a)));
|
|
CHECK_EQUAL(a == a, (CompareInt::eq(a, a)));
|
|
CHECK_EQUAL(ta == tb, (CompareTest::eq(ta, tb)));
|
|
CHECK_EQUAL(tb == ta, (CompareTest::eq(tb, ta)));
|
|
CHECK_EQUAL(ta == ta, (CompareTest::eq(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_ne)
|
|
{
|
|
CHECK_EQUAL(a != b, (CompareInt::ne(a, b)));
|
|
CHECK_EQUAL(b != a, (CompareInt::ne(b, a)));
|
|
CHECK_EQUAL(a != a, (CompareInt::ne(a, a)));
|
|
CHECK_EQUAL(ta != tb, (CompareTest::ne(ta, tb)));
|
|
CHECK_EQUAL(tb != ta, (CompareTest::ne(tb, ta)));
|
|
CHECK_EQUAL(ta != ta, (CompareTest::ne(ta, ta)));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_cmp)
|
|
{
|
|
CHECK_EQUAL(CompareInt::Less, (CompareInt::cmp(2, 4)));
|
|
CHECK_EQUAL(CompareInt::Greater, (CompareInt::cmp(4, 2)));
|
|
CHECK_EQUAL(CompareInt::Equal, (CompareInt::cmp(0, 0)));
|
|
CHECK_EQUAL(CompareTest::Less, (CompareTest::cmp(Object{0, 1}, Object{2, 4})));
|
|
CHECK_EQUAL(CompareTest::Greater, (CompareTest::cmp(Object{2, 4}, Object{0, 1})));
|
|
CHECK_EQUAL(CompareTest::Equal, (CompareTest::cmp(Object{2, 4}, Object{2, 4})));
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_constexpr_cmp)
|
|
{
|
|
constexpr int cmp_less = CompareInt::cmp(2, 4);
|
|
constexpr int cmp_greater = CompareInt::cmp(4, 2);
|
|
constexpr int cmp_equal = CompareInt::cmp(0, 0);
|
|
|
|
constexpr int cmp_test_less = CompareTest::cmp(Object{0, 1}, Object{2, 4});
|
|
constexpr int cmp_test_greater = CompareTest::cmp(Object{2, 4}, Object{0, 1});
|
|
constexpr int cmp_test_equal = CompareTest::cmp(Object{2, 4}, Object{2, 4});
|
|
|
|
CHECK_EQUAL(CompareInt::Less, cmp_less);
|
|
CHECK_EQUAL(CompareInt::Greater, cmp_greater);
|
|
CHECK_EQUAL(CompareInt::Equal, cmp_equal);
|
|
|
|
CHECK_EQUAL(CompareInt::Less, cmp_test_less);
|
|
CHECK_EQUAL(CompareInt::Greater, cmp_test_greater);
|
|
CHECK_EQUAL(CompareInt::Equal, cmp_test_equal);
|
|
}
|
|
|
|
#if ETL_USING_CPP20
|
|
//*************************************************************************
|
|
TEST(test_strong_ordering)
|
|
{
|
|
constexpr etl::strong_ordering ordering_less(etl::strong_ordering::less);
|
|
constexpr etl::strong_ordering ordering_equal(etl::strong_ordering::equal);
|
|
constexpr etl::strong_ordering ordering_greater(etl::strong_ordering::greater);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_less <= 0);
|
|
CHECK(!(ordering_less == 0));
|
|
CHECK(!(ordering_less > 0));
|
|
CHECK(ordering_equal == 0);
|
|
CHECK(ordering_equal <= 0);
|
|
CHECK(ordering_equal >= 0);
|
|
CHECK(ordering_greater > 0);
|
|
CHECK(ordering_greater >= 0);
|
|
CHECK(!(ordering_greater == 0));
|
|
|
|
// Reversed operands.
|
|
CHECK(0 > ordering_less);
|
|
CHECK(0 < ordering_greater);
|
|
|
|
static_assert(etl::strong_ordering::equivalent == etl::strong_ordering::equal, "Equivalent must alias equal");
|
|
static_assert(etl::is_same<etl::weak_ordering, decltype(etl::weak_ordering(etl::strong_ordering::less))>::value,
|
|
"Must convert to weak_ordering");
|
|
CHECK(etl::weak_ordering(etl::strong_ordering::less) < 0);
|
|
CHECK(etl::partial_ordering(etl::strong_ordering::greater) > 0);
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_make_strong_ordering)
|
|
{
|
|
constexpr etl::strong_ordering ordering_less = etl::make_strong_ordering(-1);
|
|
constexpr etl::strong_ordering ordering_equal = etl::make_strong_ordering(0);
|
|
constexpr etl::strong_ordering ordering_greater = etl::make_strong_ordering(1);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_equal == 0);
|
|
CHECK(ordering_greater > 0);
|
|
|
|
static_assert(etl::is_same<decltype(etl::make_strong_ordering(0)), etl::strong_ordering>::value, "Must return etl::strong_ordering");
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_weak_ordering)
|
|
{
|
|
constexpr etl::weak_ordering ordering_less(etl::weak_ordering::less);
|
|
constexpr etl::weak_ordering ordering_equivalent(etl::weak_ordering::equivalent);
|
|
constexpr etl::weak_ordering ordering_greater(etl::weak_ordering::greater);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_equivalent == 0);
|
|
CHECK(ordering_greater > 0);
|
|
|
|
CHECK(0 > ordering_less);
|
|
CHECK(0 < ordering_greater);
|
|
|
|
static_assert(etl::weak_ordering::equivalent == 0, "Equivalent must be zero");
|
|
CHECK(etl::partial_ordering(etl::weak_ordering::less) < 0);
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_make_weak_ordering)
|
|
{
|
|
constexpr etl::weak_ordering ordering_less = etl::make_weak_ordering(-1);
|
|
constexpr etl::weak_ordering ordering_equivalent = etl::make_weak_ordering(0);
|
|
constexpr etl::weak_ordering ordering_greater = etl::make_weak_ordering(1);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_equivalent == 0);
|
|
CHECK(ordering_greater > 0);
|
|
|
|
static_assert(etl::is_same<decltype(etl::make_weak_ordering(0)), etl::weak_ordering>::value, "Must return etl::weak_ordering");
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_partial_ordering)
|
|
{
|
|
constexpr etl::partial_ordering ordering_less(etl::partial_ordering::less);
|
|
constexpr etl::partial_ordering ordering_equivalent(etl::partial_ordering::equivalent);
|
|
constexpr etl::partial_ordering ordering_greater(etl::partial_ordering::greater);
|
|
constexpr etl::partial_ordering ordering_unordered(etl::partial_ordering::unordered);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_equivalent == 0);
|
|
CHECK(ordering_greater > 0);
|
|
|
|
// An unordered result compares false against zero in every direction.
|
|
CHECK(!(ordering_unordered < 0));
|
|
CHECK(!(ordering_unordered <= 0));
|
|
CHECK(!(ordering_unordered == 0));
|
|
CHECK(!(ordering_unordered >= 0));
|
|
CHECK(!(ordering_unordered > 0));
|
|
CHECK(ordering_unordered != 0);
|
|
|
|
static_assert(etl::partial_ordering::equivalent == 0, "Equivalent must be zero");
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_make_partial_ordering)
|
|
{
|
|
constexpr etl::partial_ordering ordering_less = etl::make_partial_ordering(-1);
|
|
constexpr etl::partial_ordering ordering_equivalent = etl::make_partial_ordering(0);
|
|
constexpr etl::partial_ordering ordering_greater = etl::make_partial_ordering(1);
|
|
|
|
CHECK(ordering_less < 0);
|
|
CHECK(ordering_equivalent == 0);
|
|
CHECK(ordering_greater > 0);
|
|
|
|
static_assert(etl::is_same<decltype(etl::make_partial_ordering(0)), etl::partial_ordering>::value, "Must return etl::partial_ordering");
|
|
}
|
|
|
|
//*************************************************************************
|
|
TEST(test_three_way_compare_custom_less)
|
|
{
|
|
constexpr ComparatorOnlyObject lhs = {5, 1};
|
|
constexpr ComparatorOnlyObject rhs = {1, 2};
|
|
constexpr ComparatorOnlyObject eq = {9, 1};
|
|
|
|
constexpr int cmp_less = etl::three_way_compare<ComparatorOnlyObject, LessBySecond>(lhs, rhs);
|
|
constexpr int cmp_greater = etl::three_way_compare<ComparatorOnlyObject, LessBySecond>(rhs, lhs);
|
|
constexpr int cmp_equal = etl::three_way_compare<ComparatorOnlyObject, LessBySecond>(lhs, eq);
|
|
|
|
CHECK_EQUAL(-1, cmp_less);
|
|
CHECK_EQUAL(1, cmp_greater);
|
|
CHECK_EQUAL(0, cmp_equal);
|
|
|
|
CHECK(etl::make_strong_ordering(cmp_less) < 0);
|
|
CHECK(etl::make_strong_ordering(cmp_greater) > 0);
|
|
CHECK(etl::make_strong_ordering(cmp_equal) == 0);
|
|
}
|
|
#endif
|
|
}
|
|
} // namespace
|