Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.67/24: Рейтинг темы: голосов - 24, средняя оценка - 4.67
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
1

Почему не вызывается конструктор копирования?

05.11.2010, 21:40. Просмотров 4441. Ответов 53
Метки нет (Все метки)

...У меня в книге описаны случаи при которых вызывается конструктор копирования. Один из этих случаев:

: "Когда аргумент имеет тип класса. Создаётся копия аргумента и затем передаётся в функцию"

Ну-с попробуем смоделировать такую ситуацию:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
using namespace std;
 
class baze {
public:
 
 //Конструктр объекта класса baze, заданный по умолчанию
 baze () {printf ("wwwww\n");};
 
 //Эта функция, которая принимает ссыочный аргумент. Следовательно, при её вызове ДОЛЖЕН 
 //вызваться конструктр копирования
 void funktsia(const baze &other){
  printf ("lllll\n");
 }
 
 //А вот и сам конструктр копирования. Он иногда должен вызываться. Где- см. ниже 
 baze (const baze &src) {
  printf ("rrrrr\n");
 }
 
};
 
int main() {
 
 baze f;
 
 //В это месте должен вызываться конструктор копирования, ибо функция funktsia() принимает
 //ссылочный аргумент. Тычем на исполнение и ждём появления строчки "rrrrr"
 f.funktsia(f);
 
 //Но наблюдаем всего лишь "wwwww" (создался объект класса baze) и "lllll" (вызвана функция
 //funktsia () Как она приняла аргумент- для меня до сих пор загадка.)
 //Конструктор копирования не вызван. ПОчему?
 getchar ();
 return 0;
}
Добавлено через 2 минуты
Спасибо заранее
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
05.11.2010, 21:40
Ответы с готовыми решениями:

Почему не вызывается конструктор копирования при возврате объекта из функции
Добрый день! Насколько мне известно, конструктор копирования вызывается:...

НЕ вызывается конструктор копирования
НЕ вызывается конструктор копирования (не явно), как сделать чтобы это было...

Когда вызывается конструктор копирования?
Пожалуйста помогите ответить на вопрос &quot;Когда вызывается конструктор...

