Если переменная объявлена как static в области видимости функции, она инициализируется только один раз и сохраняет свое значение между вызовами функций. Каков срок его жизни? Когда вызываются его конструктор и деструктор?
void foo()
{
static string plonk = "When will I die?";
}
Время жизни переменных функции static начинается, когда [0] первый раз поток программы встречает объявление, и заканчивается при завершении программы. Это означает, что среда выполнения должна вести бухгалтерский учет, чтобы разрушить ее, только если она действительно была построена.
Кроме того, поскольку в стандарте сказано, что деструкторы статических объектов должны выполняться в порядке, обратном завершению их построения [1], а порядок построения может зависеть от конкретного запуска программы, порядок конструкции должны быть приняты во внимание.
Пример
struct emitter {
string str;
emitter(const string& s) : str(s) { cout << "Created " << str << endl; }
~emitter() { cout << "Destroyed " << str << endl; }
};
void foo(bool skip_first)
{
if (!skip_first)
static emitter a("in if");
static emitter b("in foo");
}
int main(int argc, char*[])
{
foo(argc != 2);
if (argc == 3)
foo(false);
}
Вывод:
C: ›sample.exe
Создано в foo
Уничтожено в fooC: ›sample.exe 1
Создано в if
Создано в foo
Уничтожено в foo
Уничтожено в ifC: ›sample.exe 1 2
Создано в foo
Создано в if
Уничтожено в if
Уничтожено в foo
[0] Поскольку C ++ 98 [2] не имеет ссылки на несколько потоков, как это будет вести себя в многопоточной среде, не указано, и может быть проблематичным, поскольку упоминает Родди.
[1] C ++ 98 раздел 3.6.3.1 [basic.start.term]
[2] В C ++ 11 статика инициализируется потокобезопасным способом, это также известно как Magic Statics.
[basic.start.term]
- person Ben Voigt; 16.06.2015
thread_local вещи.
- person Motti; 16.06.2015
main и в результате вызова std::exit . Можете ли вы указать мне на часть стандарта, где явно разрешены динамические библиотеки?
- person Motti; 17.04.2017
static int x = 1;) время жизни начинается с момента получения хранилища, то есть при запуске программы для объектов со статической продолжительностью хранения (basic.life/1)
- person M.M; 09.12.2018
Мотти прав насчет порядка, но есть еще кое-что, что следует учитывать:
Компиляторы обычно используют скрытую переменную флага, чтобы указать, была ли локальная статика уже инициализирована, и этот флаг проверяется при каждой записи функции. Очевидно, это небольшой удар по производительности, но больше беспокоит то, что потокобезопасность этого флага не гарантируется.
Если у вас есть локальная статика, как указано выше, и foo вызывается из нескольких потоков, у вас могут быть условия гонки, вызывающие неправильную или даже многократную инициализацию plonk. Кроме того, в этом случае plonk может быть разрушен другим потоком, чем тот, который его построил.
Несмотря на то, что говорится в стандарте, я бы очень осторожно относился к фактическому порядку локального статического разрушения, потому что возможно, что вы можете невольно полагаться на статическое состояние, которое остается действительным после его уничтожения, и это действительно сложно отследить.
Существующие объяснения на самом деле не полны без фактического правила из Стандарта, найденного в 6.7:
Нулевая инициализация всех переменных области блока со статической продолжительностью хранения или продолжительностью хранения потока выполняется до любой другой инициализации. Постоянная инициализация объекта блочной области со статической продолжительностью хранения, если применимо, выполняется до первого входа в его блок. Реализации разрешается выполнять раннюю инициализацию других переменных области блока со статической продолжительностью хранения или продолжительностью хранения потока при тех же условиях, при которых реализации разрешено статически инициализировать переменную со статической продолжительностью хранения или продолжительностью хранения потока в области пространства имен. В противном случае такая переменная инициализируется при первом прохождении управления через ее объявление; такая переменная считается инициализированной после завершения ее инициализации. Если инициализация завершается выдачей исключения, инициализация не завершена, поэтому она будет повторена, когда в следующий раз элемент управления войдет в объявление. Если элемент управления входит в объявление одновременно во время инициализации переменной, параллельное выполнение должно дождаться завершения инициализации. Если элемент управления повторно входит в объявление рекурсивно во время инициализации переменной, поведение не определено.
FWIW, Codegear C ++ Builder не разрушает в ожидаемом порядке в соответствии со стандартом.
C:\> sample.exe 1 2
Created in foo
Created in if
Destroyed in foo
Destroyed in if
... что является еще одной причиной не полагаться на приказ об уничтожении!
Статические переменные вступают в игру после начала выполнения программы и остаются доступными до завершения выполнения программы.
Статические переменные создаются в сегменте данных в памяти.
