Что будет с объектом если вызвать несколько раз его конструкторы?

Question

[sddvxd]

Здравствуйте

//source.cpp
CClass::CClass(){} //Первый конструктор
CClass::CClass(int a){} //Второй конструктор

//main.cpp

CClass obj; //вызываем первый конструктор

obj = 1; //вызываем второй конструктор

Что происходит с объектом когда мы вызываем второй раз конструктор? Просто выполняется код второго конструктора или объект создается заново?

Comments

[longclaps]

CClass obj; //вызываем первый конструктор
чота ржу

[sddvxd]

longclaps, да, так вызывается конструктор по умолчанию или конструктор без параметров))

[longclaps]

sddvxd, вы уверены, что достаточно объявления переменной, а инициализация происходит по умолчанию?
А если, например, вы объявите большой массив объектов, имея ввиду затем потихоньку его заполнить - по нему всё равно пройдётся конструктор по умолчанию?

[Евгений Шатунов]

//вызываем второй конструктор

Это не так, тут конструктор второй раз не вызывается.

Джефф Элджер - "Библиотека программиста: C++" (C++ for real programmers).
Книга старая, но все равно советую почитать. Дядька интересно и доходчиво излагает. Потом уже и Скотта Мейерса почитать можно будет.

[Максим Мосейчук]

longclaps, да, все элементы массива проинициализируются автоматически. Попробуйте создать массив из объектов класса без дефолтного конструктора. Компилятор вам этого не даст.

Но можно выделить неинициализированную область под объекты через malloc.

[Евгений Шатунов]

longclaps

А если, например, вы объявите большой массив объектов ... по нему всё равно пройдётся конструктор по умолчанию?

Интересно, и каково же будет поведение при вот такой записи?
CClass objs[512];

[sddvxd]

longclaps, я думаю вам стоит попробовать воспроизвести мой код без написания конструктора без аргументов. Посмотрим, пропустит ли это компилятор:)

[Максим Мосейчук]

longclaps,

затем потихоньку его заполнить - по нему всё равно пройдётся конструктор по умолчанию

Потихоньку заполнить не получится. Все объекты инициализируются при создании массива. А затем вы будете создавать новые объекты и присваивать их значение старым в массиве. Итого вы создадите в 2 раза больше объектов, чем требовалось.

Если хотите потихоньку, то лучше создать пустой vector c необходимым capacity, а затем заполнять его через emplace_back. Тогда создастся лишь нужное количество объектов.

[longclaps]

fshp, Евгений Шатунов, sddvxd shame on me - сплюсплюснутые правила в моей голове поела моль за невостребованностью, и их заместили более другие паттерны )

Answer 1

[Максим Мосейчук]

Вторая запись это не вызов конструктора, а оператор присваивания.

Сначала создавасться новый временный объект через второй конструктор (т.к. конструктор является implicit, то допустимо неявное преобразование из int в CClass). Затем у первого объекта вызовется оператор присваивания с временным объектом в качестве параметра.

В C++ без сложных манипуляций невозможно второй раз вызвать конструктор.

Фактически ваш код эквивалентен этому:

CClass obj(); // на самом деле так писать нельзя, это не вызов конструктора а объявление функции

obj = CClass(1);

Comments

[sddvxd]

Разве оператор присваивания - это не есть вызов конструктора с одним аргументом?

[Максим Мосейчук]

sddvxd, нет.

Foo(const Foo &foo); // Конструктор копирования
Foo(int i); // Неявный конструктор
Foo& Foo::operator= (const Foo &foo); // Оператор присваивания

[Максим Мосейчук]

sddvxd, вы можете определить свой оператор присваивания, в котором аргумент будет иметь тип int. Тогда никакого временного объекта не будет создаваться и не будет вызван автоматически сгенерированный оператор присваивания. Вместо этого будет вызвана ваша явная реализация.

Или вы можете пометить второй конструктор квалификатором explicit, тогда запись obj = 1; будет некорректной.

[Максим Мосейчук]

sddvxd, Вообщем тут много чего интересного
en.cppreference.com/w/cpp/language/converting_cons...
en.cppreference.com/w/cpp/language/copy_constructor
en.cppreference.com/w/cpp/language/copy_assignment
en.cppreference.com/w/cpp/language/explicit

[sddvxd]

fshp, может быть я не так выразился - метод конструктора все равно вызывается при присваивании пользовательскому типу int если есть на это кандидат.

CClass::CClass(){}
CClass::CClass(int a){
std::(cout<<"invoked");
}

Просто тогда теряется в нем смысл, ведь сам по себе конструктор - лишь факт создания объекта, а соответственно мой вопрос закрыт

