구조체 바이트 정렬은 만능이 아니다

pragma once에 이은 만능 시리즈는 아니다. 이 기능들을 별 생각 없이 사용했다가 뇌 곳곳에서 유혈이 낭자한 끝에 얻은 교훈을 남기고 싶을 뿐이다. 공교롭게 둘 다 pragma 키워드를 사용하는 것은 우연의 일치일까. 심도 있게 설명하고 싶지만 아직은 능력이 부족한 탓에 수박 껍질만 핥아보려고 한다. 핥핥핥.

 

제대로 된 실무 코드는 제대로 본 적이 없지만 소켓 프로그래밍에서는 패킷 헤더는 보통 구조체 바이트 정렬을 하는 것으로 보인다. 구조체 정렬은 함부로 쓰면 안 되지만 패킷 헤더에는 언제나 같은 크기의 데이터가 들어가(야 하)며, 동적으로 메모리를 할당할 일이 없기에 괜찮은 듯하다.

#pragma pack(push, 1)
    struct PacketHeader
    {
        short packet_size_;
        short id_;
    };
#pragma pakc(pop)

 

주소가 다음과 같다.

끝자리를 보면 8부터 시작하므로 8바이트가 잡히면 F까지다.  int 변수가 CDEF를, short 변수가 AB를 차지하고 char 변수가 8만 차지해 남는 메모리는 9번지가 된다. 이렇게 해서 8바이트 안에 char, short, int변수가 다 들어갔다. 순서가 중요하다고 했는데, 다음과 같이 순서를 바꾼 구조체는 크기가 24가 나온다.

struct Data2
{
    char a;
    double b;
    int c;
    short d;
};