В стандарте написано что можно читать активный член юниона через совместимую неактивную структуру и тогда код будет вести себя так, как если бы я именовал активный член.
Я пишу код, чтобы проверить это, но, похоже, что в компиляторе баг, выводит 0. Может кто-нибудь его зарепортить?
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
#include <iostream>
#include <typeinfo>
struct T1 { enum E1 : int {} a; };
struct T2 { enum E2 : int {} b; };
union U { T1 t1; T2 t2; };
void f(U& u)
{
auto x = u.t2.b; // если активен u.t1, u.t2.b заменяется на u.t1.a
std::cout << (typeid(x) == typeid(u.t1.a)) << std::endl; // должно вывести 1
}
int main()
{
U u { {} }; // активный член u.t1
f(u);
}
