CODEWITHSUNDEEP
cstructinitializationlanguage-lawyerautomatic-storage
Karolis Milieška
Karolis Milieška

Reputation: 655

Automatic storage duration struct initialization

Some of this may be a duplicate, but I am sorry for that.
Let's say I have this struct:

struct foo
{
    int a; 
    int b; 
    int c;
};

1. If struct foo type object is declared in the way that it has automatic storage duration and without initializers, is it guaranteed that all it's members will be force initialized to zero?

{
    // other stuff
    struct foo bar;
    // other stuff
}

2. If struct foo type object is declared in the way that it has automatic storage duration and with some initializers, is it guaranteed that members, which are not explicitly initialized, will be force initialized to zero?

{
    // other stuff
    struct foo bar = {.a = 1}; 
    // other stuff
}

3. If struct foo type object is declared in the way that it has automatic storage duration and by using compound literal expression, is it guaranteed that members, which are not explicitly initialized, will be force initialized to zero?

{
    // other stuff
    func((struct foo){.a = 1});
    // other stuff
}

Any C standard references are much appreciated! Thank you!

Upvotes: 4

Views: 1146

Answers (2)

Lundin
Lundin

Reputation: 213448

Summary, TL;DR:

Storage duration explained:

  • A variable declared inside a function has automatic storage duration (including parameters to functions).
  • A variable declared as static, or a variable declared outside functions at file scope ("global") has static storage duration.

Struct (and array) initialization explained:

  • If you initialize no member and the struct has automatic storage duration, nothing is initialized.
  • If you initialize no member and the struct has static storage duration, all members are zero-initialized.
  • If you initialize any member(s), those you didn't touch get initialized to zero.

The relevant part of the C standard (C17 6.7.9 §10):

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static or thread storage duration is not initialized explicitly, then:

  • if it has pointer type, it is initialized to a null pointer;
  • if it has arithmetic type, it is initialized to (positive or unsigned) zero;
  • if it is an aggregate, every member is initialized (recursively) according to these rules, and any padding is initialized to zero bits;

Where "artihmetic type" is standard gibberish for plain variables like int, and "aggregate" is standard gibberish for arrays and structs.

Further down in the same chapter (C17 6.7.9 §19):

...all subobjects that are not initialized explicitly shall be initialized implicitly the same as objects that have static storage duration.

Answers to your questions:

  1. If struct foo type object is declared in the way that it has automatic storage duration and without initializers, is it guaranteed that all it's members will be force initialized to zero?

No, it is not guaranteed; their values are indeterminate as stated in the first sentence of the quote above.

  1. If struct foo type object is declared in the way that it has automatic storage duration and with some initializers, is it guaranteed that members, which are not explicitly initialized, will be force initialized to zero?

Yes, as per C17 6.7.9 §19 cited above.

  1. If struct foo type object is declared in the way that it has automatic storage duration and by using compound literal expression, is it guaranteed that members, which are not explicitly initialized, will be force initialized to zero?

Yes, since compound literals are arrays or structs, they follow the same initialization rules.

Upvotes: 5

Some programmer dude
Some programmer dude

Reputation: 409146

First of all, uninitialized variables with automatic storage will never be initialized. From The C11 standard (ISO/IEC 9899:2011 §6.7.9/10):

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate.

Then from this structure initialization reference:

All members that are not initialized explicitly are initialized implicitly the same way as objects that have static storage duration.

And if we follow the "initialized implicitly" link we have:

objects with static and thread-local storage duration are initialized as follows

  • ...
  • objects of integral types are initialized to unsigned zero
  • ...

So to answer your questions:

  1. No, no initialization is done as there is no explicit initialization in your code (see the quote from the standard)
  2. Yes, since this is a structure initialization
  3. Yes, for same reason as 2.

The links provided have references to the standard.

Upvotes: 2

Related Questions