How is Meyers’ implementation of a Singleton actually a Singleton

by

This is a singleton because static storage duration for a function local means that only one instance of that local exists in the program.

Under the hood, this can very roughly be considered to be equivalent to the following C++98 (and might even be implemented vaguely like this by a compiler):

static bool __guard = false;
static char __storage[sizeof(Singleton)]; // also align it

Singleton& Instance() {
  if (!__guard ) {
    __guard = true;
    new (__storage) Singleton();
  }
  return *reinterpret_cast<Singleton*>(__storage);
}

// called automatically when the process exits
void __destruct() {
  if (__guard)
    reinterpret_cast<Singleton*>(__storage)->~Singleton();
}

The thread safety bits make it get a bit more complicated, but it’s essentially the same thing.

Looking at an actual implementation for C++11, there is a guard variable for each static (like the boolean above), which is also used for barriers and threads. Look at Clang’s AMD64 output for:

Singleton& instance() {
   static Singleton instance;
   return instance;
}

The AMD64 assembly for instance from Ubuntu’s Clang 3.0 on AMD64 at -O1 (courtesy of http://gcc.godbolt.org/ is:

instance():                           # @instance()
  pushq %rbp
  movq  %rsp, %rbp
  movb  guard variable for instance()::instance(%rip), %al
  testb %al, %al
  jne   .LBB0_3
  movl  guard variable for instance()::instance, %edi
  callq __cxa_guard_acquire
  testl %eax, %eax
  je    .LBB0_3
  movl  instance()::instance, %edi
  callq Singleton::Singleton()
  movl  guard variable for instance()::instance, %edi
  callq __cxa_guard_release
.LBB0_3:
  movl  instance()::instance, %eax
  popq  %rbp
  ret

You can see that it references a global guard to see if initialization is required, uses __cxa_guard_acquire, tests the initialization again, and so on. Exactly in almost every way like version you posted from Wikipedia, except using AMD64 assembly and the symbols/layout specified in the Itanium ABI.

Note that if you run that test you should give Singleton a non-trivial constructor so it’s not a POD, otherwise the optimizer will realize that there’s no point to doing all that guard/locking work.

More Related Contents:

  1. C++ Singleton design pattern
  2. Singleton: How should it be used
  3. Can any one provide me a sample of Singleton in c++?
  4. How to implement multithread safe singleton in C++11 without using
  5. Singleton instance declared as static variable of GetInstance method, is it thread-safe? [duplicate]
  6. Problems with Singleton Pattern
  7. Converting std::__cxx11::string to std::string
  8. How std::unordered_map is implemented
  9. Why can lambdas be better optimized by the compiler than plain functions?
  10. Why do std::shared_ptr work
  11. C++11 thread-safe queue
  12. const& , & and && specifiers for member functions in C++
  13. Why doesn’t SFINAE (enable_if) work for member functions of a class template?
  14. Extract year/month/day etc. from std::chrono::time_point in C++
  15. No matches with c++11 regex [duplicate]
  16. Pass by value vs pass by rvalue reference
  17. Error: variable “cannot be implicitly captured because no default capture mode has been specified”
  18. Get function pointer from std::function when using std::bind
  19. copy elision: move constructor not called when using ternary expression in return statement?
  20. Why can’t I create a vector of lambdas (of the same type) in C++11?
  21. Why there is no placement delete expression in C++?
  22. Lambda expressions as class template parameters
  23. When do extra parentheses have an effect, other than on operator precedence?
  24. Using export keyword with templates
  25. Conflict between copy constructor and forwarding constructor
  26. How to typedef a template class? [duplicate]
  27. Using C++ base class constructors?
  28. Why the sequence-operation algorithms predicates are passed by copy?
  29. Range based for loop in function which passes an array as value [duplicate]
  30. How to assert if a std::mutex is locked?

Leave a Comment