evitano con memcpy

Question

Si prega di considerare il seguente codice:

float float_value = x; // x is any valid float value 
int int_value = 0; 
size_t size = sizeof(int) < sizeof(float) ? sizeof(int) : sizeof(float); 
memcpy(&int_value, &float_value, size); 

Per quanto so che questo potrebbe comportare una rappresentazione trappola. Le mie domande:

1. È vero?
2. Se no, perché?
3. In caso contrario, esiste un altro modo per evitare una possibile rappresentazione di trap?

Answer 1

Il modo sanzionato che non produrrà alcuna dichiarazione trappola è

unsigned char obj[sizeof float]; 
memcpy(obj, &float_value, sizeof float); 

quindi è possibile utilizzare i byte della rappresentazione dell'oggetto per costruire il tuo desiderato int.

Tuttavia, l'utilizzo di numeri interi a larghezza fissa come indicato da Stephen Canon è migliore, a meno che non si disponga di una strana dimensione float.

Answer 2

Sì, ciò potrebbe causare una rappresentazione di trap. Per quanto riguarda come evitarlo:

• affermare che sizeof(int32_t) == sizeof(float)
• Uso int32_t invece di int.

I tipi di interi a larghezza fissa potrebbero non ammettere rappresentazioni di trap. Nello specifico, lo standard richiede che non abbiano bit di riempimento e che non sia possibile avere una rappresentazione trap senza padding.

Answer 3

Non è necessario memcpy se si desidera solo verificare i valori lì. Il metodo più semplice è quello di lanciare solo

unsigned char const* p = &float_object; 

puntatore getto a tutti i tipi char è sempre garantita a dare qualcosa di valido con il quale si può fare semplice aritmetica. Sei sicuro finché fai il dereferenziamento entro i limiti dati dalla dimensione di float_object.

Se si desidera considerare che come numero il più sicuro è scegliere un numero intero senza segno di larghezza fissa, molto probabilmente uint32_t. Se sai che i requisiti di larghezza sono soddisfatti, questo dovrebbe darti tutto ciò di cui hai bisogno.

Come accennato, questo funziona bene finché non si scrive attraverso quel puntatore. Quindi le regole di aliasing per i puntatori possono fare in modo che l'ottimizzatore vada in errore.