Когда создаются глобальные переменные?

Question

У меня есть кусок кода структурированную, как это:

a.cpp: 
    #include "b.hpp" 
    const unsigned a = create(1); 


b.cpp: 
    map<int, string> something; // global variable 
    unsigned create(unsigned a){ 
     something.insert(make_pair(a, "somestring")); 
     return a; 
    } 

Теперь это выбрасывает Segfault, Valgrind говорит, что карта еще не была создана. Как это работает, как мне его изменить?

Answer 1

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

Простой способ исправить описанный выше сценарий - сделать something статическим и переместить его в функцию create.

unsigned create(unsigned a) 
{ 
    static map<int, string> something; 
    something.insert(make_pair(a, "somestring")); 
    return a; 
} 

Это будет гарантировать something получает создан на первом вызове create.

Answer 2

Порядок, в котором глобальные переменные из разных единиц перевода (т. Е. Расположенных в разных * .cpp-файлах) инициализируются, не определяется стандартом. Таким образом, полагаясь на это, undefined behaviour. Смотрите также:

• C++ global initialization order ignores dependencies?
• Static variables initialisation order

Answer 3

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

Вы можете создать что-то, что гарантируется стандартом. Что-то вроде этого:

map<int, string>& mymap(){ 
    static map<int, string> something; 
    return something; 
} 

unsigned create(unsigned a) { 
    mymap().insert(make_pair(a, "somestring")); 
    return a; 
} 

Карта что-то создается при первом вызове функции mymap().

Answer 4

Порядок, в котором глобальные переменные (то есть переменные в области видимости пространства имен) создается указано в существе:

• порядок, в котором они появляются в единице трансляции
• не определено, от одного единица перевода в другую

Это то, что языки с модулями не страдают, но, к сожалению, общая проблема на C++. Используя функции-локальные статические переменные, можно получить инициализацию при первом использовании, что обычно решает эту проблему.

Пример статического локального:

int func(int a) { 
    static std::map<int, int> m; 
    return m[a] = m.size(); 
}