[sddvxd]

fshp, А значит конструктор вызывается всего 1 раз и последующие его вызовы к созданию объекта никак не причастны

[Максим Мосейчук]

sddvxd, причастны. Только создаётся новый объект, конструктор вызывается, но не у obj. У obj вызывается метод присваивания.

[sddvxd]

fshp, хорошо, а как вы объясните это?

//source.cpp
CClass::CClass(){
b = 1;
}
CClass::CClass(int a){}

//main.cpp
CClass obj;
obj = 123;

cout<<obj.b; //Не 1.

[sddvxd]

fshp, Значит все-таки мы заново создаем объект этим присваиванием?) Заранее извините, может вы так изначально выразились но я вас не понял

[sddvxd]

fshp, а, все, извиняюсь. Вы правы, спасибо за ответы

[Максим Мосейчук]

sddvxd, объект не создаётся заново. Просто у него вызывается функция, которая изменяет все его поля. Объект будет располагаться в том же месте в памяти. Деструктор у него не будет вызван. Это тот же самый объект, все ссылки и указатели на него продолжат быть валидными.

Но объект мы создаём да, только другой. Временный, у него нет имени по которому к нему можно обратится. Из него то и берутся новые значения, на которые поменяются поля в объекте obj.

Он будет разрушен сразу после выхода из оператора присваивания.

[Максим Мосейчук]

sddvxd, "хорошо, а как вы объясните это?"

У вас в конструкторе с параметром не инициализируется переменная "b". В ней будет любое случайное число, которое будет скопировано в obj. Поэтому значение obj.b после оператора присваивание может получится любым.

[Roman]

sddvxd,

#include <iostream>

using namespace std;

class A
{
    int myint;
public:
    A():myint(0)
    {
    cout<<"Is A() "<<myint<<endl;
    }
    A(int i):myint(i)
    {
    cout<<"Is A(int) "<<myint<<endl;
    }

};


int main()
{
    A a;
    a = 1;
    A b = 2;
    A c(3);
    A(4);
    A() = 5;
    a = 7;
    return 0;
}

Is A() 0
Is A(int) 1
Is A(int) 2
Is A(int) 3
Is A(int) 4
Is A(int) 5
Is A() 0
Is A(int) 7

[Максим Мосейчук]

Роман, ваш пример только запутывает.

"Is A() 0
Is A(int) 1"

Выглядит, как будто у "a" вызывается второй раз конструктор. Нужно всё логировать.

sddvxd

#include <iostream>
#include <string>

using namespace std;

class Foo
{
private:
	string m_name;
	const string m_name_on_born;

public:

	Foo (const string &name): m_name(name), m_name_on_born(name) {
		cout <<"Hi! I am " << m_name << endl;
	}

	~Foo() {
		cout << m_name << " (on born be " << m_name_on_born << ") be destructed" << endl;
	};

	Foo& operator=(const Foo &other) {
		cout <<"Hi! I am " << m_name << ". ";
		cout << "But i be renamed to " << other.m_name << endl;

		m_name = other.m_name;

		return *this;
	}

};

int main(int argc, char const *argv[])
{
	Foo foo("foo");
	foo = string("tmp");

	return 0;
}

Hi! I am foo
Hi! I am tmp
Hi! I am foo. But i be renamed to tmp
tmp (on born be tmp) be destructed
tmp (on born be foo) be destructed

[Roman]

#include <iostream>

using namespace std;

class A
{
    int myint;
public:
    A():myint(0)
    {
    cout<<"A():myint(0) myint == "<<myint<<endl;
    }
    A(int i):myint(i)
    {
    cout<<"A(int i):myint(i) myint == "<<myint<<endl;
    }
    ~A()
    {
        cout<<"delete A()"<<endl;
    }
    /*A& operator=(int i)
    {
        myint = i;
        cout<<"operator=(int &i) myint == "<<myint<<endl;
        return *this;
    }*/
};


int main()
{
    A a;
    a = 2;

    return 0;
}

A():myint(0) myint == 0
A(int i):myint(i) myint == 2
delete A()
delete A()

вызывается конструктор

если раскомментировать operator=
вызывается он.

A():myint(0) myint == 0
operator=(int &i) myint == 2
delete A()

[Максим Мосейчук]

Роман, но не у объекта "a", а у нового временного безымянного объекта.

[Максим Мосейчук]

Роман, добавьте в конструкторы вывод адреса this, что бы убедится, что конструкторы вызываются у разных объектов.

[Максим Мосейчук]

Роман,

#include <iostream>

