Почему constinit помогает решить проблему static order initialization fiasco?

Question

[Andrey_Epifantsev]

Почитал несколько источников про новое ключевое слово constinit. Некоторые из них преподносят его как решение проблемы порядка инициализации глобальных переменных. Типа инициализация переносится из runtime в compile time и это позволяет иметь гарантированный доступ к одной переменной при инициализации другой. Я не понял, почему это должно происходить? У нас есть две глобальные переменные. Они в разных единицах трансляции. Единицы трансляции ведь загружаются в произвольном порядке? Каким образом наличие слова constinit в одной из единиц трансляции гарантирует, что она загрузится раньше? А если вторая загрузится раньше, то при инициализации переменной в ней мы получается будет запрашивать ещё не созданную переменную из первой.

Или это как-то иначе работает?

Comments

[res2001]

В runtime уже нет единиц трансляции. Там есть секции, точнее секции есть в исполняемом файле, а в runtime уже по сути и их нет.
Обычно весь код находится в одной секции .text, инициализированные данные в секции .data, не инициализированные данные в .bss, константы в .rodata.
Загрузчик ОС помещает секции из исполняемого файла в разных блоках памяти с разными свойствами (например для text разрешено выполнение кода, для остальных нет, rodata - только для чтения).
Все загружается в память еще до старта первой команды программы.

[Andrey_Epifantsev]

res2001, то есть, то что инициализируется в compile time уже записано в секцию .data и доступно сразу после загрузки исполняемого файла в память и до исполнения любого кода?

[res2001]

Andrey_Epifantsev, да

Answer 1

[jcmvbkbc]

Единицы трансляции ведь загружаются в произвольном порядке?

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

Каким образом наличие слова constinit в одной из единиц трансляции гарантирует, что она загрузится раньше?

Это слово гарантирует, что такой объект будет инициализирован до начала динамической инициализации, см, а это всё, что требуется для решения проблемы static order initialization fiasco.