IMHO struct почти тоже самое что и класс, оставлен для совместимости с Си. Только в отличие от class, у тип struct все члены-дынные и члены-функции - public. Плюс struct имеет по умолчанию public наследование.

UNION - могут быть анонимные. Размер union определяется по самому большому члену. Union могут иметь конструкторы и деструкторы, но не могут иметь виртуальные методы. Типы с нетривиальными: конструкторами, копирующими конструкторами, деструкторами и операторами присваивания - не могут быть членами union. Union не могут наследовать и не могут наследоваться. Static члены и reference члены union делают программу illformed.