C++ Logo


Advanced search

Re: Default assignment operators from copy/move constructors

From: Ville Voutilainen <ville.voutilainen_at_[hidden]>
Date: Fri, 7 Aug 2020 01:48:40 +0300
On Fri, 7 Aug 2020 at 01:36, Walt Karas via Std-Proposals
<std-proposals_at_[hidden]> wrote:

> > WK: Good point, they should be noexcept if the corresponding constructor is noexcept (and the destructor).
> And if it isn't noexcept, what do you do?
> WK: Under the current Standard, if a base or member assignment op is noexcept(false), isn't the default assignment op noexect(false)? That is what I'm thinking, noexcept is inferred for the default.

That's not the point. Look:

C & operator = (C const &rhs)
  if (this != &rhs)
    this->~C(); // #1, now the object is dead
    ::new (this) C(rhs); // #2, if this throws, it stays dead
  return *this;

void some_automatic_scope() {
  C c1;
  C c2;
  c1 = c2; // if #2 threw, your program is now dead (because there
will be an attempt to destroy c1, and it's already dead), and there's
no recovery from that.

You can't do a destroy+placement-new if the placement-new can throw.
Go read Sutter's Exceptional C++
and More Exceptional C++, and try again.

Received on 2020-08-06 17:52:13