c++ boost::any

В ситуациях, где обычно используется void* и reinterpret_cast, boost::any предоставляет типо-безопасную альтернативу.

vector<void *> v{new int(), new std::string()};
for (auto && el : v)
{
    int * n = reinterpret_cast<int *>(el);
    std::cout << *n; // здесь бум!
}

vector<boost::any> v{int(), std::string()};
for (auto && el : v)
{
    if (int * n = boost::any_cast<int>(&el))
        std::cout << *n;  // всё путём
}

Посмотри где в Qt используется QVariant.

Я вот использую — в обходе дерева арифметического выражения (паттерн Visitor). В частности, результатом вычисления узла у меня может быть либо рациональное число (хранимое точно), либо действительное (хранимое в формате с плавающей точкой), либо вообще ничего (если, например, значение какой-либо переменной неизвестно). Например, так: https://github.com/intelfx/data-processing/blob/master/differentiator/visitor...

Здесь проверка типа и каст - разные операции, их согласованность не проверяется.

Посмотри где в Qt используется QVariant.

Разве аналогом QVariant является Boost.Any, а не Boost.Variant?

Нет. В QVariant можно добавить поддержку своего типа, в экземпляр boost::variant - нет; ограничить типы, которые могут содержаться в QVariant - нельзя.

Я посмотрел ваш код: https://github.com/intelfx/data-processing/blob/master/differentiator/visitor-calculate.cpp и на первый взгляд кажется что здесь вполне возможно использовать boost::variant который в качестве бонуса нам дает еще и compile-time checked visitation что может со временем и пригодится. Не могли бы вы обяснить в кратце почему именно boost::any был выбран. Или если я в чем то не прав то поправте. Спасибо всем за ответы.

Потому что Visitor::Calculate — это лишь одна из реализаций; у меня есть и другие visitor-ы, методы visit() которых возвращают значения других типов.

Что касается compile-time checked visitation — это мне ни к чему. Проще, где надо, вручную по очереди откастовать boost::any ко всем нужным типам. Делать для каждого случая отдельный функтор слишком громоздко.

Проще, где надо, вручную по очереди откастовать boost::any ко всем нужным типам.

А с boost::variant можно по-очереди пытаться получиться значение каждого типа (boost::get).

В QVariant можно добавить поддержку своего типа, в экземпляр boost::variant - нет;

В смысле? Что подразумевается под «нельзя добавить поддержку своего типа»?

Из всего этого я понял что boost::any это такой готовый изящный безопасный темплейт который позволяет нам писать легко читаемый аккуратный «шаблонный» код без использования шаблонов и не изобретать велосипеды. Поэтому наверное «нужно» и имеет право на жизнь. Как то так я для себя понял сабж, полистав документацию и посмотрев код.

boost::variant<T1, T2, ..., TN> - тип равный сумме T1, T2, ..., TN (по другому это называется discrimated union). Он может содержать только значения типов T1, T2, ..., TN, никакие другие в него (без преобразований) не поместить. В QVariant-же можно поместить значение любого типа.

boost::any это такой готовый изящный безопасный темплейт который позволяет нам писать легко читаемый аккуратный «шаблонный» код без использования шаблонов

изящный безопасный

легко читаемый аккуратный

Мде. Кажется, это любовь.

Мде. Кажется, это любовь.

Ага с первого взгляда. Может если когда то начну пользовать то смогу более критично оценить эту штуку.

Мде. Кажется, это любовь.

Ага с первого взгляда.

Я думаю, тебе нужно писать на динамически типизированном языке, жалким подобием которого является any.

В QVariant-же можно поместить значение любого типа.

Всё, теперь понял. Ну да, типы которые может содержать бустовый вариант фиксируются при обьявлении.

Здесь проверка типа и каст - разные операции, их согласованность не проверяется.

Тут тоже:

if (int * n = boost::any_cast<int>(&el))