Могут ли операторы присваивания С++ быть свободными функциями?

Я пробую что-то вроде этого:

Foo & operator=(Foo & to, const Bar &from);

Но я получаю эту ошибку:

E2239 'operator =(Foo &, const Bar &)' must be a member function

Существуют ли ограничения, по которым операторы могут/не могут быть определены как свободные функции, и если да, то почему?

Ответ 1

Оператор присваивания должен быть нестатической функцией-членом и должен иметь ровно один параметр:

Оператор присваивания должен быть реализован нестатической функцией-членом только с одним параметром (С++ 03 13.5.3/1).

operator(), operator[] и operator-> также должны быть реализованы как нестатические функции-члены.

Специфические для класса operator new и operator delete (и их варианты) должны быть реализованы как статические функции-члены (обратите внимание, что они неявно статичны, даже если они не объявлены с ключевым словом static).

Ответ 2

Он не может.

Причина, по-моему, связана с конструктором копирования. Они имеют очень схожую семантику, и вы не можете определить конструктор копии вне класса, как и другой конструктор. Таким образом, они не хотели отделять близнецов далеко друг от друга (чтобы избежать парадоксов близнецов:).

P.S. Какой позор на С++ состоит в том, что вы не можете добавить участника в существующий класс. Для этого нет причины низкого уровня. Если бы это было возможно, вы могли бы отключить зависимости заголовка и cpp, не объявляя частные функции в заголовке определения класса.