复制/移动操作符是否可以安全地用于实现复制/移动分配操作符

Can copy/move ctors be safely used to implement copy/move assignment operators?

class A
{
public:
A() noexcept
: _buf(new char[128])
{}
~A() noexcept
{
if (_buf)
{
delete[] _buf;
_buf = nullptr;
}
}
A(const A& other) noexcept
: A()
{
for (int i = 0; i < 128; ++i)
{
_buf[i] = other._buf[i];
}
}
A(A&& other) noexcept
: _buf(other._buf)
{
_buf = nullptr;
}
A& operator =(const A& other) noexcept
{
if (this != &other)
{
this->~A();
new(this) A(other);
}
return *this;
}
A& operator =(A&& other) noexcept
{
if (this != &other)
{
this->~A();
new(this) A(static_cast<A&&>(other));
}
return *this;
}
private:
char* _buf;
};

class A
{
public:
A() noexcept
: _buf(new char[128])
{}

在上面的例子中，如果new char[128]抛出异常，A()将调用std::terminate()。

~A() noexcept
{
if (_buf)
{
delete[] _buf;
_buf = nullptr;
}
}

在上面，看起来还可以。可以简化为：

~A() noexcept
{
delete[] _buf;
}

A(const A& other) noexcept
: A()
{
for (int i = 0; i < 128; ++i)
{
_buf[i] = other._buf[i];
}
}

在上面的例子中，如果new char[128]抛出异常，将调用std::terminate()。但其他方面还好。

A(A&& other) noexcept
: _buf(other._buf)
{
_buf = nullptr;
}

在上面，看起来不错。

A& operator =(const A& other) noexcept
{
if (this != &other)
{
this->~A();
new(this) A(other);
}
return *this;
}

在上文中，通常我会说这很危险。如果new(this) A(other);投掷呢？在这种情况下，它不会，因为如果它尝试，程序将终止。这是否是安全行为取决于应用程序(terminate在Ariane 5上运行不好，但在更普通的应用程序中运行良好)。

A& operator =(A&& other) noexcept
{
if (this != &other)
{
this->~A();
new(this) A(static_cast<A&&>(other));
}
return *this;
}

以上内容应该可以正常工作。尽管我不确定它是否优于下面这个具有同等性能的非分支版本。行为上的不同之处在于，下面的版本并不是一个不适合自移动任务的版本。然而，我认为自移动赋值不必是no-op，因为其中一个后置条件表示结果值未指定(另一个后置状态表示结果值已指定，导致不可依赖的矛盾)。

A& operator =(A&& other) noexcept
{
delete [] _buf;
_buf = nullptr;
_buf = other._buf;
other._buf = nullptr;
return *this;
}

class A
{
public:
static const std::size_t bufsize = 128;

A() noexcept
: _buf(new char[bufsize])
{}
A(const A& other) noexcept
: A()
{
copy_from(other);
}
A(A&& other) noexcept = default;
A& operator =(const A& other) noexcept
{
copy_from(other);
return *this;
}
A& operator =(A&& other) noexcept = default;
private:
void copy_from(const A& other) noexcept {
std::copy_n(other._buf.get(), bufsize, _buf.get());
}
std::unique_ptr<char[]> _buf;
};

class A
{
public:
static const std::size_t bufsize = 128;

A() : _buf(bufsize) {}
private:
std::vector<char> _buf;
};