Есть функция:
int foo()
{
static int static_var1;
static int static_var2 = static_cast<int>( std::time(nullptr) );
//некоторый код...
}
Инициализация статических переменных является потокобезопасной. Если вызвать функцию foo()
сразу из нескольких потоков, то какой-то поток инициализирует переменную static_var1
, если до этого она ещё ни разу не была инициализированна, а другие потоки при этом любезно подождут окончания инициализации, затем продолжат свою работу.
Аналогичная история произойдёт и с переменной static_var2
.
Такой порядок инициализации явно требует некоторых накладных расходов на синхронизацию потоков. Должны же как-то другие потоки узнать о текущем состоянии статических переменных: инициализированы они или нет, может ли функция продолжить свою работу или нет...
Тем не менее, что касается переменной static_var1
, то тут явно напрашивается следующая оптимизация: инициализируем её нулём в главном потоке до первого вызова функции foo()
, весь код синхронизации/инициализации static_var1
внутри foo()
выбрасываем.
Мои вопросы таковы: 1) Делают ли компиляторы такую оптимизацию? 2) Как изменится ответ на предыдущий вопрос, если функцию foo()
сделать шаблонной?
static_var1
инициализируется нулем вместе со всей областью .data до вызова main. В функции остается только синхронизация инициализации (однократной)static_var2