Add test for minimal 'interval_map' type interface
Add `KeyInterface` (respectively `ValueInterface`). Those classes provide the minimum documented interface for `K` (respectively `V`) in `interval_map<K, V>`.
This commit is contained in:
parent
e16ecf060b
commit
9d2e062c38
|
@ -2,6 +2,67 @@
|
|||
|
||||
#include <interval-map/interval-map.hh>
|
||||
|
||||
TEST(misc, passing) {
|
||||
ASSERT_EQ(1, 1);
|
||||
#include <type_traits>
|
||||
|
||||
template <typename T> class KeyInterface {
|
||||
public:
|
||||
explicit KeyInterface(T val) : underlying_(val) {}
|
||||
|
||||
KeyInterface(KeyInterface const&) = default;
|
||||
KeyInterface& operator=(KeyInterface const&) = default;
|
||||
|
||||
bool operator<(KeyInterface const& other) const {
|
||||
return underlying_ < other.underlying_;
|
||||
}
|
||||
|
||||
private:
|
||||
T underlying_;
|
||||
};
|
||||
|
||||
template <typename T> struct std::numeric_limits<KeyInterface<T>> {
|
||||
static KeyInterface<T> lowest() {
|
||||
return KeyInterface(std::numeric_limits<T>::lowest());
|
||||
}
|
||||
};
|
||||
|
||||
static_assert(std::is_copy_constructible_v<KeyInterface<int>>);
|
||||
static_assert(std::is_copy_assignable_v<KeyInterface<int>>);
|
||||
static_assert(
|
||||
std::is_same_v<KeyInterface<int>,
|
||||
decltype(std::numeric_limits<KeyInterface<int>>::lowest())>);
|
||||
|
||||
template <typename T> class ValueInterface {
|
||||
public:
|
||||
explicit ValueInterface(T val) : underlying_(val) {}
|
||||
|
||||
ValueInterface(ValueInterface const&) = default;
|
||||
ValueInterface& operator=(ValueInterface const&) = default;
|
||||
|
||||
bool operator==(ValueInterface const& other) const {
|
||||
return underlying_ == other.underlying_;
|
||||
}
|
||||
|
||||
private:
|
||||
T underlying_;
|
||||
};
|
||||
|
||||
template <typename T> struct std::numeric_limits<ValueInterface<T>> {
|
||||
static ValueInterface<T> lowest() {
|
||||
return ValueInterface(std::numeric_limits<T>::lowest());
|
||||
}
|
||||
};
|
||||
|
||||
static_assert(std::is_copy_constructible_v<ValueInterface<int>>);
|
||||
static_assert(std::is_copy_assignable_v<ValueInterface<int>>);
|
||||
static_assert(std::is_same_v<
|
||||
ValueInterface<int>,
|
||||
decltype(std::numeric_limits<ValueInterface<int>>::lowest())>);
|
||||
|
||||
TEST(interval_map, minimal_interface) {
|
||||
using Key = KeyInterface<char>;
|
||||
using Value = ValueInterface<int>;
|
||||
|
||||
auto map = amby::interval_map<Key, Value>{Value(0)};
|
||||
ASSERT_EQ(map[Key(0)], Value(0));
|
||||
map.assign(Key(0), Key(1), Value(1));
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue