etl/test/test_const_multiset_ext_constexpr.cpp

1424 lines
63 KiB
C++

/******************************************************************************
The MIT License(MIT)
Embedded Template Library.
https://github.com/ETLCPP/etl
https://www.etlcpp.com
Copyright(c) 2025 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 <array>
#include <algorithm>
#include <utility>
#include <iterator>
#include "etl/const_multiset.h"
#include "etl/span.h"
#include "data.h"
namespace
{
static constexpr size_t Max_Size = 10UL;
//*************************************************************************
// The key type
//*************************************************************************
struct Key
{
// Default constructor
constexpr Key()
: k(0)
{
}
// Construct from char key
constexpr explicit Key(char k_)
: k(k_)
{
}
char k;
};
// Less-than operator for Key < Key
constexpr bool operator <(const Key& lhs, const Key& rhs) noexcept
{
return (lhs.k < rhs.k);
}
// Less-than operator for Key < char
constexpr bool operator <(const Key& lhs, char rhs) noexcept
{
return (lhs.k < rhs);
}
// Less-than operator for char < Key
constexpr bool operator <(char lhs, const Key& rhs) noexcept
{
return (lhs < rhs.k);
}
// Equality operator for Key == Key
constexpr bool operator ==(const Key& lhs, const Key& rhs) noexcept
{
return (lhs.k == rhs.k);
}
//// Equality operator for Key != Key
//constexpr bool operator !=(const Key& lhs, const Key& rhs) noexcept
//{
// return !(lhs.k == rhs.k);
//}
#define TEST_GREATER_THAN
#ifdef TEST_GREATER_THAN
using Data = etl::const_multiset_ext<Key, etl::greater<Key>>;
using IData = etl::iconst_multiset<Key, etl::greater<Key>>;
using DataTransparentComparator = etl::const_multiset_ext<Key, etl::greater<>>;
using IDataTransparentComparator = etl::iconst_multiset<Key, etl::greater<>>;
#else
using Data = etl::const_multiset_ext<Key, etl::less<Key>>;
using IData = etl::iconst_multiset<Key, etl::less<Key>>;
using DataTransparentComparator = etl::const_multiset_ext<Key, etl::less<>>;
using IDataTransparentComparator = etl::iconst_multiset<Key, etl::less<>>;
#endif
using value_type = Data::value_type;
using key_type = Data::key_type;
using const_iterator = Data::const_iterator;
using span_type = etl::span<const value_type, Max_Size>;
SUITE(test_const_multiset_ext_constexpr)
{
//*************************************************************************
TEST(test_default_constructor)
{
static constexpr Data data;
static constexpr bool is_valid = data.is_valid();
static constexpr size_t size = data.size();
static constexpr bool empty = data.empty();
static constexpr bool full = data.full();
static constexpr size_t capacity = data.capacity();
static constexpr size_t max_size = data.max_size();
static constexpr const_iterator begin = data.begin();
static constexpr const_iterator end = data.end();
CHECK_TRUE(is_valid);
CHECK_TRUE(size == 0UL);
CHECK_TRUE(empty);
CHECK_FALSE(full);
CHECK_TRUE(capacity == 0UL);
CHECK_TRUE(max_size == 0UL);
CHECK_TRUE(begin == end);
}
//*************************************************************************
TEST(test_constructor_min_size)
{
static constexpr value_type values[]{ Key('A') };
static constexpr Data data(values);
static constexpr bool is_valid = data.is_valid();
static constexpr size_t size = data.size();
static constexpr bool empty = data.empty();
static constexpr bool full = data.full();
static constexpr size_t capacity = data.capacity();
static constexpr size_t max_size = data.max_size();
static constexpr const_iterator begin = data.begin();
static constexpr const_iterator end = data.end();
CHECK_TRUE(is_valid);
CHECK_TRUE(size == 1U);
CHECK_FALSE(empty);
CHECK_TRUE(full);
CHECK_TRUE(capacity == 1U);
CHECK_TRUE(max_size == 1U);
CHECK_FALSE(begin == end);
}
//*************************************************************************
TEST(test_constructor_max_size)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr bool is_valid = data.is_valid();
static constexpr size_t size = data.size();
static constexpr bool empty = data.empty();
static constexpr bool full = data.full();
static constexpr size_t capacity = data.capacity();
static constexpr size_t max_size = data.max_size();
static constexpr const_iterator begin = data.begin();
static constexpr const_iterator end = data.end();
CHECK_TRUE(is_valid);
CHECK_TRUE(size == Max_Size);
CHECK_FALSE(empty);
CHECK_TRUE(full);
CHECK_TRUE(capacity == Max_Size);
CHECK_TRUE(max_size == Max_Size);
CHECK_FALSE(begin == end);
}
#if ETL_USING_CPP17
//*************************************************************************
TEST(test_cpp17_deduced_constructor_from_span)
{
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr span_type span(values);
static constexpr etl::const_multiset_ext data{span};
etl::const_multiset<Key, 10> check{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
CHECK_TRUE(data.is_valid());
CHECK_TRUE(data.size() == Max_Size);
CHECK_FALSE(data.empty());
CHECK_TRUE(data.full());
CHECK_TRUE(data.capacity() == Max_Size);
CHECK_TRUE(data.max_size() == Max_Size);
CHECK_FALSE(data.begin() == data.end());
}
//*************************************************************************
TEST(test_cpp17_deduced_constructor_from_array)
{
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr etl::const_multiset_ext data{values};
etl::const_multiset<Key, 10> check{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
CHECK_TRUE(data.is_valid());
CHECK_TRUE(data.size() == Max_Size);
CHECK_FALSE(data.empty());
CHECK_TRUE(data.full());
CHECK_TRUE(data.capacity() == Max_Size);
CHECK_TRUE(data.max_size() == Max_Size);
CHECK_FALSE(data.begin() == data.end());
}
#endif
//*************************************************************************
TEST(test_begin_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
CHECK_TRUE(data.is_valid());
static constexpr auto value = *data.begin();
#ifdef TEST_GREATER_THAN
CHECK_TRUE(Key('J') == value);
#else
CHECK_TRUE(Key('A') == value);
#endif
}
//*************************************************************************
TEST(test_end_const)
{
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
static constexpr Data data(values);
static constexpr const_iterator end_itr = data.end();
CHECK_TRUE(end_itr == (data.begin() + data.size()));
}
//*************************************************************************
TEST(test_equal_range_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultA = data.equal_range(Key('A'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultB = data.equal_range(Key('B'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultC = data.equal_range(Key('C'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultD = data.equal_range(Key('D'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultE = data.equal_range(Key('E'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultF = data.equal_range(Key('F'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultG = data.equal_range(Key('G'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultH = data.equal_range(Key('H'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultI = data.equal_range(Key('I'));
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultJ = data.equal_range(Key('J'));
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA.first)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB.first)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC.first)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD.first)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE.first)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI.first)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ.first)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultA.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultB.second)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultC.second)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultD.second)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultE.second)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF.second)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultG.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultJ.second)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB.first)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC.first)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD.first)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE.first)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF.first)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultA.second)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultB.second)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultC.second)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultD.second)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE.second)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultF.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultG.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI.second)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultJ.second)));
#endif
}
//*************************************************************************
TEST(test_equal_range_using_transparent_comparator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultA = data.equal_range('A');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultB = data.equal_range('B');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultC = data.equal_range('C');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultD = data.equal_range('D');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultE = data.equal_range('E');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultF = data.equal_range('F');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultG = data.equal_range('G');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultH = data.equal_range('H');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultI = data.equal_range('I');
static constexpr ETL_OR_STD::pair<const_iterator, const_iterator> resultJ = data.equal_range('J');
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA.first)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB.first)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC.first)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD.first)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE.first)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI.first)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ.first)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultA.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultB.second)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultC.second)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultD.second)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultE.second)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF.second)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultG.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI.second)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultJ.second)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB.first)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC.first)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD.first)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE.first)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF.first)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI.first)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ.first)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultA.second)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultB.second)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultC.second)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultD.second)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE.second)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultF.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultG.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH.second)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI.second)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultJ.second)));
#endif
}
//*************************************************************************
TEST(test_lower_bound_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr const_iterator resultA = data.lower_bound(Key('A'));
static constexpr const_iterator resultB = data.lower_bound(Key('B'));
static constexpr const_iterator resultC = data.lower_bound(Key('C'));
static constexpr const_iterator resultD = data.lower_bound(Key('D'));
static constexpr const_iterator resultE = data.lower_bound(Key('E'));
static constexpr const_iterator resultF = data.lower_bound(Key('F'));
static constexpr const_iterator resultG = data.lower_bound(Key('G'));
static constexpr const_iterator resultH = data.lower_bound(Key('H'));
static constexpr const_iterator resultI = data.lower_bound(Key('I'));
static constexpr const_iterator resultJ = data.lower_bound(Key('J'));
static constexpr const_iterator resultK = data.lower_bound(Key('K'));
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultK)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultK)));
#endif
}
//*************************************************************************
TEST(test_lower_bound_const_using_transparent_comparator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
static constexpr const_iterator resultA = data.lower_bound('A');
static constexpr const_iterator resultB = data.lower_bound('B');
static constexpr const_iterator resultC = data.lower_bound('C');
static constexpr const_iterator resultD = data.lower_bound('D');
static constexpr const_iterator resultE = data.lower_bound('E');
static constexpr const_iterator resultF = data.lower_bound('F');
static constexpr const_iterator resultG = data.lower_bound('G');
static constexpr const_iterator resultH = data.lower_bound('H');
static constexpr const_iterator resultI = data.lower_bound('I');
static constexpr const_iterator resultJ = data.lower_bound('J');
static constexpr const_iterator resultK = data.lower_bound('K');
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultK)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultK)));
#endif
}
//*************************************************************************
TEST(test_upper_bound_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr const_iterator resultA = data.upper_bound(Key('A'));
static constexpr const_iterator resultB = data.upper_bound(Key('B'));
static constexpr const_iterator resultC = data.upper_bound(Key('C'));
static constexpr const_iterator resultD = data.upper_bound(Key('D'));
static constexpr const_iterator resultE = data.upper_bound(Key('E'));
static constexpr const_iterator resultF = data.upper_bound(Key('F'));
static constexpr const_iterator resultG = data.upper_bound(Key('G'));
static constexpr const_iterator resultH = data.upper_bound(Key('H'));
static constexpr const_iterator resultI = data.upper_bound(Key('I'));
static constexpr const_iterator resultJ = data.upper_bound(Key('J'));
static constexpr const_iterator resultK = data.upper_bound(Key('K'));
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(10, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultK)));
#else
CHECK_EQUAL(1, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultK)));
#endif
}
//*************************************************************************
TEST(test_upper_bound_const_using_transparent_comparator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
static constexpr const_iterator resultA = data.upper_bound('A');
static constexpr const_iterator resultB = data.upper_bound('B');
static constexpr const_iterator resultC = data.upper_bound('C');
static constexpr const_iterator resultD = data.upper_bound('D');
static constexpr const_iterator resultE = data.upper_bound('E');
static constexpr const_iterator resultF = data.upper_bound('F');
static constexpr const_iterator resultG = data.upper_bound('G');
static constexpr const_iterator resultH = data.upper_bound('H');
static constexpr const_iterator resultI = data.upper_bound('I');
static constexpr const_iterator resultJ = data.upper_bound('J');
static constexpr const_iterator resultK = data.upper_bound('K');
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(10, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultK)));
#else
CHECK_EQUAL(1, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultJ)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultK)));
#endif
}
//*************************************************************************
TEST(test_count_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
CHECK_EQUAL(1, data.count(Key('A')));
CHECK_EQUAL(1, data.count(Key('B')));
CHECK_EQUAL(1, data.count(Key('C')));
CHECK_EQUAL(1, data.count(Key('D')));
CHECK_EQUAL(1, data.count(Key('E')));
CHECK_EQUAL(1, data.count(Key('F')));
CHECK_EQUAL(3, data.count(Key('G')));
CHECK_EQUAL(0, data.count(Key('H')));
CHECK_EQUAL(0, data.count(Key('I')));
CHECK_EQUAL(1, data.count(Key('J')));
CHECK_EQUAL(0, data.count(Key('K')));
}
//*************************************************************************
TEST(test_count_const_using_transparent_comparator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
CHECK_EQUAL(1, data.count('A'));
CHECK_EQUAL(1, data.count('B'));
CHECK_EQUAL(1, data.count('C'));
CHECK_EQUAL(1, data.count('D'));
CHECK_EQUAL(1, data.count('E'));
CHECK_EQUAL(1, data.count('F'));
CHECK_EQUAL(3, data.count('G'));
CHECK_EQUAL(0, data.count('H'));
CHECK_EQUAL(0, data.count('I'));
CHECK_EQUAL(1, data.count('J'));
CHECK_EQUAL(0, data.count('K'));
}
//*************************************************************************
TEST(test_const_iterator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
const_iterator itr = data.begin();
#ifdef TEST_GREATER_THAN
CHECK_TRUE((Key('J')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('F')) == *itr++);
CHECK_TRUE((Key('E')) == *itr++);
CHECK_TRUE((Key('D')) == *itr++);
CHECK_TRUE((Key('C')) == *itr++);
CHECK_TRUE((Key('B')) == *itr++);
CHECK_TRUE((Key('A')) == *itr++);
CHECK_TRUE(itr == data.end());
#else
CHECK_TRUE((Key('A')) == *itr++);
CHECK_TRUE((Key('B')) == *itr++);
CHECK_TRUE((Key('C')) == *itr++);
CHECK_TRUE((Key('D')) == *itr++);
CHECK_TRUE((Key('E')) == *itr++);
CHECK_TRUE((Key('F')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('G')) == *itr++);
CHECK_TRUE((Key('J')) == *itr++);
CHECK_TRUE(itr == data.end());
#endif
}
//*************************************************************************
TEST(test_find_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr const_iterator resultA = data.find(Key('A'));
static constexpr const_iterator resultB = data.find(Key('B'));
static constexpr const_iterator resultC = data.find(Key('C'));
static constexpr const_iterator resultD = data.find(Key('D'));
static constexpr const_iterator resultE = data.find(Key('E'));
static constexpr const_iterator resultF = data.find(Key('F'));
static constexpr const_iterator resultG = data.find(Key('G'));
static constexpr const_iterator resultH = data.find(Key('H'));
static constexpr const_iterator resultI = data.find(Key('I'));
static constexpr const_iterator resultJ = data.find(Key('J'));
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ)));
#endif
}
//*************************************************************************
TEST(test_find_const_using_transparent_comparator)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
static constexpr const_iterator resultA = data.find('A');
static constexpr const_iterator resultB = data.find('B');
static constexpr const_iterator resultC = data.find('C');
static constexpr const_iterator resultD = data.find('D');
static constexpr const_iterator resultE = data.find('E');
static constexpr const_iterator resultF = data.find('F');
static constexpr const_iterator resultG = data.find('G');
static constexpr const_iterator resultH = data.find('H');
static constexpr const_iterator resultI = data.find('I');
static constexpr const_iterator resultJ = data.find('J');
#ifdef TEST_GREATER_THAN
CHECK_EQUAL(9, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(8, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(7, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(0, (std::distance(data.begin(), resultJ)));
#else
CHECK_EQUAL(0, (std::distance(data.begin(), resultA)));
CHECK_EQUAL(1, (std::distance(data.begin(), resultB)));
CHECK_EQUAL(2, (std::distance(data.begin(), resultC)));
CHECK_EQUAL(3, (std::distance(data.begin(), resultD)));
CHECK_EQUAL(4, (std::distance(data.begin(), resultE)));
CHECK_EQUAL(5, (std::distance(data.begin(), resultF)));
CHECK_EQUAL(6, (std::distance(data.begin(), resultG)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultH)));
CHECK_EQUAL(10, (std::distance(data.begin(), resultI)));
CHECK_EQUAL(9, (std::distance(data.begin(), resultJ)));
#endif
}
//*************************************************************************
TEST(test_contains_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr Data data(values);
static constexpr bool containsA = data.contains(Key('A'));
static constexpr bool containsB = data.contains(Key('B'));
static constexpr bool containsC = data.contains(Key('C'));
static constexpr bool containsD = data.contains(Key('D'));
static constexpr bool containsE = data.contains(Key('E'));
static constexpr bool containsF = data.contains(Key('F'));
static constexpr bool containsG = data.contains(Key('G'));
static constexpr bool containsH = data.contains(Key('H'));
static constexpr bool containsI = data.contains(Key('I'));
static constexpr bool containsJ = data.contains(Key('J'));
static constexpr bool containsK = data.contains(Key('K'));
CHECK_TRUE(containsA);
CHECK_TRUE(containsB);
CHECK_TRUE(containsC);
CHECK_TRUE(containsD);
CHECK_TRUE(containsE);
CHECK_TRUE(containsF);
CHECK_TRUE(containsG);
CHECK_FALSE(containsH);
CHECK_FALSE(containsI);
CHECK_TRUE(containsJ);
CHECK_FALSE(containsK);
}
//*************************************************************************
TEST(test_contains_with_transparent_comparator_const)
{
#ifdef TEST_GREATER_THAN
static constexpr value_type values[]{ Key('J'), Key('G'), Key('G'), Key('G'), Key('F'),
Key('E'), Key('D'), Key('C'), Key('B'), Key('A') };
#else
static constexpr value_type values[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('G'), Key('J') };
#endif
static constexpr DataTransparentComparator data(values);
static constexpr bool containsA = data.contains('A');
static constexpr bool containsB = data.contains('B');
static constexpr bool containsC = data.contains('C');
static constexpr bool containsD = data.contains('D');
static constexpr bool containsE = data.contains('E');
static constexpr bool containsF = data.contains('F');
static constexpr bool containsG = data.contains('G');
static constexpr bool containsH = data.contains('H');
static constexpr bool containsI = data.contains('I');
static constexpr bool containsJ = data.contains('J');
static constexpr bool containsK = data.contains('K');
CHECK_TRUE(containsA);
CHECK_TRUE(containsB);
CHECK_TRUE(containsC);
CHECK_TRUE(containsD);
CHECK_TRUE(containsE);
CHECK_TRUE(containsF);
CHECK_TRUE(containsG);
CHECK_FALSE(containsH);
CHECK_FALSE(containsI);
CHECK_TRUE(containsJ);
CHECK_FALSE(containsK);
}
//*************************************************************************
TEST(test_key_comp_const)
{
static constexpr Data data;
static constexpr Data::key_compare compare = data.key_comp();
static constexpr bool compareAA = compare(Key{ 'A' }, Key{ 'A' });
static constexpr bool compareBA = compare(Key{ 'B' }, Key{ 'A' });
static constexpr bool compareAB = compare(Key{ 'A' }, Key{ 'B' });
#ifdef TEST_GREATER_THAN
CHECK_FALSE(compareAA);
CHECK_TRUE(compareBA);
CHECK_FALSE(compareAB);
#else
CHECK_FALSE(compareAA);
CHECK_FALSE(compareBA);
CHECK_TRUE(compareAB);
#endif
}
//*************************************************************************
TEST(test_key_comp_const_transparent_comparator)
{
static constexpr DataTransparentComparator data;
static constexpr DataTransparentComparator::key_compare compare = data.key_comp();
static constexpr bool compareAA = compare('A', 'A');
static constexpr bool compareBA = compare('B', 'A');
static constexpr bool compareAB = compare('A', 'B');
#ifdef TEST_GREATER_THAN
CHECK_FALSE(compareAA);
CHECK_TRUE(compareBA);
CHECK_FALSE(compareAB);
#else
CHECK_FALSE(compareAA);
CHECK_FALSE(compareBA);
CHECK_TRUE(compareAB);
#endif
}
//*************************************************************************
TEST(test_value_comp_const)
{
static constexpr Data data;
static constexpr Data::value_compare compare = data.value_comp();
static constexpr bool compareAA1 = compare(Key('A'), Key('A'));
static constexpr bool compareAA2 = compare(Key('A'), Key{ 'A' });
static constexpr bool compareAA3 = compare(Key{ 'A' }, Key('A'));
static constexpr bool compareBA1 = compare(Key('B'), Key('A'));
static constexpr bool compareBA2 = compare(Key('B'), Key{ 'A' });
static constexpr bool compareBA3 = compare(Key{ 'B' }, Key('A'));
static constexpr bool compareAB1 = compare(Key('A'), Key('B'));
static constexpr bool compareAB2 = compare(Key('A'), Key{ 'B' });
static constexpr bool compareAB3 = compare(Key{ 'A' }, Key('B'));;
#ifdef TEST_GREATER_THAN
CHECK_FALSE(compareAA1);
CHECK_FALSE(compareAA2);
CHECK_FALSE(compareAA3);
CHECK_TRUE(compareBA1);
CHECK_TRUE(compareBA2);
CHECK_TRUE(compareBA3);
CHECK_FALSE(compareAB1);
CHECK_FALSE(compareAB2);
CHECK_FALSE(compareAB3);
#else
CHECK_FALSE(compareAA1);
CHECK_FALSE(compareAA2);
CHECK_FALSE(compareAA3);
CHECK_FALSE(compareBA1);
CHECK_FALSE(compareBA2);
CHECK_FALSE(compareBA3);
CHECK_TRUE(compareAB1);
CHECK_TRUE(compareAB2);
CHECK_TRUE(compareAB3);
#endif
}
//*************************************************************************
TEST(test_value_comp_const_transparent_comparator)
{
static constexpr DataTransparentComparator data;
static constexpr DataTransparentComparator::value_compare compare = data.value_comp();
static constexpr bool compareAA1 = compare(Key('A'), Key('A'));
static constexpr bool compareAA2 = compare(Key('A'), 'A');
static constexpr bool compareAA3 = compare('A', Key('A'));
static constexpr bool compareBA1 = compare(Key('B'), Key('A'));
static constexpr bool compareBA2 = compare(Key('B'), 'A');
static constexpr bool compareBA3 = compare('B', Key('A'));
static constexpr bool compareAB1 = compare(Key('A'), Key('B'));
static constexpr bool compareAB2 = compare(Key('A'), 'B');
static constexpr bool compareAB3 = compare('A', Key('B'));;
#ifdef TEST_GREATER_THAN
CHECK_FALSE(compareAA1);
CHECK_FALSE(compareAA2);
CHECK_FALSE(compareAA3);
CHECK_TRUE(compareBA1);
CHECK_TRUE(compareBA2);
CHECK_TRUE(compareBA3);
CHECK_FALSE(compareAB1);
CHECK_FALSE(compareAB2);
CHECK_FALSE(compareAB3);
#else
CHECK_FALSE(compareAA1);
CHECK_FALSE(compareAA2);
CHECK_FALSE(compareAA3);
CHECK_FALSE(compareBA1);
CHECK_FALSE(compareBA2);
CHECK_FALSE(compareBA3);
CHECK_TRUE(compareAB1);
CHECK_TRUE(compareAB2);
CHECK_TRUE(compareAB3);
#endif
}
//*************************************************************************
TEST(test_equal)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('I'), Key('J') };
static constexpr value_type values4[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J'), Key('K') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr Data data4(values4);
static constexpr bool equal12 = (data1 == data2);
static constexpr bool equal13 = (data1 == data3);
static constexpr bool equal14 = (data1 == data4);
CHECK_TRUE(equal12);
CHECK_FALSE(equal13);
CHECK_FALSE(equal14);
}
//*************************************************************************
TEST(test_equal_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('I'), Key('J') };
static constexpr value_type values4[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J'), Key('K') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr DataTransparentComparator data4(values4);
static constexpr bool equal12 = (data1 == data2);
static constexpr bool equal13 = (data1 == data3);
static constexpr bool equal14 = (data1 == data4);
CHECK_TRUE(equal12);
CHECK_FALSE(equal13);
CHECK_FALSE(equal14);
}
//*************************************************************************
TEST(test_not_equal)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('I'), Key('J') };
static constexpr value_type values4[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J'), Key('K') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr Data data4(values4);
static constexpr bool not_equal12 = (data1 != data2);
static constexpr bool not_equal13 = (data1 != data3);
static constexpr bool not_equal14 = (data1 != data4);
CHECK_FALSE(not_equal12);
CHECK_TRUE(not_equal13);
CHECK_TRUE(not_equal14);
}
//*************************************************************************
TEST(test_not_equal_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('G'), Key('I'), Key('J') };
static constexpr value_type values4[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J'), Key('K') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr DataTransparentComparator data4(values4);
static constexpr bool not_equal12 = (data1 != data2);
static constexpr bool not_equal13 = (data1 != data3);
static constexpr bool not_equal14 = (data1 != data4);
CHECK_FALSE(not_equal12);
CHECK_TRUE(not_equal13);
CHECK_TRUE(not_equal14);
}
//*************************************************************************
TEST(test_less_than)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr bool less_than12 = (data1 < data2);
static constexpr bool less_than23 = (data2 < data3);
static constexpr bool less_than21 = (data2 < data1);
static constexpr bool less_than32 = (data3 < data2);
#ifdef TEST_GREATER_THAN
CHECK_FALSE(less_than12);
CHECK_FALSE(less_than23);
CHECK_TRUE(less_than21);
CHECK_TRUE(less_than32);
#else
CHECK_TRUE(less_than12);
CHECK_TRUE(less_than23);
CHECK_FALSE(less_than21);
CHECK_FALSE(less_than32);
#endif
}
//*************************************************************************
TEST(test_less_than_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr bool less_than12 = (data1 < data2);
static constexpr bool less_than23 = (data2 < data3);
static constexpr bool less_than21 = (data2 < data1);
static constexpr bool less_than32 = (data3 < data2);
#ifdef TEST_GREATER_THAN
CHECK_FALSE(less_than12);
CHECK_FALSE(less_than23);
CHECK_TRUE(less_than21);
CHECK_TRUE(less_than32);
#else
CHECK_TRUE(less_than12);
CHECK_TRUE(less_than23);
CHECK_FALSE(less_than21);
CHECK_FALSE(less_than32);
#endif
}
//*************************************************************************
TEST(test_less_than_equal)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr bool less_than_equal12 = (data1 <= data2);
static constexpr bool less_than_equal23 = (data2 <= data3);
static constexpr bool less_than_equal21 = (data2 <= data1);
static constexpr bool less_than_equal32 = (data3 <= data2);
static constexpr bool less_than_equal11 = (data1 <= data1);
#ifdef TEST_GREATER_THAN
CHECK_FALSE(less_than_equal12);
CHECK_FALSE(less_than_equal23);
CHECK_TRUE(less_than_equal21);
CHECK_TRUE(less_than_equal32);
CHECK_TRUE(less_than_equal11);
#else
CHECK_TRUE(less_than_equal12);
CHECK_TRUE(less_than_equal23);
CHECK_FALSE(less_than_equal21);
CHECK_FALSE(less_than_equal32);
CHECK_TRUE(less_than_equal11);
#endif
}
//*************************************************************************
TEST(test_less_than_equal_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr bool less_than_equal12 = (data1 <= data2);
static constexpr bool less_than_equal23 = (data2 <= data3);
static constexpr bool less_than_equal21 = (data2 <= data1);
static constexpr bool less_than_equal32 = (data3 <= data2);
static constexpr bool less_than_equal11 = (data1 <= data1);
#ifdef TEST_GREATER_THAN
CHECK_FALSE(less_than_equal12);
CHECK_FALSE(less_than_equal23);
CHECK_TRUE(less_than_equal21);
CHECK_TRUE(less_than_equal32);
CHECK_TRUE(less_than_equal11);
#else
CHECK_TRUE(less_than_equal12);
CHECK_TRUE(less_than_equal23);
CHECK_FALSE(less_than_equal21);
CHECK_FALSE(less_than_equal32);
CHECK_TRUE(less_than_equal11);
#endif
}
//*************************************************************************
TEST(test_greater_than)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr bool greater_than12 = (data1 > data2);
static constexpr bool greater_than23 = (data2 > data3);
static constexpr bool greater_than21 = (data2 > data1);
static constexpr bool greater_than32 = (data3 > data2);
#ifdef TEST_GREATER_THAN
CHECK_TRUE(greater_than12);
CHECK_TRUE(greater_than23);
CHECK_FALSE(greater_than21);
CHECK_FALSE(greater_than32);
#else
CHECK_FALSE(greater_than12);
CHECK_FALSE(greater_than23);
CHECK_TRUE(greater_than21);
CHECK_TRUE(greater_than32);
#endif
}
//*************************************************************************
TEST(test_greater_than_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr bool greater_than12 = (data1 > data2);
static constexpr bool greater_than23 = (data2 > data3);
static constexpr bool greater_than21 = (data2 > data1);
static constexpr bool greater_than32 = (data3 > data2);
#ifdef TEST_GREATER_THAN
CHECK_TRUE(greater_than12);
CHECK_TRUE(greater_than23);
CHECK_FALSE(greater_than21);
CHECK_FALSE(greater_than32);
#else
CHECK_FALSE(greater_than12);
CHECK_FALSE(greater_than23);
CHECK_TRUE(greater_than21);
CHECK_TRUE(greater_than32);
#endif
}
//*************************************************************************
TEST(test_greater_than_equal)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr Data data1(values1);
static constexpr Data data2(values2);
static constexpr Data data3(values3);
static constexpr bool greater_than_equal12 = (data1 >= data2);
static constexpr bool greater_than_equal23 = (data2 >= data3);
static constexpr bool greater_than_equal21 = (data2 >= data1);
static constexpr bool greater_than_equal32 = (data3 >= data2);
static constexpr bool greater_than_equal11 = (data1 >= data1);
#ifdef TEST_GREATER_THAN
CHECK_TRUE(greater_than_equal12);
CHECK_TRUE(greater_than_equal23);
CHECK_FALSE(greater_than_equal21);
CHECK_FALSE(greater_than_equal32);
CHECK_TRUE(greater_than_equal11);
#else
CHECK_FALSE(greater_than_equal12);
CHECK_FALSE(greater_than_equal23);
CHECK_TRUE(greater_than_equal21);
CHECK_TRUE(greater_than_equal32);
CHECK_TRUE(greater_than_equal11);
#endif
}
//*************************************************************************
TEST(test_greater_than_equal_with_transparent_comparator)
{
static constexpr value_type values1[]{ Key('A'), Key('B'), Key('B'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values2[]{ Key('A'), Key('B'), Key('C'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr value_type values3[]{ Key('A'), Key('B'), Key('D'), Key('D'), Key('E'),
Key('F'), Key('G'), Key('H'), Key('I'), Key('J') };
static constexpr DataTransparentComparator data1(values1);
static constexpr DataTransparentComparator data2(values2);
static constexpr DataTransparentComparator data3(values3);
static constexpr bool greater_than_equal12 = (data1 >= data2);
static constexpr bool greater_than_equal23 = (data2 >= data3);
static constexpr bool greater_than_equal21 = (data2 >= data1);
static constexpr bool greater_than_equal32 = (data3 >= data2);
static constexpr bool greater_than_equal11 = (data1 >= data1);
#ifdef TEST_GREATER_THAN
CHECK_TRUE(greater_than_equal12);
CHECK_TRUE(greater_than_equal23);
CHECK_FALSE(greater_than_equal21);
CHECK_FALSE(greater_than_equal32);
CHECK_TRUE(greater_than_equal11);
#else
CHECK_FALSE(greater_than_equal12);
CHECK_FALSE(greater_than_equal23);
CHECK_TRUE(greater_than_equal21);
CHECK_TRUE(greater_than_equal32);
CHECK_TRUE(greater_than_equal11);
#endif
}
};
}