Краткий ответ

constinit требует, чтобы переменная со статическим или потоковым временем хранения была инициализирована константным выражением. Если инициализатор требует динамической инициализации, программа должна быть отвергнута компилятором.

При этом constinit не делает объект const, не разрешает использовать его значение как константу времени компиляции и не устраняет все проблемы порядка инициализации глобальных объектов. Его основная роль — превратить незаметный переход к динамической инициализации в диагностируемую ошибку.

Исторический контекст

Глобальные и другие объекты со статическим временем хранения инициализируются до входа в main. Для них различают нулевую, константную и динамическую инициализацию. Динамическая инициализация может зависеть от порядка инициализации объектов из разных единиц трансляции, что приводит к классической проблеме статического порядка инициализации.

До C++20 разработчик мог случайно изменить простой константный инициализатор на вызов функции. Код продолжал компилироваться, но объект начинал инициализироваться динамически. constinit появился как явное требование сохранить константную инициализацию и получить ошибку при нарушении этого требования.

Постановка проблемы

Рассмотрим глобальную настройку, которую другие объекты читают во время своей инициализации. Пока значение задаётся константным выражением, оно доступно уже после статической инициализации и не зависит от порядка динамических конструкторов.

Если вместо непосредственного значения вызывается обычная функция, инициализация может стать динамической. В таком случае чтение переменной из другого объекта или другой единицы трансляции способно произойти до её фактической инициализации, что создаёт неопределённое или зависящее от порядка поведение.

Подробное решение

constinit применяется к переменным со статическим или потоковым временем хранения. Компилятор проверяет, что определение такой переменной использует константную инициализацию. Если проверка не проходит, это ошибка компиляции, а не разрешённый переход к динамической инициализации.

int runtime_value();

constinit int limit = 64;
// constinit int invalid = runtime_value(); // ошибка: нужна константная инициализация

int read_limit() {
    return limit;
}

constinit int limit = 64 остаётся изменяемым объектом: после запуска программы значение можно присвоить заново. Это принципиально отличается от constexpr, который требует константности объекта и делает его пригодным для использования в контекстах, требующих константного выражения.

constinit также отличается от constexpr областью применения. constexpr описывает возможность вычисления значения на этапе компиляции, а constinit контролирует именно инициализацию объекта со статическим или потоковым временем хранения. Переменная constinit не обязана быть const и не обязана иметь тип, допустимый для полноценного constexpr-объекта.

Механизм не решает проблему потокового доступа после завершения инициализации. Если несколько потоков изменяют объект, требуются атомарность или другая синхронизация. Он также не управляет порядком инициализации других динамических объектов и не заменяет безопасные конструкции вроде локального статического объекта.

Для переменной в заголовке часто используют inline constinit, чтобы разрешить одно логическое определение в нескольких единицах трансляции. Однако сам constinit не устраняет требования к корректному интерфейсу и ODR: объявление и определение должны быть согласованы.

Ситуация из практики

В библиотеке конфигурация по умолчанию использовалась при инициализации нескольких глобальных компонентов. Разработчик заменил литерал вызовом функции чтения конфигурационного файла. Без constinit программа продолжила собираться, но порядок запуска компонентов стал зависеть от динамической инициализации.

Возможные варианты были такими:

Оставить обычную глобальную переменную — минимальные изменения, но регрессия не выявляется компилятором.
Использовать локальный static — безопасная ленивая инициализация при первом обращении, но меняются момент создания объекта и его жизненный цикл.
Использовать constexpr — подходит только для действительно константного объекта и ограничивает семантику изменяемости.
Использовать constinit — сохраняет изменяемость, но запрещает случайную динамическую инициализацию.

Для значения, которое обязано быть задано на этапе компиляции, выбрали constinit. После этого попытка вернуть вызов функции в инициализатор стала ошибкой сборки, а исходная гарантия перестала зависеть от дисциплины ревью.

Что кандидаты часто упускают

Гарантирует ли constinit, что переменная неизменяема?

Нет. constinit проверяет способ первоначальной инициализации, но не запрещает последующие присваивания. Например, constinit int counter = 0 можно изменять; для защиты от изменения нужен const или другой механизм доступа.

Это различие важно в конфигурациях и счётчиках: constinit может гарантировать безопасно заданное начальное состояние, но не заменяет синхронизацию или контроль мутабельности.

Можно ли заменить любой constinit на constexpr?

Нет. constexpr требует, чтобы объект был константным, а его тип и инициализатор удовлетворяли требованиям константного выражения. constinit не требует const и предназначен прежде всего для контроля времени инициализации объектов со статическим или потоковым временем хранения.

Поэтому изменяемый глобальный объект может корректно подходить под constinit, но не под constexpr. Обратная замена изменила бы интерфейс и семантику объекта, а не только усилила проверку.

Устраняет ли constinit статический порядок инициализации?

Нет. Он гарантирует константную инициализацию конкретной переменной, но не делает динамическую инициализацию остальных глобальных объектов упорядоченной. Если один компонент всё ещё зависит от конструктора другого динамически инициализируемого объекта, проблема сохраняется.

constinit полезен как локальная гарантия: он исключает динамическую инициализацию отмеченной переменной. Для сложных зависимостей дополнительно применяют явную инициализацию, локальные статические объекты, внедрение зависимостей или другой дизайн, не зависящий от порядка глобальных конструкторов.