Вызовы конструктора копирования

[rmv240899]

Возник теоретический вопрос: допустим, есть следующий код (члены-данные в разделе public находятся для простоты):

class A
{
public:
    int x;
    A(int v): x(v) {}
    A(A& src)
    {
         x = src.x;
         cout<<"copy"<<endl;
    }
}
A operator+(A a1, A a2)
{
    A res = a1.x + a2.x;
    return res;
}
void main()
{
    A a = 1;
    A b = 2;
    A c = a+b;
}

Конструктор копирования должен вызываться 4 раза: 2 раза при передаче объектов по значению, 1 раз при возврате из функции по значению, и 1 раз при инициализации объекта типа А другим объектом. Но он вызывается всего 3 раза. Почему?

[f.hump]

запретите компилятору оптимизировать и будет вам 4.

[rmv240899]

Оптимизация выключена, но все равно 3.

[f.hump]

че-то не посмотрел, что вообще происходит

a1 = a
a2 = b

res = x

c = res

зы
если правильно понимаю, то с оптимизацией должно быть 2

[rmv240899]

Сообщение от f.hump

зы
если правильно понимаю, то с оптимизацией должно быть 2

Почему 2? 2 - при передаче в функцию по значению, 1 - при возврате из функции, и ещё 1 - при инициализации. Но получается, что 3. Тогда что компилятор оптимизирует, что получается 3?

[f.hump]

ну, я про отимизацию ничего не утверждаю. все зависит от того насколько умный компилятор, самое простое, на мой взляд, что он может сделать, так это не создавать res, соответственно на одно копирование будет меньше.

кстати,

1 - при возврате из функции

вот этого у вас нет вовсе.

[rmv240899]

Сообщение от f.hump

кстати, вот этого у вас нет вовсе.

Как это нет? В операторе + есть строка return res.

[f.hump]

и что эта строка по вашему мнению делает?

я уже в четвертом посте написал, что происходит:
два копирования
инициализация целым
инициализация референсом

[_Bers]

Присоединяюсь к вопросу. С выключенными оптимизациями всего три конструктора копии.

Так же, вношу дополнительный вопрос:
1. Пропущена точка с запятой после декларации класса. Ну это фигня.

2. Копирующий конструктор принимает на входе не_константный объект по ссылке.

Таким образом:

void main()
{
    A a = 1;
    A b = 2;
    //A c = a+b;
    a+b;
}

Мы по прежнему имеем 2 конструктора с оптимизацией, и 3 без оптимизации.
Но из примера видно, что a+b дают временный объект, который по стандарту является константным

Но класс не располагает конструктором копии, принимающий на входе константный объект по ссылке!

Таким образом, в коде:

void main()
{
    A a = 1;
    A b = 2;
    A c = a+b; //срабатывает конструктор, который принимает не константную ссылку
    //a+b;
}

Функция принимает не_константную ссылку на объект, который является константным.

Почему компилятор такое пропускает?

[f.hump]

Почему компилятор такое пропускает?

потому что это был

теоретический вопрос