Ответ 1

Я думаю, что вся эта формулировка предназначена для описания того, что будет происходить в динамически загружаемых библиотеках, но без явного называния их.

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

• должен быть инициализирован до первого использования odr в чем-либо в его блоке перевода;
• возможно, перед запуском main, но возможно после него.

Я интерпретирую сноску 34 как (но помните, что сноски не являются нормативными):

Если что-либо в TU используется ord, то каждая нелокальная переменная со статической продолжительностью хранения, имеющая инициализацию с побочными эффектами, должна быть инициализирована, даже переменные, которые не используются odr.

Итак, если есть TU, где ничего не используется, то его динамические инициализации могут не произойти.

Пример

h1.h

extern int count;
struct S
{
    S();
};

h1.cpp

#include "h1.h"

int count;
S::S()
{
   ++count;
}

h2.cpp

#include "h1.h"
S s;

main.cpp

#include "h1.h"
#include <stdio.h>
int main()
{
    printf("%d\n", count);
}

Это может печатать 0 или 1: поскольку ничего в TU h2 никогда не используется odr, оно не указывается, когда инициализация кода s будет выполнена, если вообще.

Естественно, что синтаксические компиляторы инициализируют s до main, поэтому он обязательно напечатает 1:

$ g++ main.cpp h2.cpp h1.cpp -o test1
$ ./test1
1

Теперь представьте, что h2.cpp находится в общей библиотеке:

$ g++ -shared -fPIC h2.cpp -o h2.so

И главный файл теперь:

main2.cpp

#include "h1.h"
#include <dlfcn.h>
#include <stdio.h>

int main()
{
    printf("%d\n", count);
    dlopen("./h2.so", RTLD_NOW);
    printf("%d\n", count);
    return 0;
}

Скомпилировать и запустить:

$ g++ -shared -fPIC h2.cpp -o h2.so
$ g++ -rdynamic main.cpp h1.cpp -ldl -o test2
$ ./test2
0
1

См? Инициализация s была отложена! Приятная часть состоит в том, что невозможно ссылаться на что-либо в динамически загружаемой библиотеке, не загружая сначала ее, а загрузка будет инициировать динамическую инициализацию. Так что все хорошо.

Если вы считаете, что использование dlopen изменяет, помните, что есть компиляторы, которые поддерживают задержку загрузки разделяемых библиотек (например, VС++), где системный вызов для загрузки библиотеки будет сгенерирован автоматически компилятором в первый раз это необходимо.

Ответ 2

Без поиска правильных страниц в определении я могу сказать, что ваша программа гарантированно вернется 1. Каждая статическая или глобальная инициализация выполняется до первой команды в основном. Сначала глобальные переменные инициализируются, затем выполняются конструкторы глобальных объектов. Статичность в рамках функции/метода имеет значение для инициализации перед первым использованием. Но есть ловушка:

int count;

struct A
{
   A()
   {
     count=5;
   }
};

struct B
{
   B()
   {
     count=count*2;
   }
};


A a;
B b;

void main(void)
{
  return count;
}

Как упоминалось в комментарии Ben Voigt, результат определяется, если оба экземпляра создаются в одной и той же единицы перевода. Таким образом, в моем примере результат равен 10. Если экземпляры создаются в разных файлах (и скомпилированы отдельно для разных файлов .obj), результат не определен.

Ответ 3

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