Сколько раз вызывается конструктор копирования
Почему n не увеличивается? Point(const Point&amp; src){ n++; set(src.x+1,...

В каких случаях вызывается конструктор копирования, и стоит ли вообще об этом думать?
В книге Г. Шилдта написано, что конструктор копирования может неявно...

53
grizlik78
Эксперт С++
2016 / 1497 / 206
Регистрация: 29.05.2011
Сообщений: 3,117
21.08.2011, 22:45 41
Цитата Сообщение от kravam Посмотреть сообщение
Цирк да и только.
Согласен. Хоть бы версию компилятора указал. У меня поведение не меняется.
0
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
21.08.2011, 23:01  [ТС] 42
Цитата Сообщение от asics Посмотреть сообщение
Да ну...
Баранки гну. Это для демонстрации только, что кк написан и он есть.

Добавлено через 38 секунд
Цитата Сообщение от grizlik78 Посмотреть сообщение
Согласен. Хоть бы версию компилятора указал. У меня поведение не меняется.
g++ (GCC) 3.4.2 (mingw-special)
0
Сыроежка
Заблокирован
22.08.2011, 17:04 43
Цитата Сообщение от kravam Посмотреть сообщение
...У меня в книге описаны случаи при которых вызывается конструктор копирования. Один из этих случаев:

: "Когда аргумент имеет тип класса. Создаётся копия аргумента и затем передаётся в функцию"

Ну-с попробуем смоделировать такую ситуацию:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
using namespace std;
 
class baze {
public:
 
 //Конструктр объекта класса baze, заданный по умолчанию
 baze () {printf ("wwwww\n");};
 
 //Эта функция, которая принимает ссыочный аргумент. Следовательно, при её вызове ДОЛЖЕН 
 //вызваться конструктр копирования
 void funktsia(const baze &other){
  printf ("lllll\n");
 }
 
 //А вот и сам конструктр копирования. Он иногда должен вызываться. Где- см. ниже 
 baze (const baze &src) {
  printf ("rrrrr\n");
 }
 
};
 
int main() {
 
 baze f;
 
 //В это месте должен вызываться конструктор копирования, ибо функция funktsia() принимает
 //ссылочный аргумент. Тычем на исполнение и ждём появления строчки "rrrrr"
 f.funktsia(f);
 
 //Но наблюдаем всего лишь "wwwww" (создался объект класса baze) и "lllll" (вызвана функция
 //funktsia () Как она приняла аргумент- для меня до сих пор загадка.)
 //Конструктор копирования не вызван. ПОчему?
 getchar ();
 return 0;
}
Добавлено через 2 минуты
Спасибо заранее
Никакой конструктор-копирования в вашем примере не должен вызываться, так как параметром вашей функции является константная ссылка на объект. То есть никакого нового объекта вы не создаете.
0
grizlik78
Эксперт С++
2016 / 1497 / 206
Регистрация: 29.05.2011
Сообщений: 3,117
22.08.2011, 17:07 44
Цитата Сообщение от Сыроежка Посмотреть сообщение
Никакой конструктор-копирования в вашем примере не должен вызываться, так как параметром вашей функции является константная ссылка на объект. То есть никакого нового объекта вы не создаете.
Ну хватит уже "капитанить", а? Это написано в первом же ответе на исходный пост, почти год назад.
1
Сыроежка
Заблокирован
22.08.2011, 17:08 45
Цитата Сообщение от kravam Посмотреть сообщение
Стоп-стоп. Ребята, в этой же книге определён синтаксис конструктора копирования, а вы оба от него отошли. Синтаксис такой: (дословно)

"Синтаксис для объявления конструктора копирования следующий:
имя_класса (имя_класса const & источник)"

То есть надо именно так.

Unforgiven_00,
я Вам больше скажу, в книжке написано, что ваш вариант исползовать нельзя и даже описано почему нельзя. ПОка не буду на этом заострять внимания (если чё после аргументирую)

Итак, вопрос остаётся открытым
Мне стало очень любопытно, не могли бы вы пояснить, что там написано в книжке, что приведенный пример Unforgiven_00, не будет работать?!
0
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
22.08.2011, 18:00  [ТС] 46
Сыроежка, с тем разобрались уже, я по запарке думал что написан КК, а там просто функция, использующая КК.
Да и вообще со всем разобрались; но я не мог не отметить один факт, обнаруженный вчера, повторю его:
если хочешь, чтобы КК не вызывался- НАПИШИ ЕГО.
если хочешь, чтобы КК вызывался- НЕ ПИШИ ЕГО

И ниже я описал пример и компилятор с таким поведением.
0
LosAngeles
Заблокирован
22.08.2011, 18:08 47
Цитата Сообщение от kravam Посмотреть сообщение
если хочешь, чтобы КК не вызывался- НАПИШИ ЕГО.
если хочешь, чтобы КК вызывался- НЕ ПИШИ ЕГО
чооо0?
0
Сыроежка
Заблокирован
22.08.2011, 18:12 48
Цитата Сообщение от kravam Посмотреть сообщение
Сыроежка, с тем разобрались уже, я по запарке думал что написан КК, а там просто функция, использующая КК.
Да и вообще со всем разобрались; но я не мог не отметить один факт, обнаруженный вчера, повторю его:
если хочешь, чтобы КК не вызывался- НАПИШИ ЕГО.
если хочешь, чтобы КК вызывался- НЕ ПИШИ ЕГО

И ниже я описал пример и компилятор с таким поведением.
Нет, это вы что-то фантазируете. Бывают случаи, когда для оптимизации конструктор копирования опускается и вызывается обычный конструктор.

Например,

C++
1
2
3
4
5
6
7
8
9
10
11
struct A
{
   A( int i ) :x( i ) {}
   A( const A &rhs ) : x( rhs.x ) {}
   int x;
};
 
int main()
{
   A a = 10;
}
В этом случае сначала должен вызываться конструктор с параметром для создания временного объекта типа A, а затем конструктор копирования для копирования этого временного объекта переменной 'a'.. НО компилятор может упростить работу и сразу же вызвать конструктор с параметром для переменной 'a'.

Но при этом все равно проверяется доступность конструктора копирования. То есть если вы, например, объявите конструктор копирования как private, код не будет компилироваться, даже если вызов конструктора копирования компилятором пропускается для оптимизации кода.
0
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
22.08.2011, 18:13  [ТС] 49
Да блин я сам удивился. Смотри вывод!
Ну, конечно, если ты его не напишешь, то вызовется стандартный. А узнать это можно по адресам!
 Комментарий модератора 
Будьте сдержаннее в своих словах. Или получите карточку по правилу 3.2.
0
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
22.08.2011, 18:27  [ТС] 50
НИчёя не фантазирую
Смотрите, вот есть КК и он НЕ ВЫЗЫВАЕТСЯ. Вывод смотри в прикреплённом скриншоте номер 1. Адреса одинаковые! Объект был создан сразу в том месте, куда должен бьл возвратиться!
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <windows.h>
#include <iostream>
class kl {
 
 private:
         int x;
 
 public:
 //Конструкторы
 kl () {};
 
 
 //Вот эту херь надо то расскомментить, то закомментить, это КК и есть
 kl (kl const & o) {printf ("Вызов КК\n");}
 
 friend void v (const kl &obekt) {
  printf ("адреса ссылочного аргумента равны %x\n", &obekt);
 } 
 
 kl func ();
};
 
kl kl::func () {
 kl obekt;
 printf ("адреса аргумента типа ima_klassa равны %x\n", &obekt);
 return obekt; 
}
 
int main() {
 SetConsoleCP(1251);
 SetConsoleOutputCP(1251);
 kl obekt;
 v (obekt.func());
 getchar ();
 return 0;
}

...Так, а теперь закомментим КК, но КК всё же вызовется. Не авторский, но встроенный, ибо опять смотрим на адреса на скриншоте номер 2. Там первый адрес это адрес объекта и второй тоже адрес объекта, но вернутого. И этот адрес другой. То есть вызывался КК и объект копировался в другой адрес.
Какие ещё доказательства нужны, я не знаю.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 #include <windows.h>
#include <iostream>
class kl {
 
 private:
         int x;
 
 public:
 //Конструкторы
 kl () {};
 
 
 //Вот эту херь надо то расскомментить, то закомментить, это КК и есть
 //kl (kl const & o) {printf ("Вызов КК\n");}
 
 friend void v (const kl &obekt) {
  printf ("адреса ссылочного аргумента равны %x\n", &obekt);
 } 
 
 kl func ();
};
 
kl kl::func () {
 kl obekt;
 printf ("адреса аргумента типа ima_klassa равны %x\n", &obekt);
 return obekt; 
}
 
int main() {
 SetConsoleCP(1251);
 SetConsoleOutputCP(1251);
 kl obekt;
 v (obekt.func());
 getchar ();
 return 0;
}
0
Миниатюры
Почему не вызывается конструктор копирования?   Почему не вызывается конструктор копирования?  
Deviaphan
Делаю внезапно и красиво
Эксперт С++
1306 / 1221 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
22.08.2011, 18:34 51
Цитата Сообщение от kravam Посмотреть сообщение
Какие ещё доказательства нужны, я не знаю
Нужно забить и не обращать внимание на такую ерунду.)
У тебя объект из одного инта состоит. Т.е. тут оверхэд при копировании нулевой. Пример вообще не годится для тестирования. Если хочешь что-то более осмысленое протестировать, то сделай класс с динамическим выделением памяти внутри, т.е. что-бы хоть какая-то работа выполнялась и тогда уже отслеживай поведение компилятора.
Иногда создание нового объекта оказывается эффективнее использования существующего, чем компилятор и пользуется.
0
Сыроежка
Заблокирован
22.08.2011, 18:48 52
Цитата Сообщение от kravam Посмотреть сообщение
НИчёя не фантазирую
Смотрите, вот есть КК и он НЕ ВЫЗЫВАЕТСЯ. Вывод смотри в прикреплённом скриншоте номер 1. Адреса одинаковые! Объект был создан сразу в том месте, куда должен бьл возвратиться!
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <windows.h>
#include <iostream>
class kl {
 
 private:
         int x;
 
 public:
 //Конструкторы
 kl () {};
 
 
 //Вот эту херь надо то расскомментить, то закомментить, это КК и есть
 kl (kl const & o) {printf ("Вызов КК\n");}
 
 friend void v (const kl &obekt) {
  printf ("адреса ссылочного аргумента равны %x\n", &obekt);
 } 
 
 kl func ();
};
 
kl kl::func () {
 kl obekt;
 printf ("адреса аргумента типа ima_klassa равны %x\n", &obekt);
 return obekt; 
}
 
int main() {
 SetConsoleCP(1251);
 SetConsoleOutputCP(1251);
 kl obekt;
 v (obekt.func());
 getchar ();
 return 0;
}

...Так, а теперь закомментим КК, но КК всё же вызовется. Не авторский, но встроенный, ибо опять смотрим на адреса на скриншоте номер 2. Там первый адрес это адрес объекта и второй тоже адрес объекта, но вернутого. И этот адрес другой. То есть вызывался КК и объект копировался в другой адрес.
Какие ещё доказательства нужны, я не знаю.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 #include <windows.h>
#include <iostream>
class kl {
 
 private:
         int x;
 
 public:
 //Конструкторы
 kl () {};
 
 
 //Вот эту херь надо то расскомментить, то закомментить, это КК и есть
 //kl (kl const & o) {printf ("Вызов КК\n");}
 
 friend void v (const kl &obekt) {
  printf ("адреса ссылочного аргумента равны %x\n", &obekt);
 } 
 
 kl func ();
};
 
kl kl::func () {
 kl obekt;
 printf ("адреса аргумента типа ima_klassa равны %x\n", &obekt);
 return obekt; 
}
 
int main() {
 SetConsoleCP(1251);
 SetConsoleOutputCP(1251);
 kl obekt;
 v (obekt.func());
 getchar ();
 return 0;
}
Я могу это объяснить тем, что когда вы задаете свой конструктор копирования, то компилятор может оптимизировать код и сразу же временное значение передавать в следующую функцию без копирования объекта.
Когда же нет конструктора копирования, то происходит следующее. Как только есть необходимость в конструкторе копирования, кто компилятор его генерирует. По умолчанию конструктор копирования имеет спецификатор inline. Поэтому что означает генерирование кода для констурктора по умолчанию? Это означает вставка его в то место, где он требуется. То есть каждый раз, где требуется конструктор копирования, компилятор вставляет его как строковую функцию в то место, где в нем возникла потребность. То есть похоже компилятор не генерирует отдельно определение конструктора копирования, а затем использует вызов этого кода. Нет, он сразу же каждый раз вставляет в нужное место кода сгенерированный код конструктора копирования. То есть этот код уже будет присутствовать в том месте, где можно было бы оптимизировать. Когда же вы сами объявляете конструктор копирования, то его определение уже есть, а потому компилятору нет нужды вставлять ваш код в каждое место, где требуется. Он может принять решение: может ли он обойтись без конструктора копирования или нет.
0
fasked
Эксперт С++
4984 / 2563 / 241
Регистрация: 07.10.2009
Сообщений: 4,311
Записей в блоге: 1
22.08.2011, 19:07 53
Цитата Сообщение от kravam Посмотреть сообщение
g++ (GCC) 3.4.2
Если версии с gcc совпадают, то тот еще динозавр. Это какого года выпуска вообще?
0
kravam
быдлокодер
1710 / 897 / 105
Регистрация: 04.06.2008
Сообщений: 5,553
22.08.2011, 20:01  [ТС] 54
Сыроежка, я понимаю, коль скоро некий факт существует у него не может не быть объяснений. Вопрос в том, насколько они оправдывают существование этого факта?
C++
1
2
3
4
g++ (GCC) 3.4.2 (mingw-special)
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Добавлено через 46 секунд
gcc (GCC) 3.4.2 (mingw-special)
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
0
22.08.2011, 20:01
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
22.08.2011, 20:01

Будет ли утрачена память, когда конструктор копирования вызывается для уже существующего объекта класса?
class A { char * v; A(); ~A(); A(const A &amp;obj); } /////////////////////...

Почему не вызывается конструктор перемещения?
#include &lt;iostream&gt; #include &lt;vector&gt; class Object { public: Object() ...

Почему не вызывается конструктор копии?
Почему не вызывается конструктор копии? class CPoint { friend...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
54
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru