Интересно, вопрос вроде по тойже теме, а тут:

struct Foo
{
    union
    {
        std::uint32_t value[2];

        struct 
        {
            std::uint32_t value32Lo;

            std::uint32_t value32Hi;           
        };
    };
};

тут такая же проблема с выравниванием, или, из-за того что типы одинаковые, гарантий больше ?