¿Cuáles son las semánticas de los objetos superpuestos en C?

Considere la siguiente estructura:

struct s {
  int a, b;
};

Típicamente ¹ , esta estructura tendrá tamaño 8 y alineación 4.

¿Qué pasa si creamos dos struct sobjetos (más precisamente, escribimos en el almacenamiento asignado dos de estos objetos), con el segundo objeto superpuesto al primero?

char *storage = malloc(3 * sizeof(struct s));
struct s *o1 = (struct s *)storage; // offset 0
struct s *o2 = (struct s *)(storage + alignof(struct s)); // offset 4

// now, o2 points half way into o1
*o1 = (struct s){1, 2};
*o2 = (struct s){3, 4};

printf("o2.a=%d\n", o2->a);
printf("o2.b=%d\n", o2->b);
printf("o1.a=%d\n", o1->a);
printf("o1.b=%d\n", o1->b);

¿Hay algo sobre este programa de comportamiento indefinido? Si es así, ¿dónde queda indefinido? Si no es UB, ¿se garantiza que siempre imprima lo siguiente?

o2.a=3
o2.b=4
o1.a=1
o1.b=3

En particular, quiero saber qué sucede con el objeto señalado por o1cuándo o2, que se superpone, está escrito. ¿Todavía está permitido acceder a la parte no ocultada ( o1->a)? ¿Acceder a la parte con capa es o1->bsimplemente lo mismo que acceder o2->a?

¿Cómo se aplica el tipo efectivo aquí? Las reglas son lo suficientemente claras cuando habla de objetos no superpuestos y punteros que apuntan a la misma ubicación que la última tienda, pero cuando comienza a hablar sobre el tipo efectivo de porciones de objetos u objetos superpuestos, es menos claro.

¿Cambiaría algo si la segunda escritura fuera de un tipo diferente? Si los miembros fueran decir inty shortno dos ints?

Aquí hay un godbolt si quieres jugar con él allí.

¹ Esta respuesta se aplica a plataformas donde este no es el caso también: por ejemplo, algunas pueden tener tamaño 4 y alineación 2. En una plataforma donde el tamaño y la alineación son las mismas, esta pregunta no se aplicaría ya que los objetos alineados y superpuestos ser imposible, pero no estoy seguro de si hay alguna plataforma como esa.

Básicamente, esta es toda el área gris en el estándar; La estricta regla de alias especifica casos básicos y deja que el lector (y los proveedores del compilador) completen los detalles.

Se han realizado esfuerzos para escribir una regla mejor, pero hasta ahora no han dado lugar a ningún texto normativo y no estoy seguro de cuál es el estado de esto para C2x.

Como mencioné en mi respuesta a su pregunta anterior, la interpretación más común es que p->qsignifica (*p).qy el tipo efectivo se aplica a todos *p, a pesar de que luego procedemos a aplicar .q.

Según esta interpretación, printf("o1.a=%d\n", o1->a);causaría un comportamiento indefinido ya que el tipo efectivo de la ubicación *o1no lo es s(ya que parte de ella se ha sobrescrito).

La justificación de esta interpretación se puede ver en una función como:

void f(s* s1, s* s2)
{
    s2->a = 5;
    s1->b = 6;
    printf("%d\n", s2->a);
}

Con esta interpretación, la última línea podría optimizarse puts("5");, pero sin ella, el compilador tendría que considerar que la llamada a la función puede haber sido f(o1, o2);y, por lo tanto, perder todos los beneficios que supuestamente proporciona la estricta regla de alias.

Un argumento similar se aplica a dos tipos de estructura no relacionados que tienen un intmiembro con un desplazamiento diferente.