19 template <std::
size_t, std::
size_t>
class Allocator>
36 static_assert(std::is_invocable_r_v<size_type, const hasher&, const key_type&>);
37 static_assert(std::is_invocable_r_v<bool, const key_equal&, const key_type&, const key_type&>);
42 entry_type() =
default;
43 entry_type(
const entry_type&) =
delete;
45 entry_type(entry_type&& a_rhs)
46 noexcept(std::is_nothrow_move_constructible_v<value_type>&&
47 std::is_nothrow_destructible_v<value_type>)
49 if (a_rhs.has_value()) {
50 const auto rnext = a_rhs.next;
51 emplace(std::move(a_rhs).steal(), rnext);
55 ~entry_type() noexcept { destroy(); };
57 entry_type&
operator=(
const entry_type&) =
delete;
60 noexcept(std::is_nothrow_move_constructible_v<value_type>&&
61 std::is_nothrow_destructible_v<value_type>)
63 if (
this != std::addressof(a_rhs)) {
65 if (a_rhs.has_value()) {
66 const auto rnext = a_rhs.next;
67 emplace(std::move(a_rhs).steal(), rnext);
73 [[nodiscard]]
bool has_value() const noexcept {
return next !=
nullptr; }
79 std::destroy_at(std::addressof(value));
86 void emplace(Arg&& a_value,
const entry_type* a_next)
87 noexcept(std::is_nothrow_constructible_v<value_type, Arg>)
89 static_assert(std::same_as<std::decay_t<Arg>,
value_type>);
91 std::construct_at(std::addressof(value), std::forward<Arg>(a_value));
92 next =
const_cast<entry_type*
>(a_next);
97 noexcept(std::is_nothrow_move_constructible_v<value_type>&&
98 std::is_nothrow_destructible_v<value_type>)
103 assert(!has_value());
110 std::byte buffer[
sizeof(
value_type)]{
static_cast<std::byte
>(0) };
112 entry_type* next{
nullptr };
123 using iterator_category = std::forward_iterator_tag;
125 iterator_base() =
default;
126 ~iterator_base() =
default;
128 iterator_base(
const volatile iterator_base&) =
delete;
129 iterator_base&
operator=(
const volatile iterator_base&) =
delete;
132 iterator_base(
const iterator_base<V>& a_rhs) noexcept
134 _first(a_rhs._first),
139 iterator_base&
operator=(
const iterator_base<V>& a_rhs) noexcept
142 assert(_last == a_rhs._last);
143 _first = a_rhs._first;
148 [[nodiscard]]
reference operator*() const noexcept
151 assert(_first->has_value());
152 return _first->value;
156 [[nodiscard]]
bool operator==(
const iterator_base<V>& a_rhs)
const noexcept
158 assert(_last == a_rhs._last);
159 return _first == a_rhs._first;
162 iterator_base& operator++() noexcept
168 iterator_base operator++(
int) noexcept
170 iterator_base result = *
this;
175 [[nodiscard]]
pointer operator->() const noexcept
183 iterator_base(entry_type* a_first, entry_type* a_last) noexcept :
187 assert(!!_first == !!_last);
188 assert(_first <= _last);
189 if (iterable() && !_first->has_value()) {
194 [[nodiscard]] entry_type* get_entry() const noexcept {
return _first; }
198 friend class iterator_base;
200 [[nodiscard]]
bool iterable() const noexcept {
return _first && _last && _first != _last; }
207 }
while (_first != _last && !_first->has_value());
210 entry_type* _first{
nullptr };
211 entry_type* _last{
nullptr };
224 requires(std::same_as<typename allocator_type::propagate_on_container_move_assignment, std::true_type>) :
225 _capacity(
std::exchange(a_rhs._capacity, 0)),
226 _free(
std::exchange(a_rhs._free, 0)),
227 _good(
std::exchange(a_rhs._good, 0)),
228 _sentinel(a_rhs._sentinel),
229 _allocator(
std::move(a_rhs._allocator))
231 assert(a_rhs.empty());
238 if (
this != std::addressof(a_rhs)) {
246 requires(std::same_as<typename allocator_type::propagate_on_container_move_assignment, std::true_type>)
248 if (
this != std::addressof(a_rhs)) {
251 _capacity = std::exchange(a_rhs._capacity, 0);
252 _free = std::exchange(a_rhs._free, 0);
253 _good = std::exchange(a_rhs._good, 0);
254 _sentinel = a_rhs._sentinel;
255 _allocator = std::move(a_rhs._allocator);
257 assert(a_rhs.empty());
262 [[nodiscard]]
iterator begin() noexcept {
return make_iterator<iterator>(get_entries()); }
263 [[nodiscard]]
const_iterator begin() const noexcept {
return make_iterator<const_iterator>(get_entries()); }
266 [[nodiscard]]
iterator end() noexcept {
return make_iterator<iterator>(); }
270 [[nodiscard]]
bool empty() const noexcept {
return size() == 0; }
276 const auto entries = get_entries();
277 assert(entries !=
nullptr);
278 for (
size_type i = 0; i < _capacity; ++i) {
279 entries[i].destroy();
289 std::pair<iterator, bool>
insert(
value_type&& a_value) {
return do_insert(std::move(a_value)); }
291 template <std::input_iterator InputIt>
292 void insert(InputIt a_first, InputIt a_last)
296 for (; a_first != a_last; ++a_first) {
297 insert(*std::move(a_first));
301 template <
class... Args>
302 std::pair<iterator, bool>
emplace(Args&&... a_args)
303 requires(std::constructible_from<value_type, Args...>)
313 const auto pos =
find(a_key);
314 const auto result = pos !=
end() ?
erase(pos) : pos;
315 return result !=
end() ? 1 : 0;
325 if (a_count <= _capacity) {
329 const auto oldCap = _capacity;
330 const auto oldEntries = get_entries();
332 const auto [newCap, newEntries] = [&]() {
333 constexpr std::uint64_t
min = allocator_type::min_size();
334 static_assert(
min > 0 && std::has_single_bit(
min));
335 const auto cap =
std::max(std::bit_ceil<std::uint64_t>(a_count),
min);
337 if (cap > 1u << 31) {
341 const auto entries = allocate(
static_cast<size_type>(cap));
349 const auto setCap = [&](
size_type a_newCap) {
350 _capacity = a_newCap;
355 if (newEntries == oldEntries) {
356 std::uninitialized_default_construct_n(oldEntries + oldCap, newCap - oldCap);
357 std::vector<value_type> todo;
358 todo.reserve(
size());
360 auto& entry = oldEntries[i];
361 if (entry.has_value()) {
362 todo.emplace_back(std::move(entry).steal());
367 std::make_move_iterator(todo.begin()),
368 std::make_move_iterator(todo.end()));
371 std::uninitialized_default_construct_n(newEntries, newCap);
373 set_entries(newEntries);
377 auto& entry = oldEntries[i];
378 if (entry.has_value()) {
379 insert(std::move(entry).steal());
382 std::destroy_n(oldEntries, oldCap);
383 deallocate(oldEntries);
391 return traits_type::unwrap_key(a_value);
394 [[nodiscard]] entry_type* allocate(
size_type a_count)
396 return static_cast<entry_type*
>(_allocator.allocate_bytes(
sizeof(entry_type) * a_count));
399 void deallocate(entry_type* a_entry) { _allocator.deallocate_bytes(a_entry); }
403 assert(a_pos !=
end());
404 const auto entry = a_pos.get_entry();
405 assert(entry !=
nullptr);
406 assert(entry->has_value());
408 if (entry->next == _sentinel) {
409 if (
auto prev = &get_entry_for(unwrap_key(entry->value)); prev != entry) {
410 while (prev->next != entry) {
413 prev->next =
const_cast<entry_type*
>(_sentinel);
418 *entry = std::move(*entry->next);
422 return make_iterator<iterator>(entry + 1);
425 template <
class Iter>
426 [[nodiscard]] Iter do_find(
const key_type& a_key)
const
427 noexcept(noexcept(hash_function(a_key)) && noexcept(key_eq(a_key, a_key)))
430 return make_iterator<Iter>();
433 auto entry = &get_entry_for(a_key);
434 if (entry->has_value()) {
436 if (key_eq(unwrap_key(entry->value), a_key)) {
437 return make_iterator<Iter>(entry);
441 }
while (entry != _sentinel);
444 return make_iterator<Iter>();
448 [[nodiscard]] std::pair<iterator, bool> do_insert(P&& a_value)
451 if (
const auto it =
find(unwrap_key(a_value)); it !=
end()) {
461 const auto entry = &get_entry_for(unwrap_key(a_value));
462 if (entry->has_value()) {
463 const auto free = &get_free_entry();
464 const auto wouldve = &get_entry_for(unwrap_key(entry->value));
465 if (wouldve == entry) {
466 free->emplace(std::forward<P>(a_value), std::exchange(entry->next,
free));
470 while (prev->next != entry) {
475 *
free = std::move(*entry);
477 entry->emplace(std::forward<P>(a_value), _sentinel);
482 entry->emplace(std::forward<P>(a_value), _sentinel);
487 void free_resources()
490 assert(get_entries() !=
nullptr);
491 std::destroy_n(get_entries(), _capacity);
492 deallocate(get_entries());
493 set_entries(
nullptr);
499 assert(get_entries() ==
nullptr);
500 assert(_capacity == 0);
504 [[nodiscard]] entry_type& get_entry_for(
const key_type& a_key)
const
505 noexcept(noexcept(hash_function(a_key)))
507 assert(get_entries() !=
nullptr);
508 assert(std::has_single_bit(_capacity));
510 const auto hash = hash_function(a_key);
511 const auto idx = hash & (_capacity - 1);
512 return get_entries()[idx];
515 [[nodiscard]] entry_type* get_entries() const noexcept {
return static_cast<entry_type*
>(_allocator.get_entries()); }
517 [[nodiscard]] entry_type& get_free_entry() noexcept
520 assert(get_entries() !=
nullptr);
521 assert(std::has_single_bit(_capacity));
522 assert([&]() noexcept {
523 const auto begin = get_entries();
524 const auto end = get_entries() + _capacity;
528 [](
const auto& a_entry) noexcept {
529 return !a_entry.has_value();
533 const auto entries = get_entries();
534 while (entries[_good].has_value()) {
535 _good = (_good + 1) & (_capacity - 1);
537 return entries[_good];
541 noexcept(std::is_nothrow_constructible_v<hasher>&&
542 std::is_nothrow_invocable_v<const hasher&, const key_type&>)
547 [[nodiscard]]
bool key_eq(
const key_type& a_lhs,
const key_type& a_rhs)
const
548 noexcept(std::is_nothrow_constructible_v<key_equal>&&
549 std::is_nothrow_invocable_v<const key_equal&, const key_type&, const key_type&>)
551 return static_cast<bool>(
key_equal()(a_lhs, a_rhs));
554 template <
class Iter>
555 [[nodiscard]] Iter make_iterator() const noexcept
557 return Iter(get_entries() + _capacity, get_entries() + _capacity);
560 template <
class Iter>
561 [[nodiscard]] Iter make_iterator(entry_type* a_first)
const noexcept
563 return Iter(a_first, get_entries() + _capacity);
566 void set_entries(entry_type* a_entries) noexcept { _allocator.set_entries(a_entries); }
569 std::uint64_t _pad00{ 0 };
570 std::uint32_t _pad08{ 0 };
578 template <
class Key,
class T>
600 template <std::
size_t S, std::
size_t A>
611 _entries(std::exchange(a_rhs._entries,
nullptr))
619 if (
this != std::addressof(a_rhs)) {
620 assert(_entries ==
nullptr);
621 _entries = std::exchange(a_rhs._entries,
nullptr);
630 assert(a_bytes % S == 0);
636 [[nodiscard]]
void*
get_entries() const noexcept {
return _entries; }
637 void set_entries(
void* a_entries) noexcept { _entries =
static_cast<std::byte*
>(a_entries); }
641 std::uint64_t _pad00{ 0 };
642 std::byte* _entries{
nullptr };
645 template <std::u
int32_t N>
649 static_assert(N > 0 && std::has_single_bit(N));
651 template <std::
size_t S, std::
size_t A>
669 assert(a_bytes % S == 0);
670 return a_bytes <= N * S ? _buffer :
nullptr;
675 [[nodiscard]]
void*
get_entries() const noexcept {
return _entries; }
679 assert(a_entries == _buffer || a_entries ==
nullptr);
680 _entries =
static_cast<std::byte*
>(a_entries);
684 alignas(A) std::byte _buffer[N * S]{
static_cast<std::byte
>(0) };
685 std::byte* _entries{
nullptr };
689 template <std::
size_t S, std::
size_t A>
707 assert(_allocator !=
nullptr);
708 assert(a_bytes % S == 0);
709 return _allocator->
Allocate(a_bytes, 0x10);
714 assert(_allocator !=
nullptr);
718 [[nodiscard]]
void*
get_entries() const noexcept {
return _entries; }
719 void set_entries(
void* a_entries) noexcept { _entries =
static_cast<std::byte*
>(a_entries); }
724 std::byte* _entries{
nullptr };
730 class Hash = BSCRC32<Key>,
731 class KeyEq = std::equal_to<Key>>
742 static_assert(std::forward_iterator<_dummy_bsthashmap::iterator>);
748 class KeyEq = std::equal_to<Key>>
761 class KeyEq = std::equal_to<Key>>
773 class KeyEq = std::equal_to<Key>>
Definition: BSTHashMap.h:691
BSTScatterTableScrapAllocator(const BSTScatterTableScrapAllocator &)=delete
void * allocate_bytes(std::size_t a_bytes)
Definition: BSTHashMap.h:705
void * get_entries() const noexcept
Definition: BSTHashMap.h:718
void deallocate_bytes(void *a_ptr)
Definition: BSTHashMap.h:712
BSTScatterTableScrapAllocator & operator=(const BSTScatterTableScrapAllocator &)=delete
std::uint32_t size_type
Definition: BSTHashMap.h:693
static constexpr size_type min_size() noexcept
Definition: BSTHashMap.h:703
~BSTScatterTableScrapAllocator()=default
BSTScatterTableScrapAllocator(BSTScatterTableScrapAllocator &&)=delete
std::false_type propagate_on_container_move_assignment
Definition: BSTHashMap.h:694
void set_entries(void *a_entries) noexcept
Definition: BSTHashMap.h:719
BSTScatterTableScrapAllocator & operator=(BSTScatterTableScrapAllocator &&)=delete
BSTScatterTableScrapAllocator()=default
Definition: BSTHashMap.h:580
static const key_type & unwrap_key(const value_type &a_value) noexcept
Definition: BSTHashMap.h:586
Key key_type
Definition: BSTHashMap.h:582
T mapped_type
Definition: BSTHashMap.h:583
Definition: BSTHashMap.h:21
const value_type & const_reference
Definition: BSTHashMap.h:32
typename Traits::mapped_type mapped_type
Definition: BSTHashMap.h:25
std::uint32_t size_type
Definition: BSTHashMap.h:27
KeyEqual key_equal
Definition: BSTHashMap.h:30
iterator end() noexcept
Definition: BSTHashMap.h:266
void reserve(size_type a_count)
Definition: BSTHashMap.h:323
const_iterator end() const noexcept
Definition: BSTHashMap.h:267
iterator begin() noexcept
Definition: BSTHashMap.h:262
~BSTScatterTable()
Definition: BSTHashMap.h:234
void clear()
Definition: BSTHashMap.h:273
value_type & reference
Definition: BSTHashMap.h:31
const_iterator cbegin() const noexcept
Definition: BSTHashMap.h:264
std::int32_t difference_type
Definition: BSTHashMap.h:28
size_type size() const noexcept
Definition: BSTHashMap.h:271
Hash hasher
Definition: BSTHashMap.h:29
typename Traits::key_type key_type
Definition: BSTHashMap.h:24
iterator erase(const_iterator a_pos)
Definition: BSTHashMap.h:308
const_iterator begin() const noexcept
Definition: BSTHashMap.h:263
iterator_base< value_type > iterator
Definition: BSTHashMap.h:216
Allocator< sizeof(entry_type), alignof(entry_type)> allocator_type
Definition: BSTHashMap.h:215
std::pair< iterator, bool > emplace(Args &&... a_args) requires(std
Definition: BSTHashMap.h:302
const_iterator find(const key_type &a_key) const
Definition: BSTHashMap.h:319
const_iterator cend() const noexcept
Definition: BSTHashMap.h:268
value_type * pointer
Definition: BSTHashMap.h:33
std::pair< iterator, bool > insert(value_type &&a_value)
Definition: BSTHashMap.h:289
BSTScatterTable()=default
BSTScatterTable & operator=(BSTScatterTable &&a_rhs) requires(std
Definition: BSTHashMap.h:245
const value_type * const_pointer
Definition: BSTHashMap.h:34
BSTScatterTable(const BSTScatterTable &a_rhs)
Definition: BSTHashMap.h:221
Traits traits_type
Definition: BSTHashMap.h:23
iterator_base< const value_type > const_iterator
Definition: BSTHashMap.h:217
void insert(InputIt a_first, InputIt a_last) requires(std
Definition: BSTHashMap.h:292
typename Traits::value_type value_type
Definition: BSTHashMap.h:26
bool contains(const key_type &a_key) const
Definition: BSTHashMap.h:321
iterator erase(iterator a_pos)
Definition: BSTHashMap.h:309
std::pair< iterator, bool > insert(const value_type &a_value)
Definition: BSTHashMap.h:288
BSTScatterTable(BSTScatterTable &&a_rhs) noexcept requires(std
Definition: BSTHashMap.h:223
size_type erase(const key_type &a_key)
Definition: BSTHashMap.h:311
BSTScatterTable & operator=(const BSTScatterTable &a_rhs)
Definition: BSTHashMap.h:236
bool empty() const noexcept
Definition: BSTHashMap.h:270
iterator find(const key_type &a_key)
Definition: BSTHashMap.h:318
Definition: BSTHashMap.h:591
static const key_type & unwrap_key(const value_type &a_value) noexcept
Definition: BSTHashMap.h:597
key_type value_type
Definition: BSTHashMap.h:595
Key key_type
Definition: BSTHashMap.h:593
void mapped_type
Definition: BSTHashMap.h:594
ScrapHeap * GetThreadScrapHeap()
Definition: MemoryManager.h:50
static MemoryManager * GetSingleton()
Definition: MemoryManager.h:29
Definition: ScrapHeap.h:10
void Deallocate(void *a_mem)
void * Allocate(std::size_t a_size, std::size_t a_alignment)
NiColor min(const NiColor &a_lhs, const NiColor &a_rhs)
Definition: ColorUtil.h:63
NiColor max(const NiColor &a_lhs, const NiColor &a_rhs)
Definition: ColorUtil.h:71
static constexpr std::uint8_t BSTScatterTableSentinel[]
Definition: BSTHashMap.h:11
Definition: AbsorbEffect.h:6
auto make_pair(T1 &&a_first, T2 &&a_second)
Definition: BSTTuple.h:177
std::uintptr_t UnkValue
Definition: BSTHashMap.h:782
constexpr bool operator==(const BSTSmartPointer< T1 > &a_lhs, const BSTSmartPointer< T2 > &a_rhs)
Definition: BSTSmartPointer.h:241
void * malloc(std::size_t a_size)
Definition: MemoryManager.h:98
void free(void *a_ptr)
Definition: MemoryManager.h:187
std::uintptr_t UnkKey
Definition: BSTHashMap.h:781
void report_and_fail(std::string_view a_msg, std::source_location a_loc=std::source_location::current())
Definition: PCH.h:396
scope_exit(EF) -> scope_exit< EF >
requires(std::invocable< std::remove_reference_t< EF >>) class scope_exit
Definition: PCH.h:153
Definition: EffectArchetypes.h:65
Definition: BSTHashMap.h:602
BSTScatterTableHeapAllocator & operator=(BSTScatterTableHeapAllocator &&a_rhs) noexcept
Definition: BSTHashMap.h:617
~BSTScatterTableHeapAllocator()=default
std::true_type propagate_on_container_move_assignment
Definition: BSTHashMap.h:605
BSTScatterTableHeapAllocator(BSTScatterTableHeapAllocator &&a_rhs) noexcept
Definition: BSTHashMap.h:610
BSTScatterTableHeapAllocator()=default
BSTScatterTableHeapAllocator(const BSTScatterTableHeapAllocator &)=delete
void * get_entries() const noexcept
Definition: BSTHashMap.h:636
BSTScatterTableHeapAllocator & operator=(const BSTScatterTableHeapAllocator &)=delete
void * allocate_bytes(std::size_t a_bytes)
Definition: BSTHashMap.h:628
void deallocate_bytes(void *a_ptr)
Definition: BSTHashMap.h:634
static constexpr size_type min_size() noexcept
Definition: BSTHashMap.h:626
void set_entries(void *a_entries) noexcept
Definition: BSTHashMap.h:637
std::uint32_t size_type
Definition: BSTHashMap.h:604
Definition: BSTHashMap.h:653
Allocator(const Allocator &)=delete
std::false_type propagate_on_container_move_assignment
Definition: BSTHashMap.h:656
static constexpr size_type min_size() noexcept
Definition: BSTHashMap.h:665
void * allocate_bytes(std::size_t a_bytes)
Definition: BSTHashMap.h:667
void * get_entries() const noexcept
Definition: BSTHashMap.h:675
Allocator & operator=(Allocator &&)=delete
void deallocate_bytes([[maybe_unused]] void *a_ptr)
Definition: BSTHashMap.h:673
void set_entries(void *a_entries) noexcept
Definition: BSTHashMap.h:677
std::uint32_t size_type
Definition: BSTHashMap.h:655
Allocator(Allocator &&)=delete
Allocator & operator=(const Allocator &)=delete
Definition: BSTHashMap.h:647