Is uninitialized data behavior well specified?

by

So is this just a case of ‘uninitialized data leads to unspecified behavior’

Yes…

Sometimes if you call malloc (or new, which calls malloc) you will get data that is filled with zeroes because it is in a fresh page from the kernel. Other times it will be full of junk. If you put something on the stack (i.e., auto storage), you will almost certainly get garbage — but it can be hard to debug, because on your system that garbage might happen to be somewhat predictable. And with objects on the stack, you’ll find that changing code in a completely different source file can change the values you see in an uninitialized data structure.

About POD: Whether or not something is POD is really a red herring here. I only explained it because the question mentioned POD, and the conversation derailed from there. The two relevant concepts are storage duration and constructors. POD objects don’t have constructors, but not everything without a constructor is POD. (Technically, POD objects don’t have non-trivial constructors nor members with non-trivial constructors.)

Storage duration: There are three kinds. Static duration is for globals, automatic is for local variables, and dynamic is for objects on the heap. (This is a simplification and not exactly correct, but you can read the C++ standard yourself if you need something exactly correct.)

Anything with static storage duration gets initialized to zero. So if you make a global instance of BaseClass, then its pub member will be zero (at first). Since you put it on the stack and the heap, this rule does not apply — and you don’t do anything else to initialize it, so it is uninitialized. It happens to contain whatever junk was left in memory by the last piece of code to use it.

As a rule, any POD on the heap or the stack will be uninitialized unless you initialize it yourself, and the value will be undefined, possible changing when you recompile or run the program again. As a rule, any global POD will get initialized to zero unless you initialize it to something else.

Detecting uninitialized values: Try using Valgrind’s memcheck tool, it will help you find where you use uninitialized values — these are usually errors.

More Related Contents:

  1. Is there a difference between copy initialization and direct initialization?
  2. What do the following phrases mean in C++: zero-, default- and value-initialization?
  3. What are the differences between C-like, constructor, and uniform initialization?
  4. Does the default constructor initialize built-in types?
  5. Initialize static variables in C++ class?
  6. Variable initialization in C++
  7. How do C++ class members get initialized if I don’t do it explicitly?
  8. Why can’t simple initialize (with braces) 2D std::array? [duplicate]
  9. C++ Static member initialization (template fun inside)
  10. Why class data members can’t be initialized by direct initialization syntax?
  11. How to initialize std::array elegantly if T is not default constructible?
  12. What happens to uninitialized variables? C++
  13. What are the signs of crosses initialization?
  14. Is reading an indeterminate value undefined behavior?
  15. Easy way find uninitialized member variables
  16. How is static variable initialization implemented by the compiler?
  17. What Is a Curly-Brace Enclosed List If Not an intializer_list?
  18. C++ Structure Initialization [duplicate]
  19. Is this self initialization valid?
  20. too many initializers for ‘int [0]’ c++
  21. static member initialization for specialized template class
  22. Is it safe to use the “this” pointer in an initialization list?
  23. How to create std::array with initialization list without providing size directly [duplicate]
  24. Default and value initialization of POD types in C++
  25. What’s the difference between Radio r = Radio(“PSR”, 100.8) and Radio(“PSR”, 100.8)?
  26. Initialization difference with or without curly braces in C++
  27. Initializing an std::array of non-default-constructible elements?
  28. Why can’t I initialize a variable-sized array?
  29. What is the order of evaluation in a member initializer list?
  30. C++ default initialization and value initialization: which is which, which is called when and how to reliably initialize a template-type member

Leave a Comment