Posso clonare i byte di un oggetto C++, sovrascrivere i byte originali, quindi copiare nuovamente quei byte?

Question

Questo è puramente ipotetico, ma non sono sicuro se il codice seguente produrrà un comportamento indefinito secondo le specifiche C++. Mi piacerebbe fare una copia dei byte in un oggetto, far saltare l'oggetto sovrascrivendolo con zeri, quindi copiare i vecchi byte indietro. Posso farlo senza causare un comportamento indefinito?

codice di esempio:

NonPODType o; 
char bytes[sizeof(o)]; 

memcpy(bytes, &o, sizeof(o)); 
memset(&o, 0, sizeof(o)); 
memcpy(&o, bytes, sizeof(o)); 

Answer 1

In generale, no. Esiste una garanzia esplicita che questo funziona per i tipi banalmente copiabili al §3.9/2, ma non esiste una cosa del genere per altri tipi.

Per qualsiasi oggetto (diverso da un sotto-oggetto classe base) di banalmente tipo copiabile T, se l'oggetto contiene un valore valido di tipo T, i byte sottostanti (1,7) costituenti l'oggetto può essere copiati in un array di char o unsigned char. Se il contenuto dell'array di char o unsigned char viene copiato nuovamente nell'oggetto, l'oggetto deve mantenere successivamente il suo valore originale. [Esempio:

#define N sizeof(T) 
char buf[N]; 
T obj; 
// obj initialized to its original value 
std::memcpy(buf, &obj, N); 
// between these two calls to std::memcpy, 
// obj might be modified 
std::memcpy(&obj, buf, N); 
// at this point, each subobject of obj of scalar type 
// holds its original value 

-end esempio]

Answer 2

In generale, sì. L'unico modo in cui le cose si interrompono è se si accede all'oggetto dopo aver distrutto l'oggetto e prima della restituzione dei suoi dati:

memset (& o, 0, sizeof (o));

obj.doSomething(); < --- interruzioni

memcpy (& o, byte, sizeof (o));