Вопрос про список инициализации

Правда ли, что в первом случае (класс А) переменной и сперва будет присвоено значение по умолчанию (-858993460) и только потом 1, а во втором случае(класс В) переменная сразу получит значение 1?

0

Правда. С одной оговоркой: "значение по умолчанию (-858993460)" - это особенность мелкомягкого компилятора в режиме отладки, поэтому в общем случае переменная i в классе A изначально будет содержать просто "мусор"; а вот какой именно - зависит от массы факторов.

0

Неправда. И в первом и во втором случае сначала значение стандартное, а при инициализации и то и другое становятся равными 1.

Добавлено через 1 минуту
Не заметил сообщение CheshireCat, когда писал.
Можете убедиться в дебаггере.

0

Значит ли это, что она в первом случае она инициализируется два раза, а во втором один?

Дебагер показывает, то, что в первом случае i=-858993460 -> f10 -> i=1; а во втором сразу i=1

0

Не знаю, можно ли значение по умолчанию считать инициализацией, но они инициализируются одинаковое количество раз.

Добавлено через 3 минуты

Сообщение от HIMen Дебагер показывает, то, что в первом случае i=-858993460 -> f10 -> i=1; а во втором сразу i=1

Какой компилятор? У меня MVS 2008 и всё происходит так, как я указал выше.

0

ээ надо просто сделать так чтобы посмотреть по шагам
у меня vs2008

0

Именно по шагам я делал.

0

Ребята, подождите.
Я так понимаю.
Если есть конструктор инициализации прописанный программистом, то конструктор по умолчанию вызываться НЕ БУДЕТ. (Так у меня написано в книге)
В приведённом примере имеется авторский конструктор инициализации. Значит, при создании объекта будет вызван именно он и переменной i будет присвоено значеие 1

Один раз.
Или нет?

0

Там два разных класса

0

Да я вижу. Моё рассуждение относится к любому из классов вообще.
К примеру. взять класс А.
Авторский конструктор есть? Есть. Он вызывается? Вызывается. Вызывается ли какой-то другой? НЕТ. Переменная i инициализируется единцей? Да. Один раз? Да.
Вот о чём речь.

0

А проверить?

A ctor: -858993460 1 B ctor: 1 Для продолжения нажмите любую клавишу . . .

0

В любом случае под переменную a сначала выделится память. Таким образом после обьявления а содержит всяких хлам, и уже в результате выполнения конструктора а = 1;

0

Сообщение от CheshireCat А проверить? C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 #include <iostream> using namespace std;   class A { public:     A()     {         cout << "A ctor:" << endl;         cout << i << endl;           i=1;           cout << i << endl;     } private:     int i; };   class B { public:     B() : i(1)     {         cout << "B ctor:" << endl;           cout << i << endl;     }; private:     int i; };   int main() {     A a;     B b;     return 0; }

Например, в main сначала есть какой-нибуль код, например,
затем идёт объявление объектов:
Так вот, если смотреть в дебаггере, когда там ещё не дошёл до места объявления ни a, ни b, оба этих объекта инициализированы стандартным значением.
В случае класса B в конструкторе i инициализируется раньше, чем остальные переменные, если бы они были и были инициализированны в {}.

0

Это заблуждение. "если смотреть в дебаггере, когда там ещё не дошёл до места объявления ни a, ни b, оба этих объекта....." - так вот, когда еще не дошел до места объявления, еще ни a, ни b просто не существуют (хотя, возможно, компилятор и зарезервировал уже какую-то память для их последующего "существования"), и что там показывает дебагер для несуществующих объектов.... - остается на совести разработчиков этого самого дебагера.

0

Ну, тогда ответ на вопрос:

Сообщение от HIMen Правда ли, что в первом случае (класс А) переменной и сперва будет присвоено значение по умолчанию (-858993460) и только потом 1, а во втором случае(класс В) переменная сразу получит значение 1?

Весьма спорный и зависит от того, когда считать время его инициализации.

0

Нет, тут как раз ничего спорного нет.
Согласно Стандарту, при конструировании сложного объекта выполняются следующие действия:
1. сначала конструируются все базовые классы - в том порядке, в котором они указаны в списке наследования; для каждого из них также выполняется конструирование в точно таком же порядке;
2. затем конструируются все члены класса в том порядке, в котором они указаны в объявлении класса; если член класса указан в списке инициализации, для него вызывается соответствующий конструктор, иначе вызывается конструктор по умолчанию;
3. и наконец, выполняется тело конструктора объекта.
После выполнения этих действий объект начинает "существовать".

Как происходит конструирование объектов класса A:
- поскольку базовых классов (суперклассов) у него нет, то п.1 пропускается;
- конструируется член i. Поскольку он не указан в списке инициализации, то для него вызывается конструктор по умолчанию, а поскольку это POD-тип, то default ctor у него пустой и ничего не делает - вменяемый компилятор его просто отимизирует (выкидывает из кода). Непосредственно начиная с этого момента, у нас уже существует "живой" член i, имеющий некое случайное значение.
- наконец, выполняется тело конструктора класса A. В момент начала выполнения тела конструктора член i имеет какое-то случайное значение, и только в теле конструктора члену i присваивается значение 1.

Как конструируется объект класса B:
- поскольку базовых классов (суперклассов) у него нет, то п.1 пропускается;
- конструируется член i. Поскольку он указан в списке инициализации и это POD-тип, то для него выполняется инициализация сразу заданным значением. Непосредственно начиная с этого момента, у нас уже существует "живой" член i, имеющий строго заданное значение 1.
- наконец, выполняется тело конструктора класса B (пустое). В момент начала выполнения тела конструктора член i уже имеет значение 1 - как и было задано в списке инициализации.

Все это как раз и видно в тестовом коде.

0