Exchange the values of the specified a and b objects. This exception provides the no‐throw exception‐safety guarantee. Note that, since a and b have the same value (a class invariant), this operation is a no‐op.