What’s a proper way of type-punning a float to an int and vice-versa?

by

Forget casts. Use memcpy.

float xhalf = 0.5f*x;
uint32_t i;
assert(sizeof(x) == sizeof(i));
std::memcpy(&i, &x, sizeof(i));
i = 0x5f375a86 - (i>>1);
std::memcpy(&x, &i, sizeof(i));
x = x*(1.5f - xhalf*x*x);
return x;

The original code tries to initialize the int32_t by first accessing the float object through an int32_t pointer, which is where the rules are broken. The C-style cast is equivalent to a reinterpret_cast, so changing it to reinterpret_cast would not make much difference.

The important difference when using memcpy is that the bytes are copied from the float into the int32_t, but the float object is never accessed through an int32_t lvalue, because memcpy takes pointers to void and its insides are “magical” and don’t break the aliasing rules.

More Related Contents:

  1. What is the strict aliasing rule?
  2. Aliasing T* with char* is allowed. Is it also allowed the other way around?
  3. union for uint32_t and uint8_t[4] undefined behavior? [duplicate]
  4. C++ delete – It deletes my objects but I can still access the data?
  5. Do I need to cast to unsigned char before calling toupper(), tolower(), et al.?
  6. Is uninitialized local variable the fastest random number generator?
  7. Undefined behavior and sequence points reloaded
  8. How do I best silence a warning about unused variables?
  9. Why do constant expressions have an exclusion for undefined behavior?
  10. How is a variable at the same address producing 2 different values? [duplicate]
  11. How to turn on (literally) ALL of GCC’s warnings?
  12. Why dereferencing a null pointer is undefined behaviour?
  13. Why should I not try to use “this” value after “delete this”?
  14. Why is out-of-bounds pointer arithmetic undefined behaviour?
  15. C++ compilation bug?
  16. Is this infinite recursion UB?
  17. Does not evaluating the expression to which sizeof is applied make it legal to dereference a null or invalid pointer inside sizeof in C++?
  18. Is reading an indeterminate value undefined behavior?
  19. will casting around sockaddr_storage and sockaddr_in break strict aliasing
  20. In C++11, does `i += ++i + 1` exhibit undefined behavior?
  21. Does accessing the first field of a struct via a C cast violate strict aliasing?
  22. Implementing a std::vector like container without undefined behavior
  23. new() without delete() is Undefined Behavior or merely Memory Leak? [duplicate]
  24. Why does printf(“%f”,0); give undefined behavior?
  25. At what point does dereferencing the null pointer become undefined behavior?
  26. GCC -Wuninitialized / -Wmaybe-uninitialized issues
  27. Setting extra bits in a bool makes it true and false at the same time
  28. When a float variable goes out of the float limits, what happens?
  29. Dangling references and undefined behavior
  30. How to use C++20’s likely/unlikely attribute in if-else statement

Leave a Comment