Làm thế nào để giải quyết cảnh báo: dereferencing type-punned con trỏ sẽ phá vỡ quy tắc nghiêm ngặt-aliasing

Question

#define HTON_I32(x) htonl(x) 
inline float __HTON_F32(float x) 
{ 
    int i = HTON_I32(*((int *)(&x))); 
    return (*((float *)(&i))); 
} 

Làm thế nào để giải quyết cảnh báo dereferencing type-punned pointer will break strict-aliasing rules trong đoạn code trên

Answer 1

Loại bỏ các loại-punning, và thay thế bằng một cái gì đó isn' t mong manh khi đối mặt với răng cưa:

#include <string.h> 

inline float __HTON_F32(float x) { 
    int i; 
    memcpy(&i, &x, sizeof x); 
    i = HTON_I32(i); 
    memcpy(&x, &i, sizeof x); 
    return x; 
} 

trình biên dịch tối ưu hóa hợp lý sẽ làm giảm memcpy cuộc gọi, và tạo ra tương đương (đôi khi tốt hơn) mã với những gì bạn nhận được từ loại-punning.

Một giải pháp phổ biến khác mà bạn sẽ thấy liên quan đến công đoàn. Tất cả các giải pháp này giả định rằng sizeof(int) == sizeof(float). Bạn có thể muốn thêm một khẳng định cho hiệu ứng đó.

Answer 2

Bạn có thể sử dụng các công đoàn cho loại-punning, mà sẽ chăm sóc của các vấn đề liên kết và răng cưa có thể (C99: TC3 đề cập rõ ràng rằng đây là thực sự hợp pháp):

#include <stdint.h> 

inline float __HTON_F32(float x) { 
    union { float as_float; int32_t as_int; } value = { x }; 
    value.as_int = HTON_I32(value.as_int); 
    return value.as_float; 
}