При создании класса конструктор вызывается 2 раза, затем вызывается деструктор о_О

@Виктор_Сен · Регистрация: 01.08.2011

Студворк — интернет-сервис помощи студентам

Вот такой код

C++

class A
{
public:
    A(){}
    virtual ~A(){}
};
 
class C
{
public:
    C(A a){}
    ~C(){}
    C(C& c){}
};
 
int main()
{
    C c=C(A());
 
    system("pause");
    return 0;
}

Если посмотреть в отладчике, то видно, что конструктор C() вызывается 2 раза, причём второй раз конструктор копирования. Я понимаю, если бы это было с конструктором A(), т. к. A() передаётся по значению. Но ни могу понять почему именно конструктор C(). Причём если деструктор класса A сделать не виртуальным, то конструктор класса C() будет вызываться 1 раз. С чем это связано?

alsav22 · 28.10.2013, 14:41

Сообщение от Виктор_Сен

Но ни могу понять почему именно конструктор C().

При инициализации объекта (с) другим объектом (созданным с помощью C(A())), вызывается конструктор копирования.

@Hunter13ua · 28.10.2013, 14:43

1. Вызывается конструктор А
2. Вызывается конструктор копий С
3. Вызывается деструктор А
Что странного?

alsav22 · 28.10.2013, 14:51

С виртуальностью - 1 скрин, и без виртуальности - 2 скрин.

C++

#include <iostream>
using namespace std;
 
class A
{
public:
    A(){cout << "A()" << endl;}
    virtual ~A(){cout << "~A()" << endl;}
};
 
class C
{
public:
    C(A a){cout << "C(A a)" << endl;}
    ~C(){ cout << "~C()" << endl;}
    C(C& c){ cout << "C(C &c)" << endl;}
};
 
int  main()
{
    C c = C(A());
 
    system("pause");
    return 0;
}

@Виктор_Сен · 28.10.2013, 14:51 **[ТС]**

Сообщение от Hunter13ua

1. Вызывается конструктор А
2. Вызывается конструктор копий С
3. Вызывается деструктор А
Что странного?

То, что Вы написали, НЕ странно. Странно то, что вызывается 2 раза конструктор для объекта C. На левом скриншоте это выделено

Assembler

call C::C
...
call C::C
...
call C::~C
...

alsav22 · 28.10.2013, 14:55

Сообщение от Виктор_Сен

Странно то, что вызывается 2 раза конструктор для объекта C.

Что в этом странного? Первый раз просто конструктор: C(A()), второй раз конструктор копирования, для инициализации этим, созданным объектом, объекта c.

@Max Dark · 28.10.2013, 15:02

C++

// код
C c = C(A());
// равносилен
A a;
C temp(a);
C c(temp);

@Виктор_Сен · 28.10.2013, 15:14 **[ТС]**

Сообщение от alsav22

С виртуальностью - 1 скрин, и без виртуальности - 2 скрин.

Сообщение от alsav22

При инициализации объекта (с) другим объектом (созданным с помощью C(A())), вызывается конструктор копирования.

Тут другого объекта нет. Тут только объект (с). Получается, что создаётся временный объект C(A())), потом от него инициализируется уже (c). Вот я и не понимаю, зачем это нужно, если при первом вызове конструктора объект уже есть... Как я полагаю, конструктор копирования срабатывает при инициализации объекта уже готовым объектом. Но тут получается заранее готового объекта нет. Он создаётся только для того, чтобы вызвать конструктор копирования, зачем это нужно, если при первом вызове конструктора у нас фактически уже есть нужный объект. И потом без виртуальности этого не происходит, т. е. конструктор для (C) вызывается 1 раз, значит в принципе конструктор копирования не нужен здесь, это ведь не не инициализация от готового объекта по сути, это просто инициализация через вызов конструктора. Что такого есть в виртуальности, что компилятор генерирует вызов ещё и конструктора копирования?

Добавлено через 5 минут

Сообщение от alsav22

Что в этом странного? Первый раз просто конструктор: C(A()), второй раз конструктор копирования, для инициализации этим, созданным объектом, объекта c

Зачем это нужно, если можно вызвать конструктор (не копирования) сразу для (С)?

Добавлено через 1 минуту

Сообщение от Cra3y

C++

// код
C c = C(A());
// равносилен
A a;
C temp(a);
C c(temp);

Если бы было так, то без виртуальности вывод на левом скриншоте и правом совпадали бы. Тут ключевой момент именно в виртуальности. Без неё конструктор копирования не вызывается.

