[C언어] 구조체의 메모리 저장방식과 #pragma pack

구조체는 메모리에 어떤 식으로 저장될까
다음과 같은 소스를 보자.

 

1. #include <stdio.h>   
2.   
3. typedef struct _TEST{   
4.     char cData;   
5.     short sData;   
6.     int iData;   
7. }TEST;   
8.   
9. int main()   
10. {   
11.     TEST TData={0,};   
12.   
13.     printf("cData size : %d\n", sizeof(TData.cData));   
14.     printf("sData size : %d\n", sizeof(TData.sData));   
15.     printf("iData size : %d\n", sizeof(TData.iData));   
16.     printf("TData size : %d\n", sizeof(TData));   
17.        
18.     return 0;   
19. }  

#include <stdio.h> typedef struct _TEST{ char cData; short sData; int iData; }TEST; int main() { TEST TData={0,}; printf("cData size : %d\n", sizeof(TData.cData)); printf("sData size : %d\n", sizeof(TData.sData)); printf("iData size : %d\n", sizeof(TData.iData)); printf("TData size : %d\n", sizeof(TData)); return 0; }

TEST 구조체 변수인 TData는 char형 데이터(1byte), short형 데이터(2byte), int형 데이터(4byte)를 가지고 있으므로 1+2+4=7byte의 크기를 가질 것 처럼 보인다. 하지만 이 소스를 컴파일하고 실행을 해보면 다음과 같은 결과가  나온다.



분명히 cData(1) + sData(2) + iData(4) = 7임에도 불고하고 TData의 크기는 8바이트라고 하니 참 이상한 일이다.

이는 현재 우리가 쓰는 32비트 컴퓨터에서 32비트 컴파일러를 사용하였기 때문에 32비트 즉, 4바이트로 데이터를 처리하는 것에 가장 최적화되어 있기 때문에 데이터를 4바이트 공간으로 저장하기 때문이다.

이 TData란 구조체는 8바이트에 다음과 같이 저장되어 있다.

cData

??

sData

sData

iData

iData

iData

iData

cData를 저장하고, 4바이트중에 3바이트가 남아있기 때문에 sData를 3바이트 중에 2바이트의 공간에 저장하고,
iData를 저장하려 하니 1바이트밖에 남아있지 않기 때문에 4바이트의 공간을 따로 만들어 저장하게 되는 것이다.

그럼 이제 위의 소스에서 변수 선언의 순서를 한 번 바꿔 보자.

 

1. typedef struct _TEST{   
2.     char cData;   
3.     int iData;   
4.     short sData;   
5. }TEST;  

typedef struct _TEST{ char cData; int iData; short sData; }TEST;

변수 선언의 순서를 바꿨을 뿐인데 신기하게도 같은 구조체의 크기가 8에서 12로 늘어나버렸다.
이 TData 구조체 변수는 다음과 같이 저장되어 있을 것이다.

cData (1byte)

empty (3byte)

sData (2byte)

empty (2byte)

iData (4byte)

이처럼 컴파일러는 4바이트에 맞춰서 데이터를 저장하는 것을 볼 수 있다. 이것을 막으려면 어떻게 해야할까.

이것을 해결하려면 #pragma pack() 이라는 전처리어를 사용하면 된다.
구조체 하나를 더 추가한 다음 소스를 보자.

 

1. #include <stdio.h>   
2.   
3. typedef struct _TEST{   
4.     char cData;   
5.     int iData;   
6.     short sData;   
7. }TEST;   
8.   
9. #pragma pack(1)   
10. typedef struct _TEST2{   
11.     char cData;   
12.     int iData;   
13.     short sData;   
14. }TEST2;   
15.   
16. int main()   
17. {   
18.     TEST TData={0,};   
19.     TEST2 TData2={0,};   
20.   
21.     printf("TData size : %d\n", sizeof(TData));   
22.     printf("TData2 size : %d\n", sizeof(TData2));   
23.        
24.     return 0;   
25. }  

#include <stdio.h> typedef struct _TEST{ char cData; int iData; short sData; }TEST; #pragma pack(1) typedef struct _TEST2{ char cData; int iData; short sData; }TEST2; int main() { TEST TData={0,}; TEST2 TData2={0,}; printf("TData size : %d\n", sizeof(TData)); printf("TData2 size : %d\n", sizeof(TData2)); return 0; }

#pragma pack(1)에서 1은 1바이트 단위로 저장하겠다는 것이다. 따라서 TData와 TData2의 내용물은 같으나 크기는 다른 것을 확인할 수 있다.

 그렇다면, 왜 모두 1바이트로 해서 메모리의 낭비가 없도록 하지 않는 것일까?
 그것은, 아까도 이야기하였듯이 32비트 CPU에서는 4바이트(32비트)의 단위로 데이터를 처리하는 것이 가장 빠르게 때문이다. 즉, #pragma pack(1) 이라고 선언해놓고 원래대로 돌려놓지 않는다면 속도저하의 문제가 생길 수 있다.
 따라서, 위의 소스에서 구조체 선언이 끝나는 부분에 #pragma pack(4)라고 선언해주어 할 것이다.

 하지만, 여기에도 문제가 있다.
 만약, 이 소스를 32비트의 PC가 아닌 다른 CPU가 장착된 장비에서 컴파일하게 된다면 어떻게 될 것인가. 예를 들면 임베디드 시스템 같은 8~16비트 CPU에서 말이다.
 소스를 일일히 찾아서 CPU에 맞게 고쳐주고 다시 컴파일해야 되는 불편함과 어려움이 생기게 된다.

 이럴때를 위해서 좀 더 우아하게 쓰는 코드가 있다.

 

1. #pragma pack(push, 1)   
2. typedef struct _TEST2{   
3.     char cData;   
4.     int iData;   
5.     short sData;   
6. }TEST2;   
7. #pragma pack(pop)  

#pragma pack(push, 1) typedef struct _TEST2{ char cData; int iData; short sData; }TEST2; #pragma pack(pop)

 기존의 바이트를 스택에 push하고 1바이트 단위로 처리한다음 끝나는 부분에 원래의 바이트 단위를 pop해주는 코드이다. 보통은 이렇게 사용하면 되겠다.

 pragma에는 다른 용도(warning을 표시하지 않게 한다던가하는 기능들)도 있지만, 이는 다음에 알아보도록 하자.