Efficiently exchange the value of this object with the value of the specified other object. This method provides the no‐throw exception‐safety guarantee if either type() is the same as other.type(), or neither type() nor other.type() is a type that requires allocation; otherwise, it provides the basic guarantee. The behavior is undefined unless this object was created with the same allocator as other.