Добавлено через 2 минуты
И если передавать класс (A) по ссылке, то и с виртуальностью, и без виртуальности конструктор копирования не вызывается. Значит всё-таки код

C++

1	C c = C(A());

и

C++

1
2
3

A a;
C temp(a);
C c(temp);

не равносильны.

@Hunter13ua · 28.10.2013, 15:14

Так зачем писать было

C++

1	C c = C(A());

Что бы работало, как я написал:

C++

C c(A());

Или я чего-то не понимаю в вашем вопросе?

@Виктор_Сен · 28.10.2013, 15:20 **[ТС]**

C++

#include <iostream>
using namespace std;
 
class A
{
public:
    A(){cout<<"A()"<<endl;}
    virtual ~A(){cout<<"~A()"<<endl;}
};
 
class C
{
public:
    C(A& a){cout<<"C(A())"<<endl;}
    ~C(){cout<<"~C()"<<endl;}
    C(C& c){cout<<"C(C& c)"<<endl;}
};
 
int main()
{
    C c=C(A());
 
    system("pause");
    return 0;
}

Такой код например уже даёт вывод
A()
C(A())
~A()

Добавлено через 2 минуты

Сообщение от Hunter13ua

Что бы работало, как я написал:
Код C++
1
C c(A());

Так вообще ни какого вывода нет, т. к. вот что:
Предупреждение 1 warning C4930: C c(A (__cdecl *)(void)): функция с прототипом не вызвана (предполагалось определение переменной?) D:\documents\Visual Studio 2010\Projects\LSD\LSD\main.cpp 26 1 LSD

@Shtirliz72 · 28.10.2013, 15:22

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

@Виктор_Сен · 28.10.2013, 15:25 **[ТС]**

Сообщение от Hunter13ua

Или я чего-то не понимаю в вашем вопросе?

Всё-таки при определении переменной нужен знак равенства, и при определении переменной, как я понимаю, этот знак равенства эквивалентен не копированию, а созданию "с нуля" переменной, если справа от знака равенства нет уже существующей переменной (которая связана с буквой, её обозначающей).

@Max Dark · 28.10.2013, 15:28

У меня это не компилится %)

Код

max@notebook:~/src/tests$ g++ c.cpp
c.cpp: In function ‘int main()’:
c.cpp:21:16: error: no matching function for call to ‘C::C(A)’
     C c = C(A());
                ^
c.cpp:21:16: note: candidates are:
c.cpp:16:5: note: C::C(C&)
     C(C& c){ cout << "C(C &c)" << endl;}
     ^
c.cpp:16:5: note:   no known conversion for argument 1 from ‘A’ to ‘C&’
c.cpp:14:5: note: C::C(A&)
     C(A &a){cout << "C(A a)" << endl;}
     ^
c.cpp:14:5: note:   no known conversion for argument 1 from ‘A’ to ‘A&’
max@notebook:~/src/tests$ g++ --version
g++ (Ubuntu/Linaro 4.8.1-10ubuntu8) 4.8.1

@ForEveR · 28.10.2013, 15:35

C++

1	C c=C(A());

Есть инициализировать объект C объектом, получившемся из использования C(A()), используя конструктор копирования (или не используя, зависит от copy-elision).
Без конструктора копирования нужно:

C++

1	C c((A()));

Ну и да, код не скомпилируется, т.к. на временную переменную нельзя создать ссылку (скомпилируется только в студии).

@Виктор_Сен · 28.10.2013, 15:35 **[ТС]**

У меня нормально компилится

C++

#include <iostream>
using namespace std;
 
class A
{
public:
    A(){cout<<"A()"<<endl;}
    virtual ~A(){cout<<"~A()"<<endl;}
    A(A& a){cout<<"A(A& a)"<<endl;}
};
 
class C
{
public:
    C(A a){cout<<"C(A())"<<endl;}
    ~C(){cout<<"~C()"<<endl;}
    C(C& c){cout<<"C(C& c)"<<endl;}
};
 
int main()
{
    C c=C(A());
 
    system("pause");
    return 0;
}

Вот вывод

alsav22 · 28.10.2013, 15:36

Сообщение от Виктор_Сен

Получается, что создаётся временный объект C(A())), потом от него инициализируется уже (c). Вот я и не понимаю, зачем это нужно, если при первом вызове конструктора объект уже есть...

