Anciennes données plaines et problèmes d'alignement `std :: memcpy`

Question

En essayant de répondre à another question, j'ai proposé une solution qui utilise std::memcpy() pour stocker des types génériques dans un tampon de char s.

Mon doute est sur les problèmes d'alignement de mémoire possibles stockant POD (je sais que avec le type non-POD, comme std::string, est très très dangereux).

En résumé: le programme suivant rencontre-t-il des problèmes d'alignement mémoire? Et s'ils le sont, il est possible d'écrire quelque chose de similaire (qui stockent les valeurs POD dans un tampon char) qui est sûr? Et comment?

#include <cstring> 
#include <iostream> 

int main() 
{ 
    char buffer[100]; 

    double d1 { 1.2 }; 

    std::memmove(buffer + 1, & d1, sizeof(double)); 

    double d2; 

    std::memmove(& d2, buffer + 1, sizeof(double)); 

    std::cout << d2 << std::endl; 

    return 0; 
} 

Answer 1

Ceci est sûr.

[basic.types]/2: Pour tout type trivialement copiable T, si deux pointeurs vers T points à T distincts objets obj1 et obj2, où ni obj1 ni obj2 est un sous-objet de classe de base, si les octets sous-jacents (1,7) constituant obj1 sont copiés en obj2, obj2 doivent par la suite avoir la même valeur que obj1.

Puisque double est trivialement copiable, votre code est bien défini.

Answer 2

Vous pouvez copier vers et à partir d'un tampon non aligné. Ce que vous ne pouvez pas faire est de lancer le tampon en double * et ensuite opérer directement sur la valeur en mémoire, comme un double. Cela provoquera souvent une erreur en raison de problèmes d'alignement.