Предлагаю вашему вниманию простой аналог 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

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

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

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

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


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

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

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

в буст

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

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 байт) "на месте" вместо кучи, а то сейчас реализация "жирная"

Спасибо

-