Должны ли конструктор копирования и оператор присваивания копии иметь одинаковые операторы?

Question

Тип возвращаемого значения, конечно, будет другим, но концепция та же: копирование данных из одного объекта в другой, верно?

Answer 1

Концепции принципиально разные;конструктор копирования создает новый объект, в котором он не существует (и ничего не возвращает - даже void), а оператор присваивания обновляет объект, который уже существует.

Answer 2

Нет. Пока оператор присваивания копирует данные в другой объект, конструктор копирования инициализирует объект новый с скопированными данными. Таким образом, он будет использовать свой список инициализатора члена для рекурсивного вызова конструкторов копирования своего члена, тогда как оператор копирования-назначения будет вызывать другие операторы копирования-назначения.

struct Foo {

    Foo(Foo const &orig)
    : data{oring.data} { }

    Foo &operator = (Foo const &orig) {
        data = orig.data;
        return *this;
    }

private:
    std::string data;
};

Answer 3

copy constructor инициализирует новый объект уже существующим объектом.

copy assignment присваивает значение одного объекта другому объекту, оба из которых уже существуют.