поговнокодил <на чем угодно> => иди оптимизируй

То бишь, поговнокодил на сях => сразу быстрый код

Вот пример

таких

struct char_node_base
{
    virtual ~char_node_base() = default;
};

using char_node_ptr = std::unique_ptr<char_node_base>;

struct char_node_terminal : char_node_base
{
    const unsigned char m_c;
    char_node_terminal(char c) noexcept : m_c(c) {}
};

struct char_node : char_node_base
{
    char_node_ptr m_left;
    char_node_ptr m_right;
};

если тебе нужна будет PQ - тщательно запоминай

блин, "так, их" а то они тут опять устроили срач Сишка лучше плюсов

? Типичный C, казалось бы

? Типичный C, казалось бы

тут особо поражает знакомство автора с темой

Те самые операции с битовыми массивами, что отдельно упоминались выше, реализованы с использованием авто указателя unique_ptr, для которого память выделяется с помощью new[]. Вспомним, что данный оператор выражение (не путать с операцией new!) внутри обращается к C-шному malloc соответствующей операции new[], а затем инициализирует каждый объект в созданном массиве через default initialize который в этом случае означает do nothing но я не в курсе

да там с этими тестами какой то треш и угар вечно, посомтреть достаточно тот известный с тестами разных языков

Я продолжаю размышлять над своей идеей про систему типов, которая на самом деле просто пачка const fn
Кажется, это позволяет реализовывать достаточно сложные фичи почти бесплатно
Она не даёт бесплатно зависимые типы и линейные/афинные/релевантные типы, но HKT, GAT, специализация идут бесплатно
Трейт — это просто функция

my_trait :: (Type, ...) -> Maybe (Type, ...)

(где (Type, ...) это «tuple из некоего количества элементов типа Type»)
Если трейт возвращает Just ..., то он реализован и внутренности Just — ассоциированные типы
Если Nothing, то трейт не реализован
При компиляции вместо сложной магии настоящих тайпчекеров, мы просто вызываем функцию и смотрим, что она вернёт
Специализация — это просто if внутри функции
Дженерик-типы — это функция, которая принимает тип и возвращает тип
HKT — это просто частично применённый дженерик-тип (и мы даже можем делать разные лейауты для разных аргументов дженерика, простым ифом)

У меня, правда, ощущение, что вывод типов это ломает напрочь, кроме самых тривиальных случаев. Фиг бы с тем, что тут очевидно получается Тьюринг-полный тайпчекинг, но для рабочего вывода типов тут потребуется реверсивно исполнять Тьюринг-полную программу что эээ немного невозможно. Вывод возвращаемого типа функции будет работать нормально, но вывод типов аргументов будет сломан на уровне «проще вообще его не делать». Возможно, конечно, эту боль можно как-то уменьшить с помощью простого синтаксиса для type ascription, но всё равно неприятно.