Мучает такой вопрос.

struct type1_t
{
  float buffer_[ 4 ];
};

struct type2_t
{
  float x, y, z, w;
};

typedef float type3_t[ 4 ];

Являются ли какие-либо из вышеперечисленных типов layout-compatible? Насколько честно делать reinterpret_cast между указателями на массивы таких типов и указателем на float? Если это небезопасно, есть ли реальные платформы на которых могут возникнуть проблемы?
Просьба ткнуть носом в стандарт, а то сам я таких гарантий там не нашел, а очень хотелось бы...