boost :: вариант реализации

Мне просто интересно boost::variantРеализация.

Это работает так?

Два члена:

1. Число, представляющее текущий сохраненный тип (то есть 0 для первого параметра шаблона, 1 для второго параметра шаблона и т. Д.)
2. Объединение всевозможных типов (которые, конечно, по размеру самые большие).

apply_visitor():

Имеет switch оператор числа, представляющего текущий сохраненный тип, для вызова корректной перегрузки (в худшем случае это будет скомпилировано как таблица переходов, поэтому потребуется постоянное время).

Я понимаю, что есть также ряд оптимизаций, которые могут быть уверены, boost::variant не нужно динамически распределять память как подробно Вот, но я думаю, что я получаю это.