С учетом следующего кода:
class temp
{
public:
string str;
int num;
};
int main()
{
temp temp1;
temp temp2 = temp();
cout << temp1.str << endl; //Print ""
cout << temp2.str << endl; //Print ""
cout << temp1.num << endl; //Print a rand num
cout << temp2.num << endl; //Print 0
}
В чем разница между этими двумя? —
temp temp1;
и
temp temp2 = temp();
temp temp1;
Это вызывает конструктор по умолчанию temp по умолчанию в экземпляре temp1.
temp temp2 = temp();
Это вызывает конструктор по умолчанию temp по временному объекту, затем вызывает созданный компилятором экземпляр-конструктор на temp2 с временным объектом в качестве аргумента (это, конечно, предполагает, что компилятор не удаляет копии; зависит от ваших настроек оптимизации компилятора).
Что касается того, почему вы получаете разные инициализированные значения, применим раздел 8.5 стандарта:
T означает:
T является скалярным типом (3.9), объект устанавливается в значение 0 (ноль), преобразованное в T;T - тип неединичного класса, каждый нестатический член данных и каждый подобъект базового класса инициализируются нулем;T - это тип объединения, объекты, сначала названные членами данных, инициализируются нулем;T - тип массива, каждый элемент инициализируется нулем;T является ссылочным типом, инициализация не выполняется.Для инициализации по умолчанию объекта типа T означает:
T - тип класса не-POD (раздел 9), вызывается конструктор по умолчанию для T (и инициализация плохо сформирована, если T не имеет доступного конструктора по умолчанию);T - тип массива, каждый элемент инициализируется по умолчанию;Для инициализации объекта с типом T означает:
T - это тип класса (раздел 9) с объявленным пользователем конструктором (12.1), тогда вызывается конструктор по умолчанию для T (и инициализация плохо сформирована, если T не имеет доступного конструктор по умолчанию);T - это неединичный тип класса без конструктора, объявленного пользователем, то каждый нестатический элемент данных и компонент базового класса T инициализируются значением;T - тип массива, тогда каждый элемент инициализируется значением;
Итак, теперь, когда правила были изложены, давайте посмотрим, как они применяются:
temp temp1;
temp является не-POD-типом (поскольку он имеет член std::string), и поскольку для temp1 не указан инициализатор, он будет инициализирован по умолчанию (8.5/9). Это вызывает конструктор по умолчанию (8.5/5). temp имеет неявный конструктор по умолчанию (12/7), который по умолчанию инициализирует член std::string, а элемент int вообще не инициализируется (12.6.2/4).
temp temp2 = temp();
С другой стороны, временный объект temp инициализируется значением (8.5/7), значение которого инициализирует все члены данных (8.5/5), который вызывает конструктор по умолчанию в элементе std::string и ноль -инициализирует член int (8.5/5).
Конечно, если вам больше не нужно ссылаться на стандарт в 5+ разных местах, просто убедитесь, что вы явно инициализируете все (например, int i = 0; или используя списки инициализаторов).
Поведение вашего кода критически зависит от используемого вами компилятора. Точнее, это зависит от версии версии языка, которую реализует ваш компилятор.
Для компиляторов С++ 98 обе декларации одинаково влияют на конечные значения объявляемых объектов: член str должен быть пуст, а члены num должны содержать непредсказуемое значение. В обоих случаях фактическая инициализация - инициализация по умолчанию, выполняемая конструктором по умолчанию класса temp, предоставленным компилятором. Этот конструктор по умолчанию инициализирует str, но оставляет num неинициализированным.
Для компиляторов С++ 03 поведение отличается. Нет никакой разницы для объекта temp1 (его num по-прежнему непредсказуем). Но инициализация temp2 обрабатывается по-разному. В С++ 03 инициализатор () запускает новый тип инициализации - так называемую инициализацию значения. Инициализация значения игнорирует предоставленный компилятором конструктор по умолчанию для объекта верхнего уровня и вместо этого работает непосредственно над его подобъектами (в этом случае членами данных). Таким образом, объект temp2 эффективно инициализируется инициализацией значения, которая также устанавливает член num в ноль (в дополнение к инициализации str с пустой строкой). По этой причине temp2.num заканчивается равным нулю в компиляторах С++ 03.
Если в ваших экспериментах вы наблюдали согласованный ноль в temp2.num, это означает, что ваш компилятор следует спецификации С++ 03 в этом отношении.
temp temp1;
Создает инициализированный объект temp по умолчанию. Поскольку вы не создали конструктор по умолчанию для temp, каждый элемент temp также будет инициализирован по умолчанию. Поскольку std::string предоставляет значение по умолчанию ctor, он получает правильную инициализацию и имеет четко определенное значение. Целое число, однако, получает инициализацию по умолчанию, которая определяется реализацией и обычно является случайным значением.
temp temp2 = temp();
Сначала создается значение инициализированного объекта temp. Это важно, потому что сам объект инициализируется значением, так же как и его члены. Это не имеет значения для строки, поскольку инициализация по умолчанию и значения одинаковы, но это важно для целого. Целое число, инициализированное значением, имеет значение 0.
После этого вы просто скопируете эти члены в temp2.
Кроме того, этот важный вопрос может вас заинтересовать. Изменить. См. мой комментарий на @In silico для объяснения причин, почему это не относится к MSVC.:/