Este código C funciona bien (el compilador es GNU11). Estoy seguro de que se puede mejorar ya que da una advertencia de "puntero de tipo desreferenciado", pero no sé exactamente cómo.
Una matriz uint8_t contiene 4 bytes que componen un número de punto flotante. Estos 4 bytes luego se almacenan en una variable uint32_t y finalmente se convierten en una variable flotante:
uint8_t buffer[]; uint32_t aux = 0; float value; /*buffer contains the response from a sensor, containing a floating point number divided in 4 bytes*/ aux = aux | ((buffer[3] << 24) | (buffer[4] << 16)); aux = aux | ((buffer[5] << 8) | (buffer[6])); value = (float)*((float*)&aux);¿Puede este código presentar un comportamiento indefinido? He leído que podría usar "unión" para deshacerme de la advertencia, pero ¿esto también eliminará el comportamiento indefinido?
¡Gracias!
El método bien definido para el juego de palabras es usar un memcpy entre variables de los diferentes tipos. Es decir
memcpy(&value, &aux, sizeof(float));Con la optimización habilitada y las variables operativas que residen en el almacenamiento automático (es decir, variables de funciones regulares), esto se traducirá en cero instrucciones adicionales, ya que el compilador realizará internamente una única asignación estática.
EDITAR: desde C99, el otro método bien definido es usar una union para juegos de palabras:
union { uint8_t u8[sizeof(float)/sizeof(uint8_t)]; uint32_t u32[sizeof(float)/sizeof(uint32_t)]; float flt; } float_type_punner;