c - 엄격한 앨리어싱 경고 처리 방법

Question

엄격한 앨리어싱 경고를 제거하는 가장 쉬운 방법은 무엇입니까?

코드는 :

uint8_t msg[3]; 
int retval; 

msg[0] = (uint8_t) INT_READ_EVENT; 
*((uint16_t *) &msg[1]) = bytesToRead; 

retval = write(intPipe[1], msg, sizeof(msg)); 

bytesToRead은 uint16_t 값으로 전달된다.

다른 끝에는 데이터를 처리하기 전에 이벤트 유형 (이 경우 INT_READ_EVENT)을 인식하는 단일 바이트를 수신하는 읽기가 있습니다.

warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] 
    *((uint16_t *) &msg[1]) = bytesToRead; 
    ^

:

경고를 제거 할 수있는 빠르고 간단한 방법이 있습니까?

Answer 1

char 버퍼를 사용하는 대신 구조체를 정의 할 수 있습니다.

struct message 
{ 
    uint8_t code; 
    uint16_t payload; 
}; 

struct message msg; 

msg.code = INT_READ_EVENT; 
msg.value = bytesToRead; 

멀티 플랫폼/이식성 코드에서 정렬 및 엔디안을 고려해야합니다.

또한 원시 당신이 할 수있는 모드로 구조체의 데이터에 액세스하려면 다음은 16 비트 값을 표현해야한다는 당신이 엔디안에 결정합니까 강제하기 때문에, 이와 같이

union message_with_raw 
{ 
    struct message msg; 
    uint8_t rawdata[sizeof(struct message)]; 
} 

Answer 2

등 :

// Little-endian. 
msg[1] = bytesToRead & 0xff; 
msg[2] = (bytesToRead >> 8) & 0xff; 

빅 엔디안의 경우 오른쪽의 순서를 반대로하십시오.

Answer 3

당신이 프로토콜의 일종을 디코딩하는 것처럼 소리, 그래서 하나의 방법은 프로토콜 데이터에 대응하는 구조체 선언하는 것입니다 :

typedef struct 
{ 
    uint8_t something; 
    uint16_t bytes_to_read; 
} prot_data_t; 

그런 편의를 위해, 그리고 회피 앨리어싱 문제를, 당신은이를 넣을 수 있습니다

typedef union 
{ 
    prot_data_t named_data; 
    uint8_t  raw_data [sizeof(prot_data_t)]; 
} protocol_t; 

지금 당신은/전송 raw_data을 통해 바이트 데이터 바이트를받을 수 있지만 named_data을 통해 서로 다른 값에 액세스 할 수 있습니다 : 노동 조합이다. ,

이 코드뿐만 아니라 모든 솔루션 비트 이동을 사용하지 않는 것을 명심 엔디안에 의존 할 것이다 :

---

몇 가지 고려할 사항.

코드는 정렬 및 구조체/공용체 패딩 문제에 취약 할 수 있습니다. 최대한의 이식성을 위해 struct/union은 직렬화/직렬화 해제 루틴과 결합하지 않는 한 실제로 권장되지 않습니다.

Answer 4

경고는 이유가 있습니다. msg이 16 비트 경계에서 시작하면 msg[1]은 시작하지 않습니다. 따라서 해당 필드의 주소에서 시작하여 16 비트 값을 쓰려고하면 메모리에 잘못된 쓰기로 트랩을 트리거하여 충돌이 발생할 수 있습니다.

대신 한 번에 하나씩 바이트를 작성해야합니다.빅 엔디 언 형식 (네트워크 바이트 순서라고도 함)으로 바이트를 원한다고 가정하면 다음과 같이 수행합니다.

msg[1] = (uint8_t)(bytesToRead >> 8); 
msg[2] = (uint8_t)(bytesToRead);