class Base {}:
class E1 : public Base {};
class E2 : public Base {};
class E3 : public Base {};
のとき、
union E {
Base* b;
E1* e1;
E2* e2;
E3* e3;
};
として、「失敗しないダイナミックキャスト(じゃ無いけど、それに似た何か)」を表現できないだろうか