Инициализация конструктора

Question

Я читаю «Ускоренный C++» Эндрю Кенига и Барбары Э. Му, и я нахожусь в главе о конструкторах (5.1).

Они упоминают здесь

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

Хотя мы явно инициализировали только midterm и final, другие элементы данных инициализируются неявно. В частности, n инициализируется конструктором по умолчанию string, а homework инициализируется конструктором по умолчанию vector.

Класс они говорят о том,

class Student_info { 
public: 
    std::string name() const (return n;} 
    bool valid() const {return !homework.empty();} 
    std::istream& read(std::istream&); 

    double grade() const; 
private: 
    std::string n; 
    double midterm, final; 
    std::vector<double> homework; 
}; 

и их конструктор по умолчанию является

Student_info::Student_info(): midterm(0), final(0) {} 

Я просто хотел бы уточнить, что это означает, что такие вещи, как int и double где ISN 't a std:: до того, как этот термин нужно будет инициализировать конкретно?

Answer 1

Это правильно.
Но std :: это не то, что вы ищете.

Любой из основных типов не инициализируется, если вы не сделаете это явно.

Так char/int/float/pointers и т. Д. Также (как указано в Ian ниже) любой класс/союзы без явного конструктора по умолчанию инициализируют его члены (что означает фундаментальное (и рекурсивно для членов s класса/union без и явного конструктора), что они остаются неопределенными).

Примечание стороны:

• Это правило относится к автоматической и динамической продолжительности хранения объектов
• Статические и хранения нити объекты продолжительность равны нулю инициализирован.

Answer 2

и double - это встроенные типы, а не классы, поэтому они не имеют конструкторов по умолчанию и по умолчанию не определены. Например:

int a; 
Student_info s; 

Синтаксис для обоих переменных одно и то же, но значение a не определено, в то время как значение s определено, потому что Student_info s фактически вызывает конструктор, т.е. Student_info s = Student_info();.

Answer 3

Автор просто пытается показать конструктор по умолчанию, где все по умолчанию используется как эквивалент 0. Для строки и вектора они будут пусты. Для примитивных типов, таких как int и double, начальное значение этих примитивов во время объявления по умолчанию имеет значение, которое было в памяти, на которую указывает переменная. Это зависит от компилятора, хотя

Answer 4

Это не относится к пространству имен std. n и домашнее задание являются классами, их конструктор будет вызываться во время построения Student_info. Но среднесрочные и конечные - это примитивные ценности, для них нет конструкторов. Инициализировать примитивный элемент в конструкторе необязательно, но хорошо.

Answer 5

Есть еще к этому.

1) Для примитивным или встроенных типов, неявно инициализации (или компилятор инициализирован) не означает, что не-оп (ничего не делает).

2) Для примитивным или встроенных типов, явно инициализируется (или инициализация программистом) очевидно :)

Как и в вашем примере:

Student_info::Student_info(): midterm(0), final(0) {} 

3) Для непримитивные типы, неявно инициализированы (или компилятор инициализирован) означает, что компилятор может (или не может) синтезировать конструктор с целью инициализации.

Usually, a constructor is synthesized by the compiler under the following cases: 

a) The non-primitive type is polymorphic or derives from some polymorphic/non-polymorphic types, 
b) The non-primitive type has a polymorphic/non-polymorphic member. 

Compiler synthesized constructor will usually have code to 

a) initialize v-pointer to v-table, 
b) call base class constructor, 
c) call constructors of members, so on, 

basically driven by the definition of non-primitive type. 

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

Например, вызывается конструктор по умолчанию, определенный соответствующими не-примитивными типами (например, std :: string или std :: vector).

**

Примечание: Компилятор все еще может увеличить код внутри пользовательского конструктора, чтобы сделать некоторые за кадром инициализации, как это будет необходимо (смотреть на шаг-3 выше для таких нужд) , Такой расширенный код всегда будет вставлен перед пользовательским кодом внутри конструктора!

**