20

I've checked myself, I wrote a program like this

int main() {
 int i;
 cout << i;
 return 0;
}

I ran the program a few times and the result was same all the time, zero. I've tried it in C and the result was the same.

But my textbook says

If you don’t initialize an variable that’s defined inside a function, the variable value remain undefined.That means the element takes on whatever value previously resided at that location in memory.

How's this possible when the program always assign a free memory location to a variable? How could it be something other than zero(I assume that default free memory value is zero)?

5
  • 8
    It is undefined behavior in C++ and C. You said C in the title but cout is from C++. May 11, 2015 at 16:03
  • And because it´s undefined, the compiler "may" (mut not must) generate the program so that 0 is assigned before you use it.
    – deviantfan
    May 11, 2015 at 16:06
  • What textbook is that? May 11, 2015 at 16:12
  • 1
    How were you able to try cout in C?
    – Deanie
    May 11, 2015 at 20:59
  • 1
    @Daenie I used printf but I was too lazy to paste C code
    – omidh
    May 12, 2015 at 4:23

4 Answers 4

23

How's this possible when the program always assign a free memory location to a variable? How could it be something rather than zero?

Let's take a look at an example practical implementation.

Let's say it utilizes stack to keep local variables.

void
foo(void)
{
        int foo_var = 42;
}

void
bar(void)
{
        int bar_var;
        printf("%d\n", bar_var);
}

int
main(void)
{
        bar();
        foo();
        bar();
}

Totally broken code above illustrates the point. After we call foo, certain location on the stack where foo_var was placed is set to 42. When we call bar, bar_var occupies that exact location. And indeed, executing the code results in printing 0 and 42, showing that bar_var value cannot be relied upon unless initialized.

Now it should be clear that local variable initialisation is required. But could main be an exception? Is there anything which could play with the stack and in result give us a non-zero value?

Yes. main is not the first function executed in your program. In fact there is tons of work required to set everything up. Any of this work could have used the stack and leave some non-zeros on it. Not only you can't expect the same value on different operating systems, it may very well suddenly change on the very system you are using right now. Interested parties can google for "dynamic linker".

Finally, the C language standard does not even have the term stack. Having a "place" for local variables is left to the compiler. It could even get random crap from whatever happened to be in a given register. It really can be totally anything. In fact, if an undefined behaviour is triggered, the compiler has the freedom to do whatever it feels like.

2
  • 2
    "C language standard" C is not C++
    – Pharap
    Apr 21, 2017 at 23:29
  • Since this example invokes undefined behavior, you should mention the exact compiler and compiler setting that you used to reproduce the observed behavior. Jan 29, 2021 at 15:40
14

If you don’t initialize an variable that’s defined inside a function, the variable value remain undefined.

This bit is true.

That means the element takes on whatever value previously resided at that location in memory.

This bit is not.

Sometimes in practice this will occur, and you should realise that getting zero or not getting zero perfectly fits this theory, for any given run of your program.

In theory your compiler could actually assign a random initial value to that integer if it wanted, so trying to rationalise about this is entirely pointless. But let's continue as if we assumed that "the element takes on whatever value previously resided at that location in memory"…

How could it be something rather than zero(I assume that default free memory value is zero)?

Well, this is what happens when you assume. :)

1
  • Additionally, some compilers might remove memory access entirely, in which case you will be accessing register values instead.
    – yyny
    Dec 6, 2020 at 16:29
5

This code invokes Undefined Behavior (UB), since the variable is used uninitialized.

The compiler should emit a warning, when a warning flag is used, like -Wall for example:

warning: 'i' is used uninitialized in this function [-Wuninitialized]
  cout << i;
          ^

It just happens, that at this run, on your system, it had the value of 0. That means that the garbage value the variable was assigned to, happened to be 0, because the memory leftovers there suggested so.

However, notice that, kernel zeroes appear relatively often. That means that it is quite common that I can get zero as an output of my system, but it is not guaranteed and should not be taken into a promise.

2
  • 2
    I like your mention of compiler flags like -Wall
    – hyena
    Jan 3, 2022 at 22:07
  • 1
    "It so happens that your compiler gives you a program that outputs an arbitrary int", the standard permits any observable behaviour from that whole program.
    – Caleth
    Aug 19, 2022 at 8:22
3

Static variables and global variables are initialized to zero:

Global:
int a;  //a is initialized as 0

void myfunc(){
   static int x;     // x is also initialized as 0
   printf("%d", x);}

Where as non-static variables or auto variables i.e. the local variables are indeterminate (indeterminate usually means it can do anything. It can be zero, it can be the value that was in there, it can crash the program). Reading them prior to assigning a value results in undefined behavior.

void myfunc2(){
   int x;        // value of x is assigned by compiler it can even be 0
   printf("%d", x);}

It mostly depends on compiler but in general most cases the value is pre assumed as 0 by the compliers

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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