Какой смысл типа union?
Какой смысл типа union? Я знаю что это ну не видел нигде где его используют. 
Всё, что здесь написали в ответах про экономию памяти, про рудименты ранних языков ... и разные другие глупости - это всё полный бред ... или уж очень вторично и малозначимо.
Главное применение union - это наложение разного типа данным на одну общую область памяти, т.е. представление одной области памяти как разные типы данных. Это идёт ещё от блоков COMMON в FORTRAN и вариантных записей Pascal. 
Применяется очень широко в системном программировании - например, весь код ядра Linux пестрит union-ами.
Прямого ответа вам не дам, но подкину кой чего для размышления. Парадокс, но до сих пор языки программирования реализуют оператор goto, при том что он уже лет 10 помечен как obsolete/deprecated и вообще в руки не брать. Зачем? возможно для обратной совместимости, возможно в недрах реализации он где-то и применяется. Не используете? ну так не используйте дальше. В чем проблема то? Да принцип Парето никто не отменял - 80% пользователей используют лишь 20% функциональности.