StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>The important difference is that the first default initializes the array in an element-specific manner: Pointers will receive a <em>null pointer value</em>, which doesn't need to be 0x00 (as in all-bits-zero), booleans will be <em>false</em>. If the element type is a class type that's not a so-called <em>POD</em> (plain old data-type), then you can only do the first one, because the second one only works for the simplest cases (where you don't have <em>virtual functions</em>, user defined constructors and so on). In contrast, the second way using the memset sets all elements of the array to all-bits-zero. That is not always that what you want. If your array has pointers for example, they won't be set to null-pointers necessarily. </p> <p>The first will default initialize the elements of the array, except for the first one, which is set to 0 explicitly. If the array is local and on the stack (that is, not a static), the compiler internally often does a memset to clear the array out. If the array is non-local or static, the first version can be <em>considerably more efficient</em>. The compiler can put the initializers already, at compile time, into the generated assembler code, making it require no runtime code at all. Alternatively, the array can be laid out on a section that is automatically zero'd out (also for pointers, if they have a all-bits-zero representation) when the program starts in a fast manner (i.e page-wise). </p> <p>The second does a memset explicitly over the whole array. Optimizing compilers will usually replace a memset for smaller regions with inline machine code that just loops using labels and branches. </p> <p><sub> Here is assembler-code generated for the first case. My gcc stuff isn't much optimized, so we got a real call to memset (16 bytes at the stack-top are always allocated, even if we got no locals. $n is a register number):</p> <pre><code>void f(void) { int a[16] = { 42 }; } sub $29, $29, 88 ; create stack-frame, 88 bytes stw $31, $29, 84 ; save return address add $4, $29, 16 ; 1st argument is destination, the array. add $5, $0, 0 ; 2nd argument is value to fill add $6, $0, 64 ; 3rd argument is size to fill: 4byte * 16 jal memset ; call memset add $2, $0, 42 ; set first element, a[0], to 42 stw $2, $29, 16 ; ldw $31, $29, 84 ; restore return address add $29, $29, 88 ; destroy stack-frame jr $31 ; return to caller </code></pre> <p></sub></p> <p>The gory details from the C++ Standard. The first case above will default-initialize remaining elements. </p> <p><code>8.5</code>:</p> <blockquote> <p>To zero-initialize storage for an object of type T means:</p> <ul> <li>if T is a scalar type, the storage is set to the value of 0 (zero) <em>converted to T</em>;</li> <li>if T is a non-union class type, the storage for each nonstatic data member and each base-class subobject is zero-initialized;</li> <li>if T is a union type, the storage for its first data member is zero-initialized;</li> <li>if T is an array type, the storage for each element is zero-initialized;</li> <li>if T is a reference type, no initialization is performed.</li> </ul> <p>To default-initialize an object of type T means:</p> <ul> <li>if T is a non-POD class type, the default constructor for T is called</li> <li>if T is an array type, each element is default-initialized;</li> <li>otherwise, the storage for the object is zero-initialized.</li> </ul> </blockquote> <p><code>8.5.1</code>:</p> <blockquote> <p>If there are fewer initializers in the list than there are members in the aggregate, then each member not explicitly initialized shall be <em>default-initialized</em> (8.5). </p> </blockquote>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload