This documentation is automatically generated by online-judge-tools/verification-helper
#include "ds/dynamic_array.hpp"
#pragma once
#include "ds/node_pool.hpp"
template <typename T, bool PERSISTENT>
struct Dynamic_Array {
static constexpr int LOG = 4;
static constexpr int MASK = (1 << LOG) - 1;
struct Node {
T x;
Node* ch[1 << LOG] = {};
};
Node_Pool<Node> pool;
using np = Node*;
const T x0;
Dynamic_Array(int NODES, T default_value) : x0(default_value) {}
np new_root() {
np c = pool.create();
c->x = x0;
fill(c->ch, c->ch + (1 << LOG), nullptr);
return c;
}
np new_node(vc<T> dat) {
np root = new_root();
FOR(i, len(dat)) root = set(root, i, dat[i], false);
return root;
}
T get(np c, int idx) {
if (!c) return x0;
if (idx == 0) return c->x;
return get(c->ch[idx & MASK], (idx - 1) >> LOG);
}
np set(np c, int idx, T x, bool make_copy = true) {
c = (c ? clone(c, make_copy) : new_root());
if (idx == 0) {
c->x = x;
return c;
}
c->ch[idx & MASK] = set(c->ch[idx & MASK], (idx - 1) >> LOG, x);
return c;
}
private:
np clone(np c, bool make_copy) {
if (!make_copy || !PERSISTENT) return c;
return pool.clone(c);
}
};
#line 1 "ds/node_pool.hpp"
template <class Node>
struct Node_Pool {
struct Slot {
union alignas(Node) {
Slot* next;
unsigned char storage[sizeof(Node)];
};
};
using np = Node*;
static constexpr int CHUNK_SIZE = 1 << 16;
vc<unique_ptr<Slot[]>> chunks;
Slot* cur = nullptr;
int cur_used = 0;
Slot* free_head = nullptr;
Node_Pool() { alloc_chunk(); }
template <class... Args>
np create(Args&&... args) {
Slot* s = new_slot();
return ::new (s) Node(forward<Args>(args)...);
}
np clone(const np x) {
assert(x);
Slot* s = new_slot();
return ::new (s) Node(*x); // コピーコンストラクタ呼び出し
}
void destroy(np x) {
if (!x) return;
x->~Node();
auto s = reinterpret_cast<Slot*>(x);
s->next = free_head;
free_head = s;
}
void reset() {
free_head = nullptr;
if (!chunks.empty()) {
cur = chunks[0].get();
cur_used = 0;
}
}
private:
void alloc_chunk() {
chunks.emplace_back(make_unique<Slot[]>(CHUNK_SIZE));
cur = chunks.back().get();
cur_used = 0;
}
Slot* new_slot() {
if (free_head) {
Slot* s = free_head;
free_head = free_head->next;
return s;
}
if (cur_used == CHUNK_SIZE) alloc_chunk();
return &cur[cur_used++];
}
};
#line 3 "ds/dynamic_array.hpp"
template <typename T, bool PERSISTENT>
struct Dynamic_Array {
static constexpr int LOG = 4;
static constexpr int MASK = (1 << LOG) - 1;
struct Node {
T x;
Node* ch[1 << LOG] = {};
};
Node_Pool<Node> pool;
using np = Node*;
const T x0;
Dynamic_Array(int NODES, T default_value) : x0(default_value) {}
np new_root() {
np c = pool.create();
c->x = x0;
fill(c->ch, c->ch + (1 << LOG), nullptr);
return c;
}
np new_node(vc<T> dat) {
np root = new_root();
FOR(i, len(dat)) root = set(root, i, dat[i], false);
return root;
}
T get(np c, int idx) {
if (!c) return x0;
if (idx == 0) return c->x;
return get(c->ch[idx & MASK], (idx - 1) >> LOG);
}
np set(np c, int idx, T x, bool make_copy = true) {
c = (c ? clone(c, make_copy) : new_root());
if (idx == 0) {
c->x = x;
return c;
}
c->ch[idx & MASK] = set(c->ch[idx & MASK], (idx - 1) >> LOG, x);
return c;
}
private:
np clone(np c, bool make_copy) {
if (!make_copy || !PERSISTENT) return c;
return pool.clone(c);
}
};