Are C-structs with the same members types guaranteed to have the same layout in memory?

by

Are C-structs with the same members types guaranteed to have the same layout in memory?

Almost yes. Close enough for me.

From n1516, Section 6.5.2.3, paragraph 6:

… if a union contains several structures that share a common initial sequence …, and if the union object currently contains one of these structures, it is permitted to inspect the common initial part of any of them anywhere that a declaration of the completed type of the union is visible. Two structures share a common initial sequence if corresponding members have compatible types (and, for bit-fields, the same widths) for a sequence of one or more initial members.

This means that if you have the following code:

struct a {
    int x;
    int y;
};

struct b {
    int h;
    int k;
};

union {
    struct a a;
    struct b b;
} u;

If you assign to u.a, the standard says that you can read the corresponding values from u.b. It stretches the bounds of plausibility to suggest that struct a and struct b can have different layout, given this requirement. Such a system would be pathological in the extreme.

Remember that the standard also guarantees that:

  • Structures are never trap representations.

  • Addresses of fields in a structure increase (a.x is always before a.y).

  • The offset of the first field is always zero.

However, and this is important!

You rephrased the question,

does the C standard guarantee that ((B*)&a)->k is the same as a.y?

No! And it very explicitly states that they are not the same!

struct a { int x; };
struct b { int x; };
int test(int value)
{
    struct a a;
    a.x = value;
    return ((struct b *) &a)->x;
}

This is an aliasing violation.

More Related Contents:

  1. Struct memory layout in C
  2. Casting one struct pointer to another – C
  3. Casting one C structure into another
  4. Is there a way to use a typedef struct variable in a function…? [closed]
  5. How can I correctly assign a new string value?
  6. self referential struct definition?
  7. printf(“%p”) and casting to (void *)
  8. How to define a typedef struct containing pointers to itself?
  9. “error: assignment to expression with array type error” when I assign a struct field (C)
  10. Opaque C structs: various ways to declare them
  11. Copying one structure to another
  12. C: pointer to struct in the struct definition
  13. struct serialization in C and transfer over MPI
  14. How do you make an array of structs in C?
  15. What is ‘forward declaration’ and the difference between ‘typedef struct X’ and ‘struct X’?
  16. Passing struct to function
  17. Copy struct to struct in C
  18. Why can’t we initialize members inside a structure?
  19. Need help using qsort with an array of structs
  20. What is a hash table and how do you make it in C? [closed]
  21. Hiding members in a C struct
  22. Casting a pointer does not produce an lvalue. Why?
  23. default value for struct member in C
  24. C – freeing structs
  25. Array of size 0 at the end of struct [duplicate]
  26. How to initialize a pointer to a struct in C?
  27. C Function to Convert float to byte array
  28. Is memset(&mystruct, 0, sizeof mystruct) same as mystruct = { 0 };?
  29. Can I ‘extend’ a struct in C?
  30. Can I compare int with size_t directly in C?

Leave a Comment