tsdima, ты прав, если рассуждать ТОЛЬКО "вперед"

Все дело в этом "если".
А не обязан я рассуждать только так.
Скажи, если мы будем забирать с variant ТОЛЬКО string - за каким лядом хранить в другом формате

Нафига мне делать копию с bitmap-а (предположим), если потом мне надо будет превратить в пустую строку. Или в нулевое число...

Целью примера была демонстрация того, что знание "вперед" имеет прямой выход на эффективность кодов.
Кстати говоря, и конверторы типов, в случае Ex-а надо генерировать ДО парсинга метода, а не после.
Опять неоходимо знание "вперед"

Т.е., я делаю совершенно другой вывод: не вариантный тип нам нужен больше, а механизм получения этого знания