Как QVariant работает внутри?

Беглый взгляд на код показывает, что QVariant - это, по сути, union из нескольких примитивных типов (int, float и т. Д.), Указатель QObject и указатель void* для всего, что не является QObject и не примитивом. Существует также член данных типа, который позволяет ему знать, что на самом деле там хранится. Накладные расходы, похоже, не намного больше, чем хранение в члене структуры, проверка его совместимости типов и, возможно, преобразование (например, int в float)