using namespace std;

class A
{
    int myint;
public:
    A():myint(0)
    {
    cout<< this << " A():myint(0) myint == "<<myint<<endl;
    }
    A(int i):myint(i)
    {
    cout<< this << " A(int i):myint(i) myint == "<<myint<<endl;
    }
    ~A()
    {
        cout<< this << " delete A()"<<endl;
    }
};


int main()
{
    A a;
    a = 2;

    return 0;
}

0x7fffd81f0450 A():myint(0) myint == 0
0x7fffd81f0454 A(int i):myint(i) myint == 2
0x7fffd81f0454 delete A()
0x7fffd81f0450 delete A()

[Максим Мосейчук]

Роман,

https://ideone.com/DL3LGT вот так ну совсем должно быть понятно.

[Roman]

fshp, Спасибо освежили память.

[jcmvbkbc]

В C++ без сложных манипуляций невозможно второй раз вызвать конструктор.

placement new же

[Максим Мосейчук]

jcmvbkbc, при placement new технически у вас создастся новый объект на той же области памяти. Но все равно это уже тонкости, в которые не стоит вдаваться новичку.

[sddvxd]

fshp, Здравствуйте! Почитал еще по моему вопросу, выяснил вот такую последовательность:

- Создание временного объекта
- Вызов конструктора копирования у временного объекта (Type (const Type&))
- Выполняется почленное копирование из временного объекта в новый
- Удаляется временный объект

[Максим Мосейчук]

sddvxd, "Вызов конструктора копирования у временного объекта (Type (const Type&))"

У конструктора копирования в качестве параметра используется тот же тип. Он используется только тогда, когда вы впервые инициализируете объект.

Оператор присваивания и конструктор копирования это разные вещи.

CClass obj; //вызываем первый конструктор

obj = 1; // оператор присваивания

CClass obj2 = obj; // Конструктор копирования

[sddvxd]

fshp, Он еще используется когда его передают как копию, когда возвращается из функции копия

[sddvxd]

sddvxd, Оператор присваивание же в данном случае вызывает конструктор копирования временного объекта, чтобы присвоить все поля объекту слева

[sddvxd]

fshp, Стивен Прата, глава 12, страница 603

[Максим Мосейчук]

sddvxd,

"Он еще используется когда его передают как копию, когда возвращается из функции копия"

Верно.

"Оператор присваивание же в данном случае вызывает конструктор копирования временного объекта"

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

Вам стоит разобраться что такое неявное преобразование типов и узнать о ключевом слове explicit.

[sddvxd]

fshp, Хорошо, сейчас я создам конструктор копирования и посмотрю, сработает ли он при присваивании

[sddvxd]

fshp, про explicit знаю (запрет на неявные преобразования типов)

[Максим Мосейчук]

sddvxd, "Стивен Прата, глава 12, страница 603"
Скрин или фото кода про который речь идёт в книге пришлите. Так ничего не понятно.

[sddvxd]

fshp, Я имел ввиду все факты вызова конструктора копирования
Действительно, не вызывается при присваивании. Я думаю мне лучше полностью освоить материал прежде чем задавать вопросы

Answer 2

[Wexter]

Кто сказал что второй раз вызывается конструктор?
Второй раз вы вызываете оператор =, если он у вас переопределён. А иначе вам конпелятор намекнёт на вашу профнепригодность

Comments

[Максим Мосейчук]

Компилятор автоматически генерирует оператор присваивания, который копирует объект побайтово.

[Wexter]

fshp, даже если вы пытаетесь присвоить ему int?

[Евгений Шатунов]

Wexter , у него там конструктор преобразования неявный.

[Максим Мосейчук]

Wexter, да. Код в посте это сокращенная запись этого:

CClass obj();

obj = CClass(1);

[jcmvbkbc]

Компилятор автоматически генерирует оператор присваивания, который копирует объект побайтово.

fshp, не побайтово, нет таких слов в стандарте. Конструкторы копирования и операторы присваивания копируют объекты по полям:

The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move of its bases and members.

The implicitly-defined copy/move assignment operator for a non-union class X performs memberwise copy/move assignment of its subobjects.

[jcmvbkbc]

Код в посте это сокращенная запись этого:

CClass obj();
obj = CClass(1);

fshp, CClass obj(); сильно отличается от CClass obj;

[Максим Мосейчук]

jcmvbkbc, тут не могу не согласиться, моя ошибка. Спасибо.

[Максим Мосейчук]

jcmvbkbc, ну конечно это объявление функции. Но я хотел этим показать, что без скобок будет вызван конструктор без параметров.