31

I'm having trouble understanding when and why exactly a member in my class is zero-initialized according to http://en.cppreference.com/w/cpp/language/zero_initialization.

Consider the following test program:

#include <iostream>
#include <stdio.h>

class MyTest {
private:
    const static unsigned int dimension = 8;
    void (* myFunctions [dimension])();

public: 
    MyTest() {}

    void print() { 
        for(unsigned int i=0; i < MyTest::dimension; i++) {
            printf("myFunctions[%d] = %p\n", i, this->myFunctions[i]);
        }   
    }
};


int main() {
    //We declare and initialize an object on the stack 
    MyTest testObj = {};
    testObj.print();

    return 0;
}

I am declaring a class to have an array of 8 function pointers of the signature "void functionname()". When I declare and initialize an object of the class in main as MyTest testObj = {}; or MyTest testObj;, I expected it to be zero-initialized, i.e. all pointers are null pointers.

However, compiling with g++ 5.3.0 on my Windows 10 machine with g++ -m32 -o test -std=c++14 test.cpp && test machine gives the output:

myFunctions[0] = 76dd6b7d
myFunctions[1] = 00401950
myFunctions[2] = 0061ff94
myFunctions[3] = 004019ab
myFunctions[4] = 00401950
myFunctions[5] = 00000000
myFunctions[6] = 003cf000
myFunctions[7] = 00400080

Which look like un-initialized values from the stack..

If I move the declaration of the object outside of main (as a global variable), it prints all zeroes again.

If I have understood cppreference correctly, this is because I have a variariable with static storage duration, and is thus zero-initialized. It initializes my class type by zero-initializing all non-static data members of my class (i.e., the myFunctions) array. An array is initialized by zero-initializing every element of it, which, in my function pointer case, is a null pointer.

Why does it not zero-initialize my object the stack when I declare it with MyTest testObj = {};?

5
  • 5
    I don't follow your expectation here. Obviously, none of the three points in the documentation page you link applies.
    – Baum mit Augen
    Feb 15, 2018 at 14:48
  • 8
    MyTest testObj = {} is not zero initialization. It's value initialization, and it simply calls the default constructor, which in your case initializes nothing. Feb 15, 2018 at 14:49
  • 5
    MyTest() {} constructor does not initialize anything.
    – Eljay
    Feb 15, 2018 at 14:57
  • Is that behaviour specific to function pointers? Feb 15, 2018 at 20:33
  • Note: 6.6.2 Static initialization An object of static storage duration is zero initialized. That is why when you make it a global variable everything is initialized to zero. Automatic objects follow slightly more complex rules. Feb 15, 2018 at 21:57

1 Answer 1

43

The following

MyTest testObj = {};

is not zero-initialization for MyTest, but is simply calling its default constructor. The cppreference page explains why (emphasis mine):

As part of value-initialization sequence for non-class types and for members of value-initialized class types that have no constructors, including value initialization of elements of aggregates for which no initializers are provided.

MyTest is a class type, and a has a constructor.


Defining the constructor with

MyTest() = default;

will instead zero-initialize the object.

Relevant Standard quotes (emphasis mine) below.

From [dcl.init#8]:

To value-initialize an object of type T means:

  • if T is a (possibly cv-qualified) class type with either no default constructor ([class.ctor]) or a default constructor that is user-provided or deleted, then the object is default-initialized;

  • if T is a (possibly cv-qualified) class type without a user-provided or deleted default constructor, then the object is zero-initialized and the semantic constraints for default-initialization are checked, and if T has a non-trivial default constructor, the object is default-initialized;

  • ...

From [dcl.init.list]:

List-initialization of an object or reference of type T is defined as follows:

  • ...

  • Otherwise, if the initializer list has no elements and T is a class type with a default constructor, the object is value-initialized.

15
  • Ah, thank you. Together with the value-initialization part I now also understand why, when I comment out the constructor in the class, it prints the same uninitialized values when declared as MyTest testObj ; and all-zero when I do MyTest testObj = {}; Feb 15, 2018 at 14:55
  • Wait a sec. If no constructor was provided explicitly, all pointers should be zero? Or I'm wrong?
    – bartop
    Feb 15, 2018 at 14:56
  • @bartop Had it the wrong way around, sorry, corrected. Feb 15, 2018 at 14:57
  • 6
    @bartop you are wrong int main(){int* p;} - here p is not guaranteed to be nullptr. It is an uninitialized pointer with indeterminate value. Feb 15, 2018 at 15:00
  • @Vittorio: If you declare the default constructor with = default, would that cause it to be value initialized? Feb 15, 2018 at 15:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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