Переменные инициализации и конструкторы

Question

В настоящее время я занимаюсь курсом C++ и пытаюсь получить глубокое понимание всего этого. я придумал несколько теорий, было бы здорово, если бы кто-то может подтвердить их:

Каждого переменный (локальный, глобальный, staic, член и не член) гарантировано иметь его т е р Вызываются перед первым использованием

Кортики примитивов, таких как int, по существу, не являются операциями, поэтому мы явно назначаем значение, но по умолчанию нет нулевого значения.

следующие классы семантически одинаковы (и должен генерировать идентичный код)

class A 
{ 
    int n; 
}; 

и

class A 
{ 
    int n; 
public: 
    A() : n() {} 
}; 

и

class A 
{ 
    int n; 
public: 
    A() { n = int(); } 
}; 

Переменная п в каждом случае по-прежнему неинициализированным ,

EDIT:

Казалось, что я absolutetly недооценивать сложность этого вопроса, большинство моих предположений были неправы. Теперь я все еще пытаюсь выяснить основные правила инициализации объекта.

Answer 1

Вы можете найти this интересное.

Разница между новым Foo и новым Foo() является то, что бывшим будет неинициализированными и последним будет по умолчанию инициализируется (до нуля), когда Foo типа POD. Таким образом, если не используется формы с скобками, член «а» может содержать мусор, но с круглыми скобками «а» всегда будет инициализирован 0.

Answer 2

Боюсь, вы ошибаетесь. Когда вы говорите:

int n = int(); 

Тогда n (и все другие типы POD) инициализируется нолем.

Кроме того, убедитесь, что вы очень ясно в вашем уме о разнице между инициализацией и назначением - это очень важно, в C++:

int n = int(); // initialisation 
n = 0;   // assignment 

Answer 3

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

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

Встроенные типы (и структуры «простых старых данных») могут быть оставлены неинициализированными, как в первом примере. Хотя они не имеют созданных пользователем конструкторов, использование синтаксиса конструкции (два других примера) инициализирует их до нуля.

Причина этого слегка сложного правила заключается в том, чтобы избежать чрезмерных накладных расходов; Например, если вы определили:

struct S 
{ 
    int array[1024*1024]; 
}; 

с целью только присвоение значений, как вам они нужны, вы не хотели бы, чтобы компилятор обелить 4Мбы памяти нулей всякий раз, когда вы строите один.

Answer 4

class A 
{ 
    int n; 
}; 

Расположена только память, не выполнена инициализация для n.

---

class A 
{ 
    int n; 
public: 
    A() : n() {} 
}; 

Здесь n инициализируется 0.

---

class A 
{ 
    int n; 
public: 
    A() { n = int(); } 
}; 

Здесь n сначала сконструированной (без стоимости любого по умолчанию), то int() вызывает временную Int быть созданный со значением 0 , который затем присваивается n;