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

Question

[Anvario0]

Написал перегрузку оператора +

coffeeMachine operator +(const coffeeMachine& other)
	{
		coffeeMachine temp;
		temp.x = this->x + other.x;
		temp.y = this->y + other.y;
		temp.size = this->size + other.size;

		return temp;
	}

Вызвал в main

coffeeMachine device(8, 12, 6);
	coffeeMachine machine(23, 65, 8);
	coffeeMachine mix = device + machine;

Но он вызывает перегрузку конструктора копирования, а не перегрузку оператор =, почему?

Comments

[Евгений Шатунов]

Anvario0 , код coffeeMachine mix = device + machine; выполняет инициализацию копией.
Значение для инициализации - это локальный временный объект, полученный в результате операции суммы.

Что касается оператора копирования, так документация по этому поводу пишет однозначно:

The equals sign, =, in copy-initialization of a named variable is not related to the assignment operator. Assignment operator overloads have no effect on copy-initialization.

Вся эта строка через NRVO оптимизируется до инициализации по умолчанию, как это записано в операторе суммы, и заполнению полей нового экземпляра.

Answer 1

[jcmvbkbc]

coffeeMachine mix = device + machine;
вызывает перегрузку конструктора копирования, а не перегрузку оператор =, почему?

Потому что ты создаёшь здесь экземпляр класса, это делается конструктором. Поскольку ты хочешь его инициализировать другим экземпляром, используется конструктор копирования. Дело в том, что оператор = ожидает слева сконструированный объект, а в данной записи его нет.

А если написать вот так:
coffeeMachine mix; mix = device + machine;
то ты сначала создаёшь экземпляр со значением по умолчанию, а потом вызываешь оператор =.