Оператор = в C++

@AlexDev · Регистрация: 17.02.2023

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

Почему везде рекомендуется возвращать ссылку на объект из перегруженного оператора =, а не объект по значению?
Например:

класс & operator(const класс&)
вместо:
класс operator(const класс&)

Лишнее копирование? Объясните, я не понимаю

@SmallEvil · 17.02.2023, 18:58

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

Лишнее копирование? Объясните, я не понимаю

Дело не только в лишнем копировании.
Такое поведение нестандартно, и если такое делать, то обязательно нужно это явно описывать.
По сути можно возвращать любой тип.

C++

struct AssignTest{
    bool operator=(const AssignTest){
        return true;
    }
};
 
int main(){
    AssignTest a;
    AssignTest b, c;
    b = a; // ok
    b = c = a; // O-o : ha-ha-ha
}

@AlexDev · 17.02.2023, 19:19 **[ТС]**

SmallEvil, так в примере bool возвращается, если на AssignTest заменить(не ссылка) и вернуть из функции *this, то ошибки не будет и все отработает. Все равно не понятно, почему именно по ссылке, а не по значению надо возвращать.

@SmallEvil · 17.02.2023, 19:48

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

если на AssignTest заменить(не ссылка) и вернуть из функции *this, то ошибки не будет и все отработает.

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

Добавлено через 1 минуту
Я специально привел кардинально другой тип, что бы было прям ЯВНО видно изменение в поведении.

Добавлено через 8 минут
Добавлено через 6 минут
Да и зачем возвращать новый объект ? Откуда такая мысль ?
Объект с кучей данных, просто так будет копироваться что бы что ?
Что бы в большинстве случаев сразу быть уничтоженным ?
После a = b; (создается безымянный объект "с") и после завершения выражения сразу удаляется.
Зачем ???

C++

#include <iostream>
struct AssignTest{
    AssignTest operator=(const AssignTest&){
        return *this;
    }
    void Test(){
        std::cout << "Test" << std::endl;
    }
    ~AssignTest(){
        std::cout << "~Destroy" << std::endl;
    }
};
 
int main(){
    AssignTest a;
    AssignTest b;
    AssignTest e;
    (b = a).Test();
    e = b;
}

Код

Test
~Destroy
~Destroy
~Destroy
~Destroy
~Destroy

Добавлено через 3 минуты

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

struct AssignTest{
bool operator=(const AssignTest){
return true;
}
};

Еще и опечатался в первом примере (const AssignTest&) !

@AlexDev · 17.02.2023, 19:58 **[ТС]**

SmallEvil, спасибо большое за то, что понятно объяснили, теперь все встало на свои места!

@AlexDev 0 / 0 / 0 Регистрация: 17.02.2023 Сообщений: 13
		1
	Оператор = в C++ 17.02.2023, 17:41. Показов 1234. Ответов 4 Метки с++ (Все метки) Почему везде рекомендуется возвращать ссылку на объект из перегруженного оператора =, а не объект по значению? Например: класс & operator(const класс&) вместо: класс operator(const класс&) Лишнее копирование? Объясните, я не понимаю 0

@AlexDev 0 / 0 / 0 Регистрация: 17.02.2023 Сообщений: 13
	17.02.2023, 19:19 [ТС]	3
	SmallEvil, так в примере bool возвращается, если на AssignTest заменить(не ссылка) и вернуть из функции *this, то ошибки не будет и все отработает. Все равно не понятно, почему именно по ссылке, а не по значению надо возвращать. 0

@AlexDev 0 / 0 / 0 Регистрация: 17.02.2023 Сообщений: 13
	17.02.2023, 19:58 [ТС]	5
	SmallEvil, спасибо большое за то, что понятно объяснили, теперь все встало на свои места! 0

Оператор = в C++

Решение