реинтерпретация_приведения вектора одного типа к вектору другого типа того же типа

struct A
{
    int x;
};

struct B
{
    int x;
};

Вы даже не можете переинтерпретировать приведение между этими двумя типами. Это нарушило бы строгое правило псевдонимов. Так что нет, вы не можете делать то, что хотите.

§3.10 L-значения и r-значения [basic.lval]

10. Если программа пытается получить доступ к сохраненному значению объекта через значение gl, отличное от одного из следующих типов, поведение не определено:⁵⁴

• динамический тип объекта,
• cv-квалифицированная версия динамического типа объекта,
• тип, аналогичный (как определено в 4.4) динамическому типу объекта,
• тип, который является подписанным или беззнаковым типом, соответствующим динамическому типу объекта,
• тип, который является подписанным или беззнаковым типом, соответствующим cv-квалифицированной версии динамического типа объекта,
• агрегатный тип или тип объединения, который включает один из вышеупомянутых типов среди своих элементов или нестатических элементов данных (включая, рекурсивно, элемент или нестатический элемент данных подагрегата или содержащегося объединения),
• тип, который является (возможно, cv-квалифицированным) типом базового класса динамического типа объекта, — тип char или unsigned char.

54) Цель этого списка состоит в том, чтобы указать те обстоятельства, при которых объект может или не может иметь псевдоним.

$ cat omg.cpp && g++ omg.cpp && echo ========== && ./a.out
#include <iostream>

struct numpair {
    unsigned short a,b;
};

struct bignum {
    unsigned long a;
};

int main() {
    std::cout << sizeof(numpair) << " != " << sizeof(bignum) << std::endl;
}
==========
4 != 8

Как вы думаете, почему типы одинаковы?