Сергей Добычин — constexpr-аллокатор для контейнеров стандартной библиотеки

Одна из главных фич, которая выделяет С++ среди других языков — константные вычисления. С каждым новым стандартом языка поддержка константных вычислений становится все более продвинутой. В С++ 20 появились аллокации памяти в constexpr-выражениях, и стало возможным использовать std::vector и std::string в константных выражениях. Но есть одно но: использовать их можно только внутри constexpr, из constexpr-функции нельзя вернуть std::string или std::vector. В докладе рассмотрели, как, используя только лишь возможности С++23, написать аллокатор, с помощью которого можно реализовать top-level constexpr std::string, std::vector и остальные контейнеры стандартной библиотеки. 2:55 Начало. Transient выделения памяти при компиляции. Невозможность non-transient в C++ 8:45 Подробный разбор предложения P0639 по CE аллокатору 11:30 Проблемы с размером буфера 18:16 Двухэтапное определения размера буфера во время компиляции 20:40 Постановка задачи: как сделать чтобы CE аллокатор сам определял размер буфера? Общий вид решения. 23:13 Интересные детали реализации 27:45 Передача инициализирующего значения через типы (разбор P2781) 31:20 Завершение: QR код на полное решение в C++20 и примеры 34:08 Вопросы