Why do I see strange values when I print uninitialized variables?

by

Put simply, var is not initialized and reading an uninitialized variable leads to undefined behavior.

So don’t do it. The moment you do, your program is no longer guaranteed to do anything you say.

Formally, “reading” a value means performing an lvalue-to-rvalue conversion on it. And §4.1 states “…if the object is uninitialized, a program that necessitates this conversion has undefined behavior.”

Pragmatically, that just means the value is garbage (after all, it’s easy to see reading an int, for example, just gets random bits), but we can’t conclude this, or you’d be defining undefined behavior.

For a real example, consider:

#include <iostream>

const char* test()
{
    bool b; // uninitialized

    switch (b) // undefined behavior!
    {
    case false:
        return "false";      // garbage was zero (zero is false)
    case true: 
        return "true";       // garbage was non-zero (non-zero is true)
    default:
        return "impossible"; // options are exhausted, this must be impossible...
    }
}

int main()
{
    std::cout << test() << std::endl;
}

Naïvely, one would conclude (via the reasoning in the comments) that this should never print "impossible"; but with undefined behavior, anything is possible. Compile it with g++ -02.

More Related Contents:

  1. Do the parentheses after the type name make a difference with new?
  2. What do the following phrases mean in C++: zero-, default- and value-initialization?
  3. Variable initialization in C++
  4. Why are my struct’s members not properly initialised using `{}`? [duplicate]
  5. What happens to uninitialized variables? C++
  6. What is the order of evaluation in a member initializer list?
  7. Literal initialization for const references
  8. Resolve build errors due to circular dependency amongst classes
  9. Why isn’t sizeof for a struct equal to the sum of sizeof of each member?
  10. How do I use arrays in C++?
  11. What is the difference between const int*, const int * const, and int const *?
  12. Default constructor with empty brackets
  13. What is the easiest way to initialize a std::vector with hardcoded elements?
  14. Finding C++ static initialization order problems
  15. How to overload std::swap()
  16. Does C++ support ‘finally’ blocks? (And what’s this ‘RAII’ I keep hearing about?)
  17. const vs constexpr on variables
  18. Does const mean thread-safe in C++11?
  19. Convert string to int with bool/fail in C++
  20. Now that we have std::array what uses are left for C-style arrays?
  21. C++: Where to initialize variables in constructor [duplicate]
  22. Where do I find the definition of size_t?
  23. Do class functions/variables have to be declared before being used?
  24. c++ warning: address of local variable
  25. When do extra parentheses have an effect, other than on operator precedence?
  26. is it possible to make function that will accept multiple data types for given argument?
  27. How could comma separated initialization such as in Eigen be possibly implemented in C++?
  28. How to initialize a struct to 0 in C++
  29. Is there a way to statically-initialize a dynamically-allocated array in C++?
  30. C++ Member Initializer List

Leave a Comment