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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#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 вот так ну совсем должно быть понятно.

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

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

placement new же

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

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

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

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

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

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

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

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

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

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

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

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

sddvxd,

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

Верно.

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

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

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

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

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

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

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