У меня проблемы с пониманием, когда и почему именно член в моем классе инициализируется нулями в соответствии с http://en.cppreference.com/w/cpp/language/zero_initialization.
Рассмотрим следующую тестовую программу:
#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;
}
Я объявляю класс, чтобы иметь массив из 8 указателей на функции подписи «void functionname ()». Когда я объявляю и инициализирую объект класса в main
как MyTest testObj = {};
или же MyTest testObj;
Я ожидал, что он будет инициализирован нулем, т. Е. Все указатели являются нулевыми указателями.
Тем не менее, компиляция с g ++ 5.3.0 на моем компьютере с Windows 10 с g++ -m32 -o test -std=c++14 test.cpp && test
Машина выдает на выходе:
myFunctions[0] = 76dd6b7d
myFunctions[1] = 00401950
myFunctions[2] = 0061ff94
myFunctions[3] = 004019ab
myFunctions[4] = 00401950
myFunctions[5] = 00000000
myFunctions[6] = 003cf000
myFunctions[7] = 00400080
Которые выглядят как неинициализированные значения из стека.
Если я перемещаю объявление объекта за пределы main (как глобальной переменной), оно снова печатает все нули.
Если я правильно понял cppreference, это потому, что у меня есть переменная со статической продолжительностью хранения, и поэтому она инициализируется нулями. Он инициализирует мой тип класса путем инициализации нулями всех не статических членов данных моего класса (т.е. myFunctions
) массив. Массив инициализируется нулевой инициализацией каждого его элемента, который в моем случае с указателем на функцию является нулевым указателем.
Почему он не инициализирует ноль мой объект в стеке, когда я объявляю его MyTest testObj = {};
?
Следующие
MyTest testObj = {};
является не нулевая инициализация для MyTest
, но просто вызывает его конструктор по умолчанию. cppreference Страница объясняет почему (выделение мое):
Как часть последовательности инициализации значения для типов, не относящихся к классам, и для членов типов классов, инициализированных значением, которые не имеют конструкторов, в том числе значение инициализации элементов агрегатов, для которых не предусмотрены инициализаторы.
MyTest
является типом класса, и имеет конструктор.
Определение конструктора с помощью
MyTest() = default;
будет вместо нулевой инициализации предмет.
Соответствующие стандартные цитаты (выделено мной) ниже.
От [Dcl.init # 6]:
Инициализировать значение объекта типа T означает:
если T является (возможно, cv-квалифицированным) типом класса без конструктора по умолчанию ([class.ctor]) или конструктора по умолчанию, предоставленного или удаленного пользователем, тогда объект инициализируется по умолчанию;
если Т является (возможно, cv-квалифицированный) тип класса без предоставленного пользователем или удаленного конструктора по умолчанию, тогда объект инициализируется нулями и семантические ограничения для инициализации по умолчанию проверяются, и если T имеет нетривиальный конструктор по умолчанию, объект инициализируется по умолчанию;
…
От [Dcl.init.list]:
Инициализация списка объекта или ссылки типа T определяется следующим образом:
…
В противном случае, если список инициализаторов не имеет элементов и T является типом класса с конструктором по умолчанию, объект инициализируется значением.
Других решений пока нет …