Потому что код так написан. Спросите у того, кто его писал, зачем он так сделал.

@Виктор_Сен · 28.10.2013, 15:38 **[ТС]**

Сообщение от ForEveR

Без конструктора копирования нужно:
Код C++
1
C c((A()));

Так у меня вообще ни какой конструктор не вызывается. И варинг появляется:
Предупреждение 1 warning C4930: C c(A (__cdecl *)(void)): функция с прототипом не вызвана (предполагалось определение переменной?) D:\documents\Visual Studio 2010\Projects\LSD\LSD\main.cpp 27 1 LSD

Добавлено через 1 минуту

Сообщение от alsav22

Потому что код так написан. Спросите у того, кто его писал, зачем он так сделал.

А по-другом вообще конструктор не вызывается.

@ForEveR · 28.10.2013, 15:39

Виктор_Сен, На скобки смотрите внимательнее. Точнее на кол-во скобок.

@Виктор_Сен · 28.10.2013, 15:42 **[ТС]**

Но без виртуальности вызова конструктора копирования нет. В этом видимо причина.

@ForEveR · 28.10.2013, 15:42

А вообще вот, почитайте: Как работает компилятор при создании объекта недавно была тема именно про это.

@Виктор_Сен 36 / 29 / 2 Регистрация: 01.08.2011 Сообщений: 176
	28.10.2013, 15:25 [ТС]	12
	Сообщение от Hunter13ua Или я чего-то не понимаю в вашем вопросе? Всё-таки при определении переменной нужен знак равенства, и при определении переменной, как я понимаю, этот знак равенства эквивалентен не копированию, а созданию "с нуля" переменной, если справа от знака равенства нет уже существующей переменной (которая связана с буквой, её обозначающей). 0

@Виктор_Сен 36 / 29 / 2 Регистрация: 01.08.2011 Сообщений: 176
	28.10.2013, 15:38 [ТС]	17
	Сообщение от ForEveR Без конструктора копирования нужно: Код C++ 1 C c((A())); Так у меня вообще ни какой конструктор не вызывается. И варинг появляется: Предупреждение 1 warning C4930: C c(A (__cdecl )(void)): функция с прототипом не вызвана (предполагалось определение переменной?) D:\documents\Visual Studio 2010\Projects\LSD\LSD\main.cpp 27 1 LSD Добавлено через 1 минуту* Сообщение от alsav22 Потому что код так написан. Спросите у того, кто его писал, зачем он так сделал. А по-другом вообще конструктор не вызывается. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	28.10.2013, 15:39	18
	Виктор_Сен, На скобки смотрите внимательнее. Точнее на кол-во скобок. 1

@Виктор_Сен 36 / 29 / 2 Регистрация: 01.08.2011 Сообщений: 176
	28.10.2013, 15:42 [ТС]	19
	Но без виртуальности вызова конструктора копирования нет. В этом видимо причина. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	28.10.2013, 14:41	2
	Сообщение от Виктор_Сен Но ни могу понять почему именно конструктор C(). При инициализации объекта (с) другим объектом (созданным с помощью C(A())), вызывается конструктор копирования. 0

@Hunter13ua 46 / 46 / 18 Регистрация: 25.10.2011 Сообщений: 183
	28.10.2013, 14:43	3
	1. Вызывается конструктор А 2. Вызывается конструктор копий С 3. Вызывается деструктор А Что странного? 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	28.10.2013, 14:55	6
	Сообщение от Виктор_Сен Странно то, что вызывается 2 раза конструктор для объекта C. Что в этом странного? Первый раз просто конструктор: C(A()), второй раз конструктор копирования, для инициализации этим, созданным объектом, объекта c. Миниатюры 0

@Shtirliz72 205 / 165 / 41 Регистрация: 25.10.2013 Сообщений: 527
	28.10.2013, 15:22	11
	Вам для полного понимания, надо было бы ещё в A указать ещё конструктор копирования, а то используется конструктор по умолчанию, который ничего не выводит. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	28.10.2013, 15:36	16
	Сообщение от Виктор_Сен Получается, что создаётся временный объект C(A())), потом от него инициализируется уже (c). Вот я и не понимаю, зачем это нужно, если при первом вызове конструктора объект уже есть... Потому что код так написан. Спросите у того, кто его писал, зачем он так сделал. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	28.10.2013, 15:42	20
	А вообще вот, почитайте: Как работает компилятор при создании объекта недавно была тема именно про это. 1