Supongamos que tienes las siguientes definiciones:

struct X
{
  char a, b;
};

X x;

Y ahora asuma que tiene dos hilos, uno de los cuales lee y escribex.a pero nunca accedex.b Mientras que el otro lee y escribe.x.b pero nunca accedex.a. Ninguno de los hilos utiliza bloqueos u otras primitivas de sincronización. ¿Está garantizado que esto funcione en C ++ 11? ¿O cuenta como acceso al mismo objeto y, por lo tanto, necesita un bloqueo?