누군가가 #pragma pack
전 처리기 명령문이 무엇을하는지, 더 중요하게는 왜 그것을 사용하기를 원하는지 설명 할 수 있는지 궁금 했습니다.
나는 약간의 통찰력을 제공 하는 MSDN 페이지를 체크 아웃 했지만 경험이있는 사람들로부터 더 많은 것을 듣기를 희망했습니다. 더 이상 어디에서 찾을 수 없지만 코드에서 이전에 보았습니다.
답변
#pragma pack
컴파일러에게 구조 멤버를 특정 정렬로 압축하도록 지시합니다. 구조체를 선언 할 때 대부분의 컴파일러는 멤버 사이에 패딩을 삽입하여 메모리의 적절한 주소 (일반적으로 유형 크기의 배수)에 정렬되도록합니다. 이렇게하면 올바르게 정렬되지 않은 변수에 액세스하는 것과 관련된 일부 아키텍처에서 성능 저하 (또는 명백한 오류)가 발생하지 않습니다. 예를 들어, 주어진 4 바이트 정수와 다음 구조체 :
struct Test
{
char AA;
int BB;
char CC;
};
컴파일러는 다음과 같이 구조체를 메모리에 배치하도록 선택할 수 있습니다.
| 1 | 2 | 3 | 4 |
| AA(1) | pad.................. |
| BB(1) | BB(2) | BB(3) | BB(4) |
| CC(1) | pad.................. |
및 sizeof(Test)
단지 16 바이트 데이터가 포함되어 있더라도, 4 × 3 = 12이 될 것이다. #pragma
(내 지식으로는) 가장 일반적인 유스 케이스 는 컴파일러가 데이터에 패딩을 삽입하지 않고 각 멤버가 이전 것을 따르는 지 확인 해야하는 하드웨어 장치를 사용할 때입니다. 를 사용하면 #pragma pack(1)
위의 구조체가 다음과 같이 배치됩니다.
| 1 |
| AA(1) |
| BB(1) |
| BB(2) |
| BB(3) |
| BB(4) |
| CC(1) |
그리고 sizeof(Test)
1 × 6 = 6입니다.
를 사용하면 #pragma pack(2)
위의 구조체가 다음과 같이 배치됩니다.
| 1 | 2 |
| AA(1) | pad.. |
| BB(1) | BB(2) |
| BB(3) | BB(4) |
| CC(1) | pad.. |
그리고 sizeof(Test)
2 × 4 = 8입니다.
구조체의 변수 순서도 중요합니다. 다음과 같이 순서가 지정된 변수가있는 경우
struct Test
{
char AA;
char CC;
int BB;
};
와 함께 #pragma pack(2)
구조체는 다음과 같이 배치됩니다.
| 1 | 2 |
| AA(1) | CC(1) |
| BB(1) | BB(2) |
| BB(3) | BB(4) |
그리고 sizeOf(Test)
3 × 2 = 6 일 것이다.
답변
#pragma
이식 불가능한 (이 컴파일러에서만) 메시지를 컴파일러에 전송하는 데 사용됩니다. 특정 경고 비활성화 및 구조체 패킹과 같은 것이 일반적인 이유입니다. 특정 경고를 비활성화하면 오류 플래그가 설정된 경고를 컴파일 할 때 특히 유용합니다.
#pragma pack
특히 패킹되는 구조체의 멤버가 정렬되지 않아야 함을 나타내는 데 사용됩니다. 하나의 하드웨어에 메모리 매핑 인터페이스가 있고 다른 구조체 멤버가 가리키는 위치를 정확하게 제어 할 수 있어야 할 때 유용합니다. 대부분의 머신이 정렬 된 데이터를 처리하는 데 훨씬 빠르기 때문에 속도 최적화가 그리 좋지 않습니다.
답변
컴파일러에게 구조체의 객체를 정렬 할 경계를 알려줍니다. 예를 들어 다음과 같은 것이 있다면
struct foo {
char a;
int b;
};
일반적인 32 비트 컴퓨터를 사용하면 일반적으로 “할”것 사이의 패딩의 3 바이트 갖도록 a
하고 b
그 때문에 b
자사의 액세스 속도를 극대화하기 위해 4 바이트 경계에 착륙합니다 (일반적으로 기본적으로 무슨 일이 일어날 지의 그).
그러나 외부에서 정의 된 구조와 일치해야하는 경우 컴파일러가 해당 외부 정의에 따라 구조를 정확하게 배치하도록합니다. 이 경우, 당신은 컴파일러 줄 수 #pragma pack(1)
그것을 말할 수 없는 구성원 간의 패딩을 삽입을 – 구조의 정의는 구성원 간의 패딩을 포함하는 경우, 당신은 (명시 적으로 삽입 예를 들면, 일반적으로 명명 된 회원 unusedN
이나 ignoreN
, 또는에 뭔가 주문).
답변
데이터 요소 (예 : 클래스 및 구조체의 멤버)는 일반적으로 액세스 시간을 향상시키기 위해 현재 세대 프로세서의 WORD 또는 DWORD 경계에 정렬됩니다. 4로 나눌 수없는 주소에서 DWORD를 검색하려면 32 비트 프로세서에서 하나 이상의 추가 CPU주기가 필요합니다. 따라서 예를 들어 char 멤버가 세 개인 경우 char a, b, c;
실제로 6 또는 12 바이트의 스토리지를 사용하는 경향이 있습니다.
#pragma
액세스 속도를 희생하거나 다른 컴파일러 대상간에 저장된 데이터의 일관성을 유지하면서보다 효율적인 공간 사용을 달성하기 위해이를 무시할 수 있습니다. 16 비트에서 32 비트 코드로의 전환에 많은 재미가있었습니다. 64 비트 코드로 포팅하면 일부 코드에서 같은 종류의 두통이 발생할 것으로 예상됩니다.
답변
컴파일러는 특정 플랫폼에서 최대 성능을 달성하기 위해 구조의 멤버를 정렬 할 수 있습니다. #pragma pack
지시문을 사용하면 해당 정렬을 제어 할 수 있습니다. 일반적으로 최적의 성능을 위해서는 기본적으로 그대로 두어야합니다. 원격 시스템에 구조를 전달해야하는 경우 일반적으로 #pragma pack 1
원치 않는 정렬을 제외하는 데 사용 됩니다.
답변
컴파일러 는 특정 아키텍처에서 성능상의 이유로 특정 바이트 경계에 구조 멤버를 배치 할 수 있습니다 . 이렇게하면 멤버간에 사용되지 않은 패딩이 남을 수 있습니다. 구조 패킹은 멤버가 연속되도록합니다.
예를 들어 데이터가 필요한 데이터가 시퀀스 내 특정 위치에있는 특정 파일 또는 통신 형식을 준수하는 구조가 필요한 경우에 중요 할 수 있습니다. 그러나 이러한 사용법은 엔디안 문제를 다루지 않으므로 사용되었지만 휴대용이 아닐 수 있습니다.
또한 예를 들어 UART 또는 USB 컨트롤러와 같은 일부 I / O 장치의 내부 레지스터 구조를 정확하게 오버레이하여 레지스터 액세스가 직접 주소가 아닌 구조를 통해 이루어질 수 있습니다.
답변
레지스터 순서 및 정렬에 대한 엄격한 요구 사항이있는 일부 하드웨어 (예 : 메모리 매핑 된 장치)로 코딩하는 경우에만이 기능을 사용하려고합니다.
그러나 이것은 그 목표를 달성하기위한 꽤 무딘 도구처럼 보입니다. 더 나은 접근 방법은 미니 드라이버를 어셈블러로 코딩하고이 pragma를 사용하는 대신 C 호출 인터페이스를 제공하는 것입니다.