Не хватает одного конструктора копий

@mzarb · Регистрация: 14.01.2013

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

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

В конструкторе копий
В функцие operator=()
В конструкторе копий
В конструкторе копий
В функцие operator=()
В конструкторе копий

Но похоже, что четвертого пункта нету. То есть конструктор копий запускается три раза, а должен 4.
Вот код :

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include <iostream> 
using namespace std;
 
class Array {
private:
    size_t mysize;
    int *mydata;
public:
    Array(size_t size);
    Array(Array &a);
    Array operator=(Array a);
};
 
Array::Array(size_t size){
    mysize = size;
    mydata = new int [mysize];
}
 
Array::Array(Array &a){
    mysize = a.mysize;
    mydata = new int [mysize];
    for(size_t i=0;i<mysize;i++)
        mydata[i] = a.mydata[i];
    cout << "В конструкторе копий\n";
}
 
Array Array::operator=(Array a){
    if(this != &a){
    mysize = a.mysize;
    delete [] mydata;
    mydata = new int [mysize];
    for(size_t i=0;i<mysize;i++)
        mydata[i] = a.mydata[i];
    }
    cout << "В функцие operator=()\n";
    return *this;
}
 
int main() {
    setlocale(LC_CTYPE, "Russian");
 
    Array a(10);
    Array b(20);
    Array c(30);
    c=b=a;
 
    system("pause");
    return 0;
    
}

P.S. Это тестовый код и я знаю что там должны быть ссылки.

@nonedark2008 · 20.01.2013, 00:45

Скорее всего выражение a=b=c; оптимизируется компилятором. Т.е. копия возвращаемая при b=c не копируется снова, а сразу передается в оператор присваивания a=.

@mzarb · 20.01.2013, 00:58 **[ТС]**

nonedark2008, были такие мысли, но как проверить не знал, так что думал может ещё что-либо. А по каким это таким соображениям он решил, что нужно оптимизировать? Две функции идентичные были в объектных файлах?

@nonedark2008 · 20.01.2013, 01:01

Думаю, что просто заложена оптимизация последовательного присваивания, чтобы не создавать ненужных копий.
Этих оптимизаций огромное множество, заранее все учесть невозможно.
Запиши вместо a=b=c; просто b=c; а затем a=b; Тогда все должно быть как ты предсказывал.

@lemegeton · 20.01.2013, 01:10

В какой момент вы ожидаете еще один вызов конструктора копирования?

C++
1
c = b = a

можно переписать как

C++
1
c.operator=(b.operator=(a))

и тогда становится ясно, в каких местах вызывается конструктор копирования.

C++
1
2
3
b.operator=(a)  // раз
c.operator=(...) // с результатом от предыдущей операции два
// возврат предыдущей операции три, (который компилятор мог бы и оптимизировать)

Кстати, некоторые строгие компиляторы не будут компилировать ваш код. gcc, например.

@nonedark2008 · 20.01.2013, 01:31

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

В какой момент вы ожидаете еще один вызов конструктора копирования?

Когда после первого вызова = при возврате - возвращается копия объекта. А дальше ожидается, что эта копия передастся по значению(т.е. создастся ее копия) в следующее равенство. Но на практике, компилятор оптимизирует код, и в итоге ненужная копия не создается, а возвращаемое значение сразу передается на оператор.

Добавлено через 3 минуты
lemegeton, если отписать по твоему, то тут b.operator=(a) при возврате должен вызваться конструктор копирования. А потом тут c.operator=(, должна создаться копия значения, которое вернулось на предыдущем шаге.

@lemegeton · 20.01.2013, 01:45

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

lemegeton, если отписать по твоему, то тут b.operator=(a) при возврате должен вызваться конструктор копирования. А потом тут c.operator=(, должна создаться копия значения, которое вернулось на предыдущем шаге.

Конечно же такое поведение будет сокращено. Это даже не оптимизация, это здравый смысл.

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@nonedark2008 1394 / 1023 / 325 Регистрация: 28.07.2012 Сообщений: 2,813
	20.01.2013, 00:45
	Скорее всего выражение a=b=c; оптимизируется компилятором. Т.е. копия возвращаемая при b=c не копируется снова, а сразу передается в оператор присваивания a=. 1

@mzarb 8 / 8 / 2 Регистрация: 14.01.2013 Сообщений: 141
	20.01.2013, 00:58 [ТС]
	nonedark2008, были такие мысли, но как проверить не знал, так что думал может ещё что-либо. А по каким это таким соображениям он решил, что нужно оптимизировать? Две функции идентичные были в объектных файлах? 0

@nonedark2008 1394 / 1023 / 325 Регистрация: 28.07.2012 Сообщений: 2,813
	20.01.2013, 01:01
	Думаю, что просто заложена оптимизация последовательного присваивания, чтобы не создавать ненужных копий. Этих оптимизаций огромное множество, заранее все учесть невозможно. Запиши вместо a=b=c; просто b=c; а затем a=b; Тогда все должно быть как ты предсказывал. 1