Assignment operator with reference members

Question

Is this a valid way to create an assignment operator with members that are references?

#include <new>  struct A {     int &ref;     A(int &Ref) : ref(Ref) { }     A(const A &second) : ref(second.ref) { }     A &operator =(const A &second)     {         if(this == &second)             return *this;         this->~A();         new(this) A(second);         return *this;     } } 

It seems to compile and run fine, but with c++ tendency to surface undefined behavior when least expected, and all the people that say its impossible, I think there is some gotcha I missed. Did I miss anything?

Answer 1

It's syntactically correct. If the placement new throws, however, you end up with an object you can't destruct. Not to mention the disaster if someone derives from your class. Just don't do it.

The solution is simple: if the class needs to support assignment, don't use any reference members. I have a lot of classes which take reference arguments, but store them as pointers, just so the class can support assignment. Something like:

struct A {     int* myRef;     A( int& ref ) : myRef( &ref ) {}     // ... };