(С++11) Variant - простой аналог boost::any

[navrocky]

Предлагаю вашему вниманию простой аналог boost::any. Иногда случается, что QVariant неудобен или проект не основан на Qt, а boost тащить не особо хочется.

В моём случае это был C++ проект под мобилку. Простых и понятных реализаций я навскидку не нашел, поэтому свелосипедил свою.

Пример использования:

Код

C++ (Qt)
Variant v;
v = 10;
if (v.isType<int>())
    cout << v.value<int>() << endl;

Плюсы:

• всё реализовано в одном заголовочном файле
• поддерживается сравнение по значению, если сравнение поддерживается хранимым типом
• зависит только от стандартной библиотеки C++ 11

Минусы:

• зависит от RTTI
• использует динамическую память под хранение значения
• C++03 не поддерживается

По умолчанию при кастовании происходит сравнение строк с названиями типов хранимых значений. Можно включить оптимизацию -DVARIANT_CAST_OPTIMIZATION=1, которая приведет к сравнению типов по указателю, но при этом теряется возможность использовать Variant в интерфейсе динамических библиотек (т.к. таблицы метаданных разные).

Актуальный исходник здесь: https://github.com/navrocky/Variant

[panAlexey]

Спасибо!

[vregess]

А еще есть cdiggins::any

[Igors]

А можно ли оперировать выражениями, было бы круто напр

Код

C++ (Qt)
Variant a, b, c;
..
Variant result = (a > 0) ? b : c;

Или это неизбежно сваливается в дебри свитчей?

[navrocky]

А можно ли оперировать выражениями

Технически такое сделать вполне возможно. Только сравнивать можно одинаковые типы. Не прокатит конвертация.. Хотя если запилить аналог lexical_cast, то на его базе можно и сравнение разных типов сделать.   Сейчас пробую.

[m_ax]

У меня пара комментариев по реализации:

1) Всё же, сравнение типов как строк (и их хранение в HolderBase) не очень оптимальное решение.. Почему бы вместо этого не использовать std::dynamic_pointer_cast в методе isType():

Код

C++ (Qt)
template <typename T>
    bool isType() const
    {
        return std::dynamic_pointer_cast<Holder<T>>(holder_) != 0;
    }
 

 
Не вижу к каким проблемам это может привести?

2) Наверное логичнее/нагляднее кидать std::bad_cast вместо std::runtime_error?

Код

C++ (Qt)
template <typename T>
    const T& value() const throw (std::bad_cast)
    {
        if (!isType<T>())
            throw std::bad_cast();
        return std::static_pointer_cast<Holder<T>>(holder_)->value;
    }
 

[navrocky]

1) Всё же, сравнение типов как строк (и их хранение в HolderBase) не очень оптимальное решение.. Почему бы вместо этого не использовать std::dynamic_pointer_cast в методе isType():
Не вижу к каким проблемам это может привести?

dynamic_cast не работает в динамических библиотеках. Соответственно если либа выдаст вам такой Variant, в основном коде уже ничего не сможете из него вытащить. Хотя согласен, что сравнение указателя эффективнее чем сравнение строки.
Может быть сделать эту оптимизацию через DEFINE?

Кстати сейчас вспомнил, что реализация dynamic_cast в студийном компиляторе сравнивает строки.

2) Наверное логичнее/нагляднее кидать std::bad_cast вместо std::runtime_error?

С этим согласен, подправлю.

[navrocky]

Выхожил код на GitHub, чтобы легче было дописывать. ссылку положил в шапку.

• по просьбе Igors добавил возможность сравнивать Variant, теперь их можно размещать в std::map и прочие упорядоченные контейнеры
• также добавил возможность включения оптимизации кастования, которая сравнивает только указатели
• добавил тесты

[m_ax]

dynamic_cast не работает в динамических библиотеках. Соответственно если либа выдаст вам такой Variant, в основном коде уже ничего не сможете из него вытащить.

Да, погуглил сейчас на эту тему.. Как я понял, это особенность реализации rtti..

Однако, накидал тестовый пример, где у меня (gcc 4.8.2) всё работает.. (аттач)
Или я что то неправильно понял?

[m_ax]

по просьбе Igors добавил возможность сравнивать Variant, теперь их можно размещать в std::map и прочие упорядоченные контейнеры

Имхо, плохая идея.. Я бы не стал раздувать из variant супер-класс с операторами сравнения и т.д..
Завтра igorsу приспичит не только сравнивать но и складывать, умножать, инкрементировать/декрементировать  и т.д.. И что же? Во что ваш variant превратиться?) 

[Bepec]

в буст

[vbv]

А взять и сделать вытяжку из boost только его(boost::any) одного и использовать (хоть статически хоть динамически), не плодя велосипеды?
Не, если задача чисто академическая... Тогда успехов.

[navrocky]

А взять и сделать вытяжку из boost только его(boost::any) одного и использовать (хоть статически хоть динамически), не плодя велосипеды?
Не, если задача чисто академическая... Тогда успехов.

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

[navrocky]

Однако, накидал тестовый пример, где у меня (gcc 4.8.2) всё работает.. (аттач)
Или я что то неправильно понял?

Да, действительно. Надо бы поглядеть реализацию на асме...

[Igors]

Код

C++ (Qt)
template <typename Type>
struct HasEqualOperator
{
typedef char yes[1];
typedef char no[2];
template <std::size_t N>
struct SFINAE {};
template <typename T>
static yes& isEqualComparable(SFINAE<sizeof(*static_cast<T*>(0) == *static_cast<T*>(0))>* = 0);
 

Оказывается уже и так можно! (заглянул в справочник ). Однако, если я правильно понял, экземпляр типа может сравниваться только с точно таким же (напр сравнение float с double поведет к runtime error).

Я не сторонник таких вещей. "Секрет успеха С++ в его совместимости с С". Переменная int - это 4 байта в памяти - и ВСЕ, никаких доп данных нет. Это нормально и хорошо. Но энтузиастам неймется, поэтому начинается выкручивание рук с гребаными темплейтами. Т.е. вообще-то тип не хранится, но когда объявляем переменную - компилятор его знает, вот на этом будем что-то варить... На мой взгляд это попытки придать языку нечто несвойственное, не лучше ли выскочить в тот же Пытон где все это натурально.

Однако привлекает простота с которой Вы это сбацали. Хранить в контейнере "всякую всячину" - реально usable. По поводу развития этого мини-проекта: лучше оставить его "lite", не пытаться накручивать операторов и.т.п. - по-моему это оказалось неудачным, потерялась "легкость".  Вместо этого организовать хранение простых типов (до 8 байт) "на месте" вместо кучи, а то сейчас реализация "жирная"

Спасибо

-