Given the non trivial data structure:
claas MyClass
{
public:
MyClass():x(0), p(nullptr)
{}
private:
int x;
int* p;
};
Is there any guarantee provided by the c++ specification that the default constructor will be called for each instance of MyClass in the array pointed by the ptr?
int main()
{
MyClass* ptr = new MyClass[5];
}
Is there any guarantee provided by the c++ specification that the default constructor will be called for each instance of
MyClassin the array pointed by theptr?
Yes, it is guaranteed as explained below.
From new expression's documentation:
::(optional) new new-type initializer(optional) (2)The object created by a
new-expressionis initialized according to the following rules:
If type or
new-typeis an array type, an array of objects is initialized.
- If initializer is absent, each element is default-initialized.
And further from default initialization documentation:
new T (2)Default initialization is performed in three situations:
2) when an object with dynamic storage duration is created by a
new-expressionwith no initializer;
Moreover,
The effects of default initialization are:
- if
Tis an array type, every element of the array is default-initialized;
(emphasis mine)
Note the very last statement which says that "every element is default-initializaed" which means(in your example) the default constructor will be called as per bullet point 1:
if T is a (possibly cv-qualified) non-POD (until C++11) class type, the constructors are considered and subjected to overload resolution against the empty argument list. The constructor selected (which is one of the default constructors) is called to provide the initial value for the new object;
This means that it is guaranteed that the default constructor will be called in your example.
that the default constructor will be called foris there anything else you expect to happen here?coutand test it yourself. Though that will only show you instead of guaranteeing.