Ответ.

Operator overloading — это возможность определять пользовательское поведение стандартных операторов (например, +, -, *, ==) для собственных классов. Это помогает писать выразительный, читаемый код при работе с пользовательскими типами (например, вектор, матрица).

История вопроса

Механизм перегрузки операторов появился в C++ для поддержки интуитивного синтаксиса при работе с объектами (например, сложение комплексных чисел, работа с итераторами) так же, как это делается с базовыми типами.

Проблема

Без operator overloading многие операции выглядели бы как обычные функции (add(a, b)), что усложняет чтение кода и снижает его выразительность. Но избыточное или неправильное использование приводит к путанице и ошибкам.

Решение

В C++ можно перегружать большинство операторов, объявляя соответствующие функции-члены или дружественные функции, чтобы задать логику для новых операций.

Пример кода:

class Vector2D {
    double x, y;
public:
    Vector2D(double x, double y) : x(x), y(y) {}
    Vector2D operator+(const Vector2D& rhs) const {
        return Vector2D(x + rhs.x, y + rhs.y);
    }
};

Ключевые особенности:

• Повышает читаемость кода и делает пользовательские типы "нативными"
• Требует строгого соблюдения семантики операций
• Не все операторы разрешены для перегрузки

Вопросы с подвохом.

Можно ли перегрузить оператор . (точка) и :: (двоеточие)?

Нет, перегрузке не подлежат такие операторы, как . (точка), ::, sizeof, ?: и некоторые другие — по стандарту языка.

Обязано ли поведение перегруженных операторов полностью совпадать с их стандартной семантикой?

Не обязано, но рекомендуется (например, перегружая ==, делать сравнение эквивалентности).

Что будет при неправильной передаче объекта по значению в перегруженный оператор?

Можно получить лишние копирования или разыменования, что замедлит программу или приведёт к ошибке. Лучше передавать константную ссылку (const T&).

Пример кода:

Vector2D operator+(Vector2D rhs) const; // неэффективно, копируется объект

Типовые ошибки и анти-паттерны

• Перегрузка операторов с неожиданной/нелогичной семантикой
• Избыточная перегрузка только ради синтаксиса, а не смысла
• Использование оператора = не для копирования
• Перегрузка && или || с побочными эффектами

Пример из жизни

Негативный кейс

В классе DataFrame перегрузили оператор * для скалярного произведения с побочным эффектом (модификация объекта).

Плюсы:

• Краткий код

Минусы:

• Неожиданное поведение
• Трудность отладки

Позитивный кейс

В классе комплексных чисел перегружены +, -, == с привычной математической логикой, без модификации исходных объектов.

Плюсы:

• Читаемость
• Предсказуемость

Минусы:

• Необходимость дополнительного тестирования