c++ - 根据 operator= 实现复制构造函数

Question

如果 operator= 定义正确，是否可以使用以下作为复制构造函数？

MyClass::MyClass(MyClass const &_copy)
{
    *this = _copy;
}

Answer 1

如果 MyClass 的所有成员都有默认构造函数，是的。

请注意，通常情况相反:

class MyClass
{
public:
    MyClass(MyClass const&);     // Implemented
    void swap(MyClass&) throw(); // Implemented
    MyClass& operator=(MyClass rhs) { rhs.swap(*this); return *this; }
};

我们在 operator= 中按值传递，以便调用复制构造函数。请注意，一切都是异常安全的，因为保证 swap 不会抛出(您必须在实现中确保这一点)。

按要求编辑按值调用的内容:operator= 可以写成

MyClass& MyClass::operator=(MyClass const& rhs)
{
    MyClass tmp(rhs);
    tmp.swap(*this);
    return *this;
}

C++ 学生通常被告知通过引用传递类实例，因为如果它们是按值传递的，则会调用复制构造函数。在我们的例子中，无论如何我们都必须复制 rhs，所以按值传递就可以了。

因此，operator=(第一个版本，按值调用)读取:

• 制作rhs的拷贝(通过复制构造函数，自动调用)
• 用 *this 交换其内容
• 返回 *this 并让 rhs(包含旧值)在方法退出时销毁。

现在，我们有了这个按值调用的额外奖励。如果传递给 operator= 的对象(或任何通过值获取其参数的函数)是 临时对象，则编译器可以(并且通常会)在全部。这称为复制省略。

因此，如果 rhs 是临时的，则不会进行复制。我们只剩下:

• 交换 this 和 rhs 内容
• 销毁rhs

因此，在这种情况下，按值传递比按引用传递更有效。