매크로에 해당하는 C 크기의 매크로

Question

일부 루프를 풀어서 일부 코드를 최적화하고 있습니다 (예, 컴파일러를 사용하여 컴파일러를 선택해야 컴파일러를 선택하지 않을 것입니다). 미래의 일부 편집으로 인해 데이터 크기가 변경되는 경우 코드가 우아하게 저하됩니다. 같은

뭔가 :

typedef struct { 
    uint32_t alpha; 
    uint32_t two; 
    uint32_t iii; 
} Entry; 

/*...*/ 

uint8_t * bytes = (uint8_t *) entry; 
#define PROCESS_ENTRY(i) bytes[i] ^= 1; /*...etc, etc, */ 
#if (sizeof(Entry) == 12) 
    PROCESS_ENTRY(0);PROCESS_ENTRY(1);PROCESS_ENTRY(2); 
    PROCESS_ENTRY(3);PROCESS_ENTRY(4);PROCESS_ENTRY(5); 
    PROCESS_ENTRY(6);PROCESS_ENTRY(7);PROCESS_ENTRY(8); 
    PROCESS_ENTRY(9);PROCESS_ENTRY(10);PROCESS_ENTRY(11); 
#else 
# warning Using non-optimized code 
    size_t i; 
    for (i = 0; i < sizeof(Entry); i++) 
    { 
     PROCESS_ENTRY(i); 
    } 
#endif 
#undef PROCESS_ENTRY 

이되지 sizeof은 사전 프로세서를 사용할 수없는 때문에, 물론, 작업 (적어도, 그 this answer가 표시 같았다 기능).

sizeof을 C 매크로와 함께 사용할 데이터 구조를 얻는 데 사용할 수있는 간단한 방법이 있습니까? 아니면 그냥 SOL입니까?

Answer 1

을 당신은 할 수 없습니다 선행 처리기에서 처리하지만 필요는 없습니다. 그냥 매크로에서 일반 if을 생성합니다

#define PROCESS_ENTRY(i) bytes[i] ^= 1; /*...etc, etc, */ 
if (sizeof(Entry) == 12) { 
    PROCESS_ENTRY(0);PROCESS_ENTRY(1);PROCESS_ENTRY(2); 
    PROCESS_ENTRY(3);PROCESS_ENTRY(4);PROCESS_ENTRY(5); 
    PROCESS_ENTRY(6);PROCESS_ENTRY(7);PROCESS_ENTRY(8); 
    PROCESS_ENTRY(9);PROCESS_ENTRY(10);PROCESS_ENTRY(11); 
} else { 
    size_t i; 
    for (i = 0; i < sizeof(Entry); i++) { 
     PROCESS_ENTRY(i); 
    } 
} 

sizeof는 상수 표현 및 일정에 대한 상수를 비교하는도 일정하다. 모든 제정신 C 컴파일러는 컴파일 시간에 항상 false 인 분기를 최적화합니다. 상수 폴딩은 가장 기본적인 최적화 중 하나입니다. 그래도 #warning을 잃게됩니다.

Answer 2

autoconf 또는 다른 빌드 구성 시스템을 사용하는 경우 구성시 데이터 구조의 크기를 확인하고 헤더 (예 : #define SIZEOF_Entry 12)를 쓸 수 있습니다. 물론 이것은 크로스 컴파일 할 때 더 복잡해 지지만 빌드와 타겟 아키텍처가 같다고 가정합니다.

그렇지 않으면 운이 없습니다.

Answer 3

구조체에 가능한 한 가장 작은 크기를 원하거나 4 바이트 경계에 맞추려면 크기가 채워지거나 정렬 된 특성을 사용할 수 있습니다. 비주얼 C에서

++, 당신은 #pragma pack을 사용할 수 있으며, GCC에서 사용할 수있는 __attribute __ ((포장))와 __attribute __ ((정렬 (NUM 바이트)) 당신은 운이있어

Answer 4

-. 전처리

이런 경우에 구조체의 크기가 무엇인지를 알기 위해 #define 상수를 정의 할 수 있습니다. 그런 다음, struct가 무엇인지 알 수 없습니다. 실제로 네거티브 크기의 배열 트릭을 사용하여 크기와 같다고 정적으로 주장합니다.컴파일러가 컴파일 할 때 분기 조건을 평가하고 죽은 코드를 제거 할 수 있는지 확인하십시오. 그것은 큰 질문이 아닙니다. 도움이되지 않습니다 당신이 컴파일시에 적절한 루프에 파견하는 컴파일러의 원인이 템플릿을 사용하여 C++에서이 작업을 수행 할 수있는 능력이있는 경우

Answer 5

이것은 아마도,하지만 :

template <std::size_t SizeOfEntry> 
void process_entry_loop(...) 
{ 
    // ... the nonoptimized version of the loop 
} 

template <> 
void process_entry_loop<12>(...) 
{ 
    // ... the optimized version of the loop 
} 

// ... 

process_entry_loop<sizeof(Entry)>(...); 

Answer 6

다른 두 가지 접근 방법이 마음에 들지 있습니다. 풀린 루프를 작성하기 위해 작은 응용 프로그램을 작성하거나 Duff's device의 변형을 구조체의 예상 크기와 함께 사용하십시오.