Оператор присваивания применяется к объектам, которые уже созданы. Однако в этом предложении
my_complex::complex cd = my_complex::complex::add_complex(ca, cb);
только создается объект. Поэтому здесь будет вызван конструктор. В общем случае здесь вызывается конструктор копирования или конструктор перемещения в зависимости от того, какой из них объявлен.
Компилятору разрешается опустить вызов конструктора копирования или конструктора перемещения и создать рбъект "на месте" в cd
. Однако тем не менее конструктор копирования или конструктор перемещения должны быть доступны.
Поэтому также не следует включать в конструктор копирования или конструктор перемещения какие-то побочные эффекты, которые не имеют место в обчных конструкторах при создании объектов.
Вот демонстрационная программа
#include <iostream>
class A
{
public:
A( int x )
{
std::cout << "A::A( int ) with x = " << x << std::endl;
}
A( A &&a )
{
std::cout << "A::A( A && )" << std::endl;
}
A & operator =( A && )
{
std::cout << "A::operator =" << std::endl;
}
};
int main()
{
// объект создается; вызывается конструктор
A a = A( 10 );
// объект уже создан; вызывается оператор присваивания
a = A( 20 );
return 0;
}
Вывод программы на консоль
A::A( int ) with x = 10
A::A( int ) with x = 20
A::operator =
В этой программе компилятор пропускает вызов конструктора перемещения. Тем не менее, как уже я сказал выше, он должен быть доступен. Если, например, его сделать закрытым, то код не будет компилироваться
#include <iostream>
class A
{
private:
A( A &&a )
{
std::cout << "A::A( A && )" << std::endl;
}
public:
A( int x )
{
std::cout << "A::A( int ) with x = " << x << std::endl;
}
A & operator =( A && )
{
std::cout << "A::operator =" << std::endl;
}
};
int main()
{
// объект создается; вызывается конструктор
A a = A( 10 );
// объект уже создан; вызывается оператор присваивания
a = A( 20 );
return 0;
}
prog.cpp: In function 'int main()':
prog.cpp:6:5: error: 'A::A(A&&)' is private
A( A &&a )
^
prog.cpp:27:17: error: within this context
A a = A( 10 );
^
Имейте в виду, что MS VC++ (по крайней мере некоторые его версии) имеет баг и позволяет компилировать данный код.:)
Из стандарта C++ (12.8 Copying and moving class objects)
31 When certain criteria are met, an implementation is allowed to
omit the copy/move construction of a class object, even if the
copy/move constructor and/or destructor for the object have side
effects. In such cases, the implementation treats the source and
target of the omitted copy/move operation as simply two different ways
of referring to the same object, and the destruction of that object
occurs at the later of the times when the two objects would have been
destroyed without the optimization.123 This elision of copy/move
operations, called copy elision, is permitted in the following
circumstances (which may be combined to eliminate multiple copies):