Type punning and Unions in C

by

Yes, storing one member of union and reading another is type punning (assuming the types are sufficiently different). Moreover, this is the only kind of universal (any type to any type) type punning that is officially supported by C language. It is supported in a sense that the language promises that in this case the type punning will actually occur, i.e. that a physical attempt to read an object of one type as an object of another type will take place. Among other things it means that writing one member of the union and reading another member implies a data dependency between the write and the read. This, however, still leaves you with the burden of ensuring that the type punning does not produce a trap representation.

When you use casted pointers for type punning (what is usually understood as “classic” type punning), the language explicitly states that in general case the behavior is undefined (aside from reinterpreting object’s value as an array of chars and other restricted cases). Compilers like GCC implement so called “strict aliasing semantics”, which basically means that the pointer-based type punning might not work as you expect it to work. For example, the compiler might (and will) ignore the data dependency between type-punned reads and writes and rearrange them arbitrarily, thus completely ruining your intent. This

int i;
float f;

i = 5;
f = *(float *) &i;

can be easily rearranged into actual

f = *(float *) &i;
i = 5;

specifically because a strict-aliased compiler deliberately ignores the possibility of data dependency between the write and the read in the example.

In a modern C compiler, when you really need to perform physical reinterpretation of one objects value as value of another type, you are restricted to either memcpy-ing bytes from one object to another or to union-based type punning. There are no other ways. Casting pointers is no longer a viable option.

More Related Contents:

  1. optimized sum of an array of doubles in C [duplicate]
  2. How to get all possible combination of 2xn matrix [closed]
  3. How to resolve a variable for char length? [closed]
  4. What REALLY happens when you don’t free after malloc before program termination?
  5. How to achieve function overloading in C?
  6. How to correctly use the extern keyword in C
  7. ‘float’ vs. ‘double’ precision
  8. Are parallel calls to send/recv on the same socket valid?
  9. Objective-C : BOOL vs bool
  10. What exactly is a C pointer if not a memory address?
  11. How Recursion works in C
  12. How to use netlink socket to communicate with a kernel module?
  13. Does either ANSI C or ISO C specify what -5 % 10 should be?
  14. How to use nan and inf in C?
  15. Using intptr_t instead of void*?
  16. How to find the physical address of a variable from user-space in Linux?
  17. How to create static linked shared libraries
  18. Passing parameters dynamically to variadic functions
  19. Why can’t I create an array with size determined by a global variable?
  20. How do C compilers implement functions that return large structures?
  21. Difference between “pointer to int” and “pointer to array of ints”
  22. Why is strtok causing a segmentation fault?
  23. How to do an atomic increment and fetch in C?
  24. Is this possible to customize printf?
  25. How do I make an infinite empty loop that won’t be optimized away?
  26. How do I link object files in C? Fails with “Undefined symbols for architecture x86_64”
  27. Is it possible to call a non-exported function that resides in an exe?
  28. Why can’t a modifiable lvalue have an array type?
  29. functions returning char pointer
  30. How to implement Bitcount using only Bitwise operators?

Leave a Comment