Does accessing the first field of a struct via a C cast violate strict aliasing?

by

First, it is legal to cast in C. §6.7.2.1/13:

Within a structure object, the non-bit-field members and the units in
which bit-fields reside have addresses that increase in the order in
which they are declared. A pointer to a structure object, suitably
converted, points to its initial member (or if that member is a
bit-field, then to the unit in which it resides), and vice versa.
There may be unnamed padding within a structure object, but not at its
beginning.

The aliasing rule reads as follows (§6.5/7):

An object shall have its stored value accessed only by an lvalue expression that has one of
the following types:

  • a type compatible with the effective type of the object,
  • a qualified version of a type compatible with the effective type of the object,
  • a type that is the signed or unsigned type corresponding to the effective type of the
    object,
  • a type that is the signed or unsigned type corresponding to a qualified version of the
    effective type of the object,
  • an aggregate or union type that includes one of the aforementioned types among its
    members (including, recursively, a member of a subaggregate or contained union), or
  • a character type.

Here you would be accessing it via pointers of a “type compatible with the effective type of the object” and “an aggregate or union type that includes one of the aforementioned types among its members”, so no problem with aliasing either. So in C, it is indeed perfectly legal to access the first member of a structure by casting the pointer to the structure to the type of the member in question.

In C++, however, you’ll often find vtables and other things at the start of a C++ object. In your specific case, however, your structure is of standard layout, and so this is explicitly allowed (§9.2/20 in n3290, thanks Luc Danton! – C++03 apparently has a similar rule, expressed in terms of POD objects).

More Related Contents:

  1. Is there a (semantic) difference between the return value of placement new and the casted value of its operand?
  2. Is it a strict aliasing violation to alias a struct as its first member?
  3. Aliasing T* with char* is allowed. Is it also allowed the other way around?
  4. Does this really break strict-aliasing rules?
  5. casting via void* instead of using reinterpret_cast [duplicate]
  6. What happened to the “aggregate or union type that includes one of the aforementioned types” strict aliasing rule?
  7. Is reinterpret_cast type punning actually undefined behavior?
  8. reinterpret_cast between char* and std::uint8_t* – safe?
  9. Should I use static_cast or reinterpret_cast when casting a void* to whatever
  10. Will std::string always be null-terminated in C++11?
  11. Is passing a C++ object into its own constructor legal?
  12. std::ignore with structured bindings?
  13. Why is it not possible to overload class templates?
  14. treating memory returned by operator new(sizeof(T) * N) as an array
  15. Is circumventing a class’ constructor legal or does it result in undefined behaviour?
  16. Static member access in constant expressions
  17. Why is f(i = -1, i = -1) undefined behavior?
  18. Why is the std::initializer_list constructor preferred when using a braced initializer list?
  19. Why does `int ;` compile fine in C, but not in C++?
  20. When do extra parentheses have an effect, other than on operator precedence?
  21. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  22. Does reinterpret_cast lead to undefined behavior?
  23. Why do (only) some compilers use the same address for identical string literals?
  24. Do C++ enums Start at 0?
  25. Can we apply content not explicitly cited from the normative references to the C++ standard?
  26. Calling delete on NULL pointers – C++03 vs C++11
  27. C++ operator % guarantees
  28. Rvalues, lvalues and formal definitions
  29. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  30. Is char default-promoted?

Leave a Comment