Форум программистов, компьютерный форум CyberForum.ru

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

Восстановить пароль Регистрация
 
 
Рейтинг: Рейтинг темы: голосов - 30, средняя оценка - 4.83
kravam
быдлокодер
 Аватар для kravam
1512 / 872 / 44
Регистрация: 04.06.2008
Сообщений: 5,271
05.11.2010, 21:40     Почему не вызывается конструктор копирования? #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 <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 минуты
Спасибо заранее
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
05.11.2010, 21:40     Почему не вызывается конструктор копирования?
Посмотрите здесь:

Сколько раз вызывается конструктор копирования C++
Будет ли утрачена память, когда конструктор копирования вызывается для уже существующего объекта класса? C++
Почему конструктор вызывается повторно при преобразовании типов? C++
Когда вызывается конструктор копирования? C++
Почему не вызывается конструктор копии? C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
21.08.2011, 22:45     Почему не вызывается конструктор копирования? #41
Цитата Сообщение от kravam Посмотреть сообщение
Цирк да и только.
Согласен. Хоть бы версию компилятора указал. У меня поведение не меняется.
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
kravam
быдлокодер
 Аватар для kravam
1512 / 872 / 44
Регистрация: 04.06.2008
Сообщений: 5,271
21.08.2011, 23:01  [ТС]     Почему не вызывается конструктор копирования? #42
Цитата Сообщение от asics Посмотреть сообщение
Да ну...
Баранки гну. Это для демонстрации только, что кк написан и он есть.

Добавлено через 38 секунд
Цитата Сообщение от grizlik78 Посмотреть сообщение
Согласен. Хоть бы версию компилятора указал. У меня поведение не меняется.
g++ (GCC) 3.4.2 (mingw-special)
Сыроежка
Заблокирован
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 минуты
Спасибо заранее
Никакой конструктор-копирования в вашем примере не должен вызываться, так как параметром вашей функции является константная ссылка на объект. То есть никакого нового объекта вы не создаете.
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
22.08.2011, 17:07     Почему не вызывается конструктор копирования? #44
Цитата Сообщение от Сыроежка Посмотреть сообщение
Никакой конструктор-копирования в вашем примере не должен вызываться, так как параметром вашей функции является константная ссылка на объект. То есть никакого нового объекта вы не создаете.
Ну хватит уже "капитанить", а? Это написано в первом же ответе на исходный пост, почти год назад.
Сыроежка
Заблокирован
22.08.2011, 17:08     Почему не вызывается конструктор копирования? #45
Цитата Сообщение от kravam Посмотреть сообщение
Стоп-стоп. Ребята, в этой же книге определён синтаксис конструктора копирования, а вы оба от него отошли. Синтаксис такой: (дословно)

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

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

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

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

И ниже я описал пример и компилятор с таким поведением.
LosAngeles
Заблокирован
22.08.2011, 18:08     Почему не вызывается конструктор копирования? #47
Цитата Сообщение от kravam Посмотреть сообщение
если хочешь, чтобы КК не вызывался- НАПИШИ ЕГО.
если хочешь, чтобы КК вызывался- НЕ ПИШИ ЕГО
чооо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, код не будет компилироваться, даже если вызов конструктора копирования компилятором пропускается для оптимизации кода.
kravam
быдлокодер
 Аватар для kravam
1512 / 872 / 44
Регистрация: 04.06.2008
Сообщений: 5,271
22.08.2011, 18:13  [ТС]     Почему не вызывается конструктор копирования? #49
Да блин я сам удивился. Смотри вывод!
Ну, конечно, если ты его не напишешь, то вызовется стандартный. А узнать это можно по адресам!
 Комментарий модератора 
Будьте сдержаннее в своих словах. Или получите карточку по правилу 3.2.
kravam
быдлокодер
 Аватар для kravam
1512 / 872 / 44
Регистрация: 04.06.2008
Сообщений: 5,271
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;
}
Миниатюры
Почему не вызывается конструктор копирования?   Почему не вызывается конструктор копирования?  
Deviaphan
Делаю внезапно и красиво
Эксперт C++
 Аватар для Deviaphan
1283 / 1217 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
22.08.2011, 18:34     Почему не вызывается конструктор копирования? #51
Цитата Сообщение от kravam Посмотреть сообщение
Какие ещё доказательства нужны, я не знаю
Нужно забить и не обращать внимание на такую ерунду.)
У тебя объект из одного инта состоит. Т.е. тут оверхэд при копировании нулевой. Пример вообще не годится для тестирования. Если хочешь что-то более осмысленое протестировать, то сделай класс с динамическим выделением памяти внутри, т.е. что-бы хоть какая-то работа выполнялась и тогда уже отслеживай поведение компилятора.
Иногда создание нового объекта оказывается эффективнее использования существующего, чем компилятор и пользуется.
Сыроежка
Заблокирован
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. Поэтому что означает генерирование кода для констурктора по умолчанию? Это означает вставка его в то место, где он требуется. То есть каждый раз, где требуется конструктор копирования, компилятор вставляет его как строковую функцию в то место, где в нем возникла потребность. То есть похоже компилятор не генерирует отдельно определение конструктора копирования, а затем использует вызов этого кода. Нет, он сразу же каждый раз вставляет в нужное место кода сгенерированный код конструктора копирования. То есть этот код уже будет присутствовать в том месте, где можно было бы оптимизировать. Когда же вы сами объявляете конструктор копирования, то его определение уже есть, а потому компилятору нет нужды вставлять ваш код в каждое место, где требуется. Он может принять решение: может ли он обойтись без конструктора копирования или нет.
fasked
Эксперт C++
 Аватар для fasked
4924 / 2504 / 180
Регистрация: 07.10.2009
Сообщений: 4,306
Записей в блоге: 1
22.08.2011, 19:07     Почему не вызывается конструктор копирования? #53
Цитата Сообщение от kravam Посмотреть сообщение
g++ (GCC) 3.4.2
Если версии с gcc совпадают, то тот еще динозавр. Это какого года выпуска вообще?
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
22.08.2011, 20:01     Почему не вызывается конструктор копирования?
Еще ссылки по теме:

C++ В каких случаях вызывается конструктор копирования, и стоит ли вообще об этом думать?
Почему конструктор вызывается при присвоении объекта другому объекту C++
C++ Почему не вызывается конструктор копирования при возврате объекта из функции

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

Или воспользуйтесь поиском по форуму:
kravam
быдлокодер
 Аватар для kravam
1512 / 872 / 44
Регистрация: 04.06.2008
Сообщений: 5,271
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.
Yandex
Объявления
22.08.2011, 20:01     Почему не вызывается конструктор копирования?
Ответ Создать тему
Опции темы

Текущее время: 17:14. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru