¿Puedo clonar los bytes de un objeto C++, sobrescribir los bytes originales y luego copiar esos bytes?

Question

Esto es puramente hipotético, pero no estoy seguro de si el siguiente código dará como resultado un comportamiento indefinido según las especificaciones de C++. Me gustaría hacer una copia de los bytes en un objeto, arruinar el objeto sobreescribiéndolo con ceros, y luego copiar los viejos bytes. ¿Puedo hacerlo sin causar un comportamiento indefinido?

Código de ejemplo:

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

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

Answer 1

En general, no. Existe una garantía explícita de que esto funciona para tipos triviales que pueden copiarse en §3.9/2, pero no hay tal cosa para otros tipos.

Para cualquier objeto (distinto de un subobjeto de la clase base) de trivialmente copiable tipo T, si o no el objeto contiene un valor válido de tipo T, los bytes subyacentes (1,7) que constituyen el objeto puede se copiará en una matriz de char o unsigned char. Si el contenido de la matriz de char o unsigned char se copia de nuevo en el objeto, el objeto deberá mantener posteriormente su valor original. [Ejemplo:

#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 

ejemplo -end]

Answer 2

En general, sí. La única forma en que las cosas se rompen es si accede al objeto después de destruir el objeto y antes de la restitución de sus datos:

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

obj.doAlgo(); < --- breaks

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