Initializiation confusion

Question

Not sure of the appropriate title, but it stems from this discussion:

Do the parentheses after the type name make a difference with new?

On Visual Studio 2008, when I run the following code:

struct Stan
{
    float man;
};

int main()
{
    Stan *s1 = new Stan;
    Stan *s2 = new Stan();

}

Examining the locals, s1 has an uninitialized float with a random value. s2 is value initialized to 0.

However, if I add a string data member, the float in both instances is uninitialized.

struct Stan
    {
            std::string str;
        float man;
    }; 

However, the string in both instances is initialized. I tried adding other non-POD classes instead of a string, but the latter case only occurs if I add a string data member. I gather that adding a string still keeps it a POD class? If it wasn't a POD class, then it should have value initialized regardless of the parenthesis, right? Any ideas why floats(and other primitive data types for that matter) aren't initialized when I add a string data member?

Answer 1

Adding a string stops the struct from being a POD class because a POD class must be an aggregate class with no members of type non-POD-struct and std::string has (amongst other things) user-declared constructors which makes it a non-POD-struct.

This is a known bug/feature of Visual Studio 2008. It doesn't support C++03 value initialization for non-POD types such as the structure in your second example.

With the struct as in your second example what should happen is the float is not initialized by new Stan but is zero initialized in new Stan().

Types with a user declared default constructor are initialized by calling that constructor in all cases, this happens correctly.

See here and here.