2022-07-20 12:38:07 +02:00
|
|
|
// __ _____ _____ _____
|
|
|
|
// __| | __| | | | JSON for Modern C++
|
|
|
|
// | | |__ | | | | | | version 3.10.5
|
|
|
|
// |_____|_____|_____|_|___| https://github.com/nlohmann/json
|
|
|
|
//
|
|
|
|
// SPDX-FileCopyrightText: 2013-2022 Niels Lohmann <https://nlohmann.me>
|
|
|
|
// SPDX-License-Identifier: MIT
|
|
|
|
|
2020-06-19 15:27:05 +02:00
|
|
|
#pragma once
|
|
|
|
|
2022-04-29 21:40:02 +02:00
|
|
|
#include <functional> // equal_to, less
|
2021-03-24 07:15:18 +01:00
|
|
|
#include <initializer_list> // initializer_list
|
|
|
|
#include <iterator> // input_iterator_tag, iterator_traits
|
2020-06-19 15:27:05 +02:00
|
|
|
#include <memory> // allocator
|
2021-03-24 07:15:18 +01:00
|
|
|
#include <stdexcept> // for out_of_range
|
|
|
|
#include <type_traits> // enable_if, is_convertible
|
2020-06-19 15:27:05 +02:00
|
|
|
#include <utility> // pair
|
|
|
|
#include <vector> // vector
|
|
|
|
|
2020-08-10 09:48:11 +02:00
|
|
|
#include <nlohmann/detail/macro_scope.hpp>
|
2022-07-04 19:58:19 +02:00
|
|
|
#include <nlohmann/detail/meta/type_traits.hpp>
|
2020-08-10 09:48:11 +02:00
|
|
|
|
2022-07-30 21:59:13 +02:00
|
|
|
NLOHMANN_JSON_NAMESPACE_BEGIN
|
2020-06-19 15:27:05 +02:00
|
|
|
|
|
|
|
/// ordered_map: a minimal map-like container that preserves insertion order
|
|
|
|
/// for use within nlohmann::basic_json<ordered_map>
|
2020-06-20 13:23:44 +02:00
|
|
|
template <class Key, class T, class IgnoredLess = std::less<Key>,
|
2020-07-03 02:28:54 +02:00
|
|
|
class Allocator = std::allocator<std::pair<const Key, T>>>
|
2020-07-11 13:21:13 +02:00
|
|
|
struct ordered_map : std::vector<std::pair<const Key, T>, Allocator>
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
|
|
|
using key_type = Key;
|
|
|
|
using mapped_type = T;
|
2020-07-03 02:28:54 +02:00
|
|
|
using Container = std::vector<std::pair<const Key, T>, Allocator>;
|
2022-01-02 09:03:56 +01:00
|
|
|
using iterator = typename Container::iterator;
|
|
|
|
using const_iterator = typename Container::const_iterator;
|
|
|
|
using size_type = typename Container::size_type;
|
|
|
|
using value_type = typename Container::value_type;
|
2022-04-29 21:40:02 +02:00
|
|
|
#ifdef JSON_HAS_CPP_14
|
|
|
|
using key_compare = std::equal_to<>;
|
|
|
|
#else
|
|
|
|
using key_compare = std::equal_to<Key>;
|
|
|
|
#endif
|
2020-07-03 01:33:31 +02:00
|
|
|
|
|
|
|
// Explicit constructors instead of `using Container::Container`
|
2020-07-03 02:44:18 +02:00
|
|
|
// otherwise older compilers choke on it (GCC <= 5.5, xcode <= 9.4)
|
2022-03-07 22:19:28 +01:00
|
|
|
ordered_map() noexcept(noexcept(Container())) : Container{} {}
|
|
|
|
explicit ordered_map(const Allocator& alloc) noexcept(noexcept(Container(alloc))) : Container{alloc} {}
|
2020-07-03 01:33:31 +02:00
|
|
|
template <class It>
|
|
|
|
ordered_map(It first, It last, const Allocator& alloc = Allocator())
|
|
|
|
: Container{first, last, alloc} {}
|
2022-03-07 13:41:35 +01:00
|
|
|
ordered_map(std::initializer_list<value_type> init, const Allocator& alloc = Allocator() )
|
2020-07-03 02:44:18 +02:00
|
|
|
: Container{init, alloc} {}
|
2020-06-19 15:27:05 +02:00
|
|
|
|
2020-07-28 14:20:31 +02:00
|
|
|
std::pair<iterator, bool> emplace(const key_type& key, T&& t)
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
|
|
|
return {it, false};
|
|
|
|
}
|
|
|
|
}
|
2022-07-04 19:58:19 +02:00
|
|
|
Container::emplace_back(key, std::forward<T>(t));
|
|
|
|
return {std::prev(this->end()), true};
|
2020-06-19 15:27:05 +02:00
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
std::pair<iterator, bool> emplace(KeyType && key, T && t)
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
return {it, false};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Container::emplace_back(std::forward<KeyType>(key), std::forward<T>(t));
|
|
|
|
return {std::prev(this->end()), true};
|
|
|
|
}
|
|
|
|
|
|
|
|
T& operator[](const key_type& key)
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
2020-07-28 14:20:31 +02:00
|
|
|
return emplace(key, T{}).first->second;
|
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
T & operator[](KeyType && key)
|
|
|
|
{
|
|
|
|
return emplace(std::forward<KeyType>(key), T{}).first->second;
|
|
|
|
}
|
|
|
|
|
|
|
|
const T& operator[](const key_type& key) const
|
2020-07-28 14:20:31 +02:00
|
|
|
{
|
|
|
|
return at(key);
|
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
const T & operator[](KeyType && key) const
|
|
|
|
{
|
|
|
|
return at(std::forward<KeyType>(key));
|
|
|
|
}
|
|
|
|
|
|
|
|
T& at(const key_type& key)
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
return it->second;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
JSON_THROW(std::out_of_range("key not found"));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
T & at(KeyType && key)
|
2020-07-28 14:20:31 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-07-28 14:20:31 +02:00
|
|
|
{
|
|
|
|
return it->second;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-10 09:48:11 +02:00
|
|
|
JSON_THROW(std::out_of_range("key not found"));
|
2020-07-28 14:20:31 +02:00
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
const T& at(const key_type& key) const
|
2020-07-28 14:20:31 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-07-28 14:20:31 +02:00
|
|
|
{
|
|
|
|
return it->second;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-10 09:48:11 +02:00
|
|
|
JSON_THROW(std::out_of_range("key not found"));
|
2020-06-20 13:23:44 +02:00
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
const T & at(KeyType && key) const
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
return it->second;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
JSON_THROW(std::out_of_range("key not found"));
|
|
|
|
}
|
|
|
|
|
|
|
|
size_type erase(const key_type& key)
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
// Since we cannot move const Keys, re-construct them in place
|
|
|
|
for (auto next = it; ++next != this->end(); ++it)
|
|
|
|
{
|
|
|
|
it->~value_type(); // Destroy but keep allocation
|
|
|
|
new (&*it) value_type{std::move(*next)};
|
|
|
|
}
|
|
|
|
Container::pop_back();
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
size_type erase(KeyType && key)
|
2020-06-20 13:23:44 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-06-19 15:27:05 +02:00
|
|
|
{
|
2020-06-23 16:01:20 +02:00
|
|
|
// Since we cannot move const Keys, re-construct them in place
|
|
|
|
for (auto next = it; ++next != this->end(); ++it)
|
|
|
|
{
|
|
|
|
it->~value_type(); // Destroy but keep allocation
|
|
|
|
new (&*it) value_type{std::move(*next)};
|
|
|
|
}
|
|
|
|
Container::pop_back();
|
2020-06-20 13:23:44 +02:00
|
|
|
return 1;
|
2020-06-19 15:27:05 +02:00
|
|
|
}
|
|
|
|
}
|
2020-06-20 13:23:44 +02:00
|
|
|
return 0;
|
2020-06-19 15:27:05 +02:00
|
|
|
}
|
2020-07-28 21:47:06 +02:00
|
|
|
|
|
|
|
iterator erase(iterator pos)
|
|
|
|
{
|
2021-11-09 22:24:58 +01:00
|
|
|
return erase(pos, std::next(pos));
|
|
|
|
}
|
2020-07-28 21:47:06 +02:00
|
|
|
|
2021-11-09 22:24:58 +01:00
|
|
|
iterator erase(iterator first, iterator last)
|
|
|
|
{
|
2022-07-04 19:58:19 +02:00
|
|
|
if (first == last)
|
|
|
|
{
|
|
|
|
return first;
|
|
|
|
}
|
|
|
|
|
2021-11-09 22:24:58 +01:00
|
|
|
const auto elements_affected = std::distance(first, last);
|
|
|
|
const auto offset = std::distance(Container::begin(), first);
|
|
|
|
|
|
|
|
// This is the start situation. We need to delete elements_affected
|
|
|
|
// elements (3 in this example: e, f, g), and need to return an
|
|
|
|
// iterator past the last deleted element (h in this example).
|
|
|
|
// Note that offset is the distance from the start of the vector
|
|
|
|
// to first. We will need this later.
|
|
|
|
|
|
|
|
// [ a, b, c, d, e, f, g, h, i, j ]
|
|
|
|
// ^ ^
|
|
|
|
// first last
|
|
|
|
|
|
|
|
// Since we cannot move const Keys, we re-construct them in place.
|
|
|
|
// We start at first and re-construct (viz. copy) the elements from
|
|
|
|
// the back of the vector. Example for first iteration:
|
|
|
|
|
|
|
|
// ,--------.
|
|
|
|
// v | destroy e and re-construct with h
|
|
|
|
// [ a, b, c, d, e, f, g, h, i, j ]
|
|
|
|
// ^ ^
|
|
|
|
// it it + elements_affected
|
|
|
|
|
|
|
|
for (auto it = first; std::next(it, elements_affected) != Container::end(); ++it)
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
2021-11-09 22:24:58 +01:00
|
|
|
it->~value_type(); // destroy but keep allocation
|
|
|
|
new (&*it) value_type{std::move(*std::next(it, elements_affected))}; // "move" next element to it
|
2020-07-28 21:47:06 +02:00
|
|
|
}
|
2021-11-09 22:24:58 +01:00
|
|
|
|
|
|
|
// [ a, b, c, d, h, i, j, h, i, j ]
|
|
|
|
// ^ ^
|
|
|
|
// first last
|
|
|
|
|
|
|
|
// remove the unneeded elements at the end of the vector
|
|
|
|
Container::resize(this->size() - static_cast<size_type>(elements_affected));
|
|
|
|
|
|
|
|
// [ a, b, c, d, h, i, j ]
|
|
|
|
// ^ ^
|
|
|
|
// first last
|
|
|
|
|
|
|
|
// first is now pointing past the last deleted element, but we cannot
|
|
|
|
// use this iterator, because it may have been invalidated by the
|
|
|
|
// resize call. Instead, we can return begin() + offset.
|
|
|
|
return Container::begin() + offset;
|
2020-07-28 21:47:06 +02:00
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
size_type count(const key_type& key) const
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
size_type count(KeyType && key) const
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
iterator find(const key_type& key)
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
|
|
|
if (m_compare(it->first, key))
|
|
|
|
{
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Container::end();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class KeyType, detail::enable_if_t<
|
|
|
|
detail::is_usable_as_key_type<key_compare, key_type, KeyType>::value, int> = 0>
|
|
|
|
iterator find(KeyType && key)
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Container::end();
|
|
|
|
}
|
|
|
|
|
2022-07-04 19:58:19 +02:00
|
|
|
const_iterator find(const key_type& key) const
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, key))
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Container::end();
|
|
|
|
}
|
|
|
|
|
|
|
|
std::pair<iterator, bool> insert( value_type&& value )
|
|
|
|
{
|
|
|
|
return emplace(value.first, std::move(value.second));
|
|
|
|
}
|
|
|
|
|
|
|
|
std::pair<iterator, bool> insert( const value_type& value )
|
|
|
|
{
|
|
|
|
for (auto it = this->begin(); it != this->end(); ++it)
|
|
|
|
{
|
2022-04-29 21:40:02 +02:00
|
|
|
if (m_compare(it->first, value.first))
|
2020-07-28 21:47:06 +02:00
|
|
|
{
|
|
|
|
return {it, false};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Container::push_back(value);
|
|
|
|
return {--this->end(), true};
|
|
|
|
}
|
2020-12-07 18:15:41 +01:00
|
|
|
|
|
|
|
template<typename InputIt>
|
|
|
|
using require_input_iter = typename std::enable_if<std::is_convertible<typename std::iterator_traits<InputIt>::iterator_category,
|
|
|
|
std::input_iterator_tag>::value>::type;
|
|
|
|
|
|
|
|
template<typename InputIt, typename = require_input_iter<InputIt>>
|
|
|
|
void insert(InputIt first, InputIt last)
|
|
|
|
{
|
|
|
|
for (auto it = first; it != last; ++it)
|
|
|
|
{
|
|
|
|
insert(*it);
|
|
|
|
}
|
|
|
|
}
|
2022-04-29 21:40:02 +02:00
|
|
|
|
|
|
|
private:
|
|
|
|
JSON_NO_UNIQUE_ADDRESS key_compare m_compare = key_compare();
|
2020-06-19 15:27:05 +02:00
|
|
|
};
|
|
|
|
|
2022-07-30 21:59:13 +02:00
|
|
|
NLOHMANN_JSON_NAMESPACE_END
|