237

I know this is an often asked question, but as there are so many variants, I'd like to re-state it, and hopefully have an answer reflecting the current state. Something like

Logger& g_logger() {
    static Logger lg;
    return lg;
}

Is the constructor of variable lg guaranteed to run only once?

I know from previous answers that in C++03, this is not; in C++0x draft, this is enforced. But I'd like a clearer answer to

  1. In C++11 standard (not draft), is the thread-safe initialization behavior finalized?
  2. If the above is yes, in current latest releases of popular compilers, namely gcc 4.7, vc 2011 and clang 3.0, are they properly implemented?
9
  • 17
    @Chris: Deterministic initialization and avoidance of the static initialization order fiasco. Local statics will first be initialized when the function is called the first time.
    – Xeo
    Nov 12, 2011 at 4:37
  • 3
    Thanks Xeo, that's the main reason. Some others include: 1. Normally in a logging system, client code use it as macro, like LOG << "your log" ..., and the macros have to have an deterministic access to the logger 2. The logger is not created if you don't use it. 3. You probably don't want your client to create multiple loggers (there are synchronization issue, etc...) so the Logger has a private constructor, which is only accessible by friend g_logger() Nov 12, 2011 at 5:24
  • 7
    @balki, GCC has implemented it for nearly a decade. Clang supports it too. Jan 15, 2013 at 11:11
  • 12
    Nor, does it appear, will Visual Studio 2013. See the row "Magic statics" at msdn.microsoft.com/en-us/library/vstudio/…
    – rkjnsn
    Sep 15, 2013 at 22:47
  • 7
    "Magic statics" are finally coming with VS 2015: blogs.msdn.com/b/vcblog/archive/2014/11/17/…
    – mlvljr
    Nov 21, 2014 at 3:31

2 Answers 2

222

The relevant section 6.7:

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 control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.

Then there's a footnote:

The implementation must not introduce any deadlock around execution of the initializer.

So yes, you're safe.

(This says nothing of course about the subsequent access to the variable through the reference.)

11
  • 36
    It is important to note that static Logger lg; is thread-safe only if the default constructor of Logger is thread-safe, i.e it doesn't accesses any modifiable shared resource internally, say through global variables or singletons. It should be noted that the Standard guarantees only this : if more one thread attempts to start executing the constructor concurrently, only one of them will actually execute it, the rest will wait for the completion of initialization. The Standard, however, doesn't give any guarantee of the thread-safety of the constructor itself.
    – Nawaz
    Jul 24, 2014 at 12:41
  • 12
    @Nawaz: WHy does the constructor have to be thread-safe? You said yourself that only one thread will execute the constructor.
    – Kerrek SB
    Oct 2, 2014 at 9:47
  • 7
    @KerrekSB: I've also explained what I meant by that : i.e it doesn't accesses any modifiable shared resource internally. Just because only one thread executes a constructor, doesn't necessarily mean that what it does is thread-safe. If it modifies unprotected shared resource, then it wouldn't be threadsafe.
    – Nawaz
    Oct 2, 2014 at 10:10
  • 58
    @Nawaz: Well, that's true, but that's also a complete generality: Concurrent access of shared data must be synchronized. I don't think that there's any suggestion that static initialization would somehow provide an exemption from that rule, so I didn't think it worth calling out specifically.
    – Kerrek SB
    Oct 2, 2014 at 10:44
  • 7
    Will this be valid for static Logger *lg = new Logger(); as well? Apr 16, 2019 at 14:24
25

--fno-threadsafe-statics also worth mentioning. In gcc:

Do not emit the extra code to use the routines specified in the C++ ABI for thread-safe initialization of local statics. You can use this option to reduce code size slightly in code that doesn't need to be thread-safe.

Also, have a look at the old thread Are function static variables thread-safe in GCC?

Not the answer you're looking for? Browse other questions tagged or ask your own question.