Когда инициализируются встроенные переменные в статическом хранилище?

См. [basic.start.dynamic] p1:

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

Следовательно, тип описываемой вами переменной имеет частично упорядоченную инициализацию. Согласно п2:

Динамическая инициализация нелокальных переменных V и W со статической длительностью хранения упорядочена следующим образом:

• ...
• If V has partially-ordered initialization, W does not have unordered initialization, and V is defined before W in every translation unit in which W is defined, then
  • if the program starts a thread (4.7) other than the main thread (6.6.1), the initialization of V strongly happens before the initialization of W;
  • в противном случае инициализация V выполняется до инициализации W.
• ...

Итак, подведем итог, предполагая, что на картинке нет экземпляров шаблонов:

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

Интуитивный способ представить порядок инициализации состоит в том, что, как и в C++14, компилятор инициализирует каждую единицу трансляции по порядку, при этом относительный порядок различных единиц трансляции не указан (и они могут чередоваться друг с другом), но встроенная переменная с внешней связью считается инициализированной в первый раз, когда реализация сталкивается с одним из ее определений, которое может быть в любой единице перевода.

См. также стр.5:

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