Строгое правило сглаживания и сглаживание типов в C++

Я пытаюсь понять неопределенное поведение при нарушении строгого правила сглаживания. Я прочитал много статей о SO, чтобы понять это. Однако остается один вопрос:я действительно не понимаю, когда два типа нелегального псевдонима. cpp-ссылка гласит:

тип антиалиасинга

всякий раз, когда делается попытка прочитать или изменить сохраненное значение объекта типа DynamicType через glvalue типа AliasedType, поведение не определено, если не выполняется одно из следующих действий:

• AliasedType и DynamicType похожи.
• AliasedType - это (возможно, CV-квалифицированный) подписанный или неподписанный вариант DynamicType.
• AliasedType - std:: byte, (начиная с C++17)char или unsigned char: это позволяет исследовать представление объекта любого объекта в виде массива байтов.

Я также нашел хороший пример на SO где я четко вижу проблему:

int foo( float *f, int *i ) { 
    *i = 1;               
    *f = 0.f;            

   return *i;
}

int main() {
    int x = 0;

    std::cout << x << "n";   // Expect 0
    x = foo(reinterpret_cast<float*>(&x), &x);
    std::cout << x << "n";   // Expect 0?
}

int и float не являются подобными типами, и эта программа, возможно, наносит ущерб. Чего я не вижу и не понимаю, так это следующей модификации:

struct A
{
    int a;
};

struct B
{
    int b;
};

A foo( A *a, B *b ) { 
    a->a = 1;               
    b->b = 0;            

    return *a;
}

int main() {
    A a;
    a.a = 0;


    std::cout << a.a << "n";   // Expect 0
    a = foo(&a, reinterpret_cast<B*>(&a));
    std::cout << a.a << "n";   // Expect 0?
}

Are A и B похожие типы и все в порядке, или они нелегально псевдонимы, и у меня неопределенное поведение. И если это законно, это потому, что A и B являются агрегатами (если да, то что бы у меня было изменить, чтобы сделать его неопределенным-поведение)?

любые хедз-ап и помощь были бы очень признательны.

редактировать по вопросу о дублировании

Я в курсе этой пост, но я не вижу, где они уточняют, какие типы похожи. По крайней мере, до такой степени, чтобы я это понимал. Поэтому было бы любезно, если бы вы не закрывали этот вопрос.