일반 오래된 데이터와`std :: memcpy '정렬 문제

Question

another question에 응답하려고 시도한 결과 std::memcpy()을 사용하여 char 버퍼에 제네릭 형식을 저장하는 솔루션을 제안했습니다.

내가 의심하는 점은 POD를 저장할 때 발생할 수있는 메모리 정렬 문제에 관한 것입니다. POD 유형이 아니라는 것을 알고 있습니다 (std::string은 매우 위험합니다).

간단히 말해서 다음 프로그램에 메모리 정렬 문제가 있습니까?

그렇다면 안전 한 POD 값을 char 버퍼에 저장하는 것과 비슷한 것을 쓸 수 있습니까? 그리고 어떻게?

#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

안전합니다.

임의의 사소 복사 가능한 유형 T 들어

[basic.types]/2:, 만약 도 obj1도 obj2는베이스 클래스 하위 개체 인 별개 T 개체 obj1 및 obj2, 행 T 차례로 두 개의 포인터 하부 바이트 (170)를 구성하는 경우 obj1은 을 obj2으로 복사 한 후 obj2은 이후에 obj1과 동일한 값을 유지해야합니다.

double은 쉽게 복사 할 수 있으므로 코드는 잘 정의되어 있습니다.

Answer 2

정렬되지 않은 버퍼간에 복사 할 수 있습니다. 당신이 할 수없는 것은 버퍼를 double *로 캐스팅 한 다음 메모리의 값을 double로 직접 연산하는 것입니다. 정렬 문제로 인해 종종 오류가 발생합니다.