If I have
atomic<int> cnt=0;
int get_int() noexcept
{
cnt++;
return rand();
}
and then:
void func()
{
static const auto value = get_int();
}
I know that there will be no race condition on initialization of value
, but I don't know if
get_int()
will be called once, or in my example will cnt
be 1 (and not 2, 3, 4, or 5).
Assume multiple threads enter func()
and get_int
has only 1 callsite in func()
.
C++11 guarantees that there will be no race condition N3797 - §6.7/4:
An implementation is permitted to perform early initialization of other block-scope variables with static or thread storage duration under the same conditions that an implementation is permitted to statically initialize a variable with static or thread storage duration in namespace scope (3.6.2). Otherwise such a variable is initialized the first time control passes through its declaration; such a variable is considered initialized upon the completion of its initialization. If the initialization exits by throwing an exception, the initialization is not complete, so it will be tried again the next time control enters the declaration. If control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.92 If control re-enters the declaration recursively while the variable is being initialized, the behavior is undefined. [ Example:
int foo(int i) { static int s = foo(2*i); // recursive call - undefined return i+1; }
- end example ]
It's not re-entrant but thread-safe. Make sure there will not be other parts of the code that will call get_int()
before func()
anyway.