Does a string literal count as a partial initializer and zero-initialize?

Question

In C, you can partially initialize a struct or array, with the result that the members/elements that aren\'t mentioned in the initializer are zero-initialized. (C99

Answer 1

 char c[4] = "a";

All the remaining elements of the array will be set to 0. That is, not only c[1] but also c[2] and c[3].

Note that this does not depend on the storage duration of c, i. e., even if c has automatic storage duration the remaining elements will be set to 0.

From the C Standard (emphasis mine):

(C99, 6.7.8p21) "If there are fewer initializers in a brace-enclosed list than there are elements or members of an aggregate, or fewer characters in a string literal used to initialize an array of known size than there are elements in the array, the remainder of the aggregate shall be initialized implicitly the same as objects that have static storage duration."

Answer 2

From the C99 standard (as already stated by ouah):

If there are fewer initializers in a brace-enclosed list than there are elements or members of an aggregate, or fewer characters in a string literal used to initialize an array of known size than there are elements in the array, the remainder of the aggregate shall be initialized implicitly the same as objects that have static storage duration.

and:

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static 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;
• if it is a union, the first named member is initialized (recursively) according to these rules.

And char is an arithmetic type, so the remaining elements of the array will be initialised to zero.

Answer 3

Absolutely everywhere in C language it follows the all-or-nothing approach to initialization. If you initialize an aggregate only partially, the rest of that aggregate gets zero-initialized.

One can say that this is excessive and less than optimal with strings, but that's just how it works in C.