배열의 내용을 C에서 산술 형식으로 캐스팅

Question

배열에서 단일 산술 형식으로 단일 항목을 캐스팅 (또는 심지어는 역 참조)하는 이상한 동작이 있습니다. Heres는 감소 된 테스트 케이스

는 :

*((unsigned short *)(&test2[1])) 

좀 다른 플랫폼 (PIC24 같은 주로 임베디드 플랫폼)에 액세스 위반을 받고 있어요 : 상세

void test1() 
{ 
    unsigned char test[10] = {0}; 
    unsigned long i=0xffffffff; 

    *((unsigned long *)(&test[3])) = i; 


    int it; 

    for (it = 0 ; it < 10 ; it++) 

    { 
     printf("%02x ", test[it]); 

    } 
} 
void test2() 
{ 
    unsigned char test[10] = {0}; 
    unsigned char test2[10] = {0}; 
    test[2]=0xFF; 
    test[3]=0xFF; 

    *((unsigned short *)(&test2[1])) = *((unsigned short *)(&test[2])); 


    int it; 

    for (it = 0 ; it < 10 ; it++) 

    { 
     printf("%02x ", test2[it]); 

    } 
} 

는 주로이 표현입니다.

제 질문은이 C 준수 여부입니까? 나는 C 표준 내에서 아무것도 찾을 수 없지만 아마도 나는 장님 일뿐입니다.

이러한 캐스트 (루프 바이트 - 바이트 복사/언 롤링 등은 의미하지 않음)없이이 작업을 수행하는 다른 방법을 알고 있습니까? 플랫폼의 현재 바이트 순서를 알 필요가없는 위치는 어디입니까?

감사합니다.

Answer 1

*((unsigned short *)(&test2[1])) 

이것은 정의되지 않은 동작이므로 정렬 및 앨리어싱 규칙을 위반합니다. 하지 마.

test2 개체는 unsigned char의 배열이며 캐스트를 통해 unsigned short 개체로 액세스하고 있습니다. unsigned char 정렬 요구 사항이 unsigned short 정렬 요구 사항과 동일하다는 보장은 없습니다.

C 표준에서는 6.3.2.3p7 (C99)의 정렬 및 6.5p7의 앨리어싱 규칙에 대한 정보를 찾을 수 있습니다.

= 연산자의 왼쪽에 캐스트가있는 경우에는 항상주의해야합니다.

Answer 2

라인 *((unsigned long *)(&test[3])) = i;에는 정의되지 않은 동작이 있습니다. sizeof (long) 및 시스템의 endianness에 따라 다릅니다. 일반적으로 다른 포인터 유형 간에는 변환하지 않아야합니다 (void* 제외).

Answer 3

여기서 문제는 정렬되지 않은 액세스를하는 것입니다. 문자가 1 바이트이고 단락이 2 일 경우 (홀수 일 경우), 홀수에 대해 단문 쓰기 연산을 수행합니다. 이것은 항상 지원되는 것은 아니며 액세스 위반 가능성이 가장 높은 이유입니다. 이 작업을 수행하고 싶다면 (실제로는 그렇지 않을 수도 있습니다.) char 배열을 앞에 더 길게 한 다음 첫 번째 char을 사용하지 마십시오 (배열을 0이 아닌 1 인덱스로 처리하십시오). -indexed) 그리고 이것은 아마 이것이 작동하지 않는 플랫폼에서 작동 할 것이지만, 심지어 보장되지는 않습니다.