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

[navrocky]

По поводу оператора ==, он однозначно нужен, чтобы можно было делать find. И его результат интерпретируется однозначно.

А вот по операторам сравнения не всё однозначно, я сейчас не могу вспомнить годный пример, помню только одно, что оно мне когда-то было нужно и я гуглил как это сделать с boost::any.. Может быть я тогда был не прав, не помню. Может быть стоит их выкинуть, чтобы никого не смущать?

[Igors]

По поводу оператора ==, он однозначно нужен, чтобы можно было делать find. И его результат интерпретируется однозначно.

А вот по операторам сравнения не всё однозначно, я сейчас не могу вспомнить годный пример, помню только одно, что оно мне когда-то было нужно и я гуглил как это сделать с boost::any.. Может быть я тогда был не прав, не помню. Может быть стоит их выкинуть, чтобы никого не смущать?

Тоже мне ценность "find". И насчет однозначности неясно (5 == 5.0  ). Может неплохо бы иметь

bool isNumeric()
bool isPointer()
double toDouble()
void * toPointer()

А операторы/сортировки проще накрутить на стороне юзера

[navrocky]

Ну ладно, кому что.. Оставляю в том виде как есть, больше не наворачиваю.

[m_ax]

Раз уж такое дело, приведу (чисто в академических целях) простенькую реализацию аналога boost::variant (не путать с boost::any)
Меташаблонная магия позволяет в этом случае полностью избавиться от RTTI, но взамен, при объявлении variantа нужно передать ему список тех типов с которыми он может работать, т.е:

Код

C++ (Qt)
variant<int, double, std::string> v = 10;
 
if (v.is_type<int>())
    std::cout << v.get<int>() << std::endl;
 
v = 0.5;
std::cout << v.get<double>() << std::endl;
 
v = std::string("hello-hello");
std::cout << v.get<std::string>() << std::endl;
 
 

[navrocky]

Раз уж такое дело, приведу (чисто в академических целях) простенькую реализацию аналога boost::variant (не путать с boost::any)
Меташаблонная магия позволяет в этом случае полностью избавиться от RTTI, но взамен, при объявлении variantа нужно передать ему список тех типов с которыми он может работать.

_id можно запихнуть в holder, всё же меньше копироваться будет )

Я так понимаю недопустимость типа тоже контролируется, т.е. запихнуть можно только тип из списка?

Можно назвать для большего понимания limited_variant или как-то так. Всё время меня смущало, что в бусте variant не variant в обычном понимании.

[m_ax]

_id можно запихнуть в holder, всё же меньше копироваться будет )

Согласен)

Я так понимаю недопустимость типа тоже контролируется, т.е. запихнуть можно только тип из списка?

Да, тип только из доступных из списка. Это безопасно)

Можно назвать для большего понимания limited_variant или как-то так. Всё время меня смущало, что в бусте variant не variant в обычном понимании.

Можно, конечно.. Но я это уж так, не для пользования, а скорее ради обсуждения концепта) Т.е. если мне мне будет нужно, то я буду пользовать boost, конечно)

[m_ax]

Но я это уж так, не для пользования, а скорее ради обсуждения концепта)

Кстатии, к слову о концепте)
Недавно здесь поднималась тема про свич и иже с ним, где я упомянул о static_visitor.. Так вот, в этой доморощенной реализации variant можно также реализовать нечто подобное визитёру.
Т.е. если у нас есть контейнер с вариантами и нужно его как то обработать без if-else-свичей то как вариант это можно сделать так:

Код

C++ (Qt)
#include <iostream>
#include <list>
#include <variant.h>
 
 
typedef variant<int, double, std::string> my_variant;
 
void print_int(const my_variant & v)
{
    std::cout << " int " << v.get<int>() << std::endl;
}
 
void print_double(const my_variant & v)
{
    std::cout << " double " << v.get<double>() << std::endl;
}
 
void print_str(const my_variant & v)
{
    std::cout << " str " << v.get<std::string>() << std::endl;
}
 
int main()
{
    std::list<my_variant> list;
    list.push_back(10);
    list.push_back(0.5);
    list.push_back(std::string("hello-hello"));
 
 
    variant_visitor<int, double, std::string> my_visitor;
 
    my_visitor.reg<int>(&print_int);
    my_visitor.reg<double>(&print_double);
    my_visitor.reg<std::string>(&print_str);
 
    for (auto v : list)
        my_visitor(v);
 
    return 0;
}
 
 

 

Код

Bash
int 10
double 0.5
str hello-hello
 

[Igors]

Т.е. если у нас есть контейнер с вариантами и нужно его как то обработать без if-else-свичей то как вариант это можно сделать так:

Код

C++ (Qt)
    my_visitor.reg<int>(&print_int);
    my_visitor.reg<double>(&print_double);
    my_visitor.reg<std::string>(&print_str);
 

 

Ну switch все же куда приятнее чем N "псевдо-классов" 

Эх, если бы это темплейт-усердие применить для реального дела, алгоритмов - вот было бы здорово! Но увы 

[Old]

Эх, если бы это темплейт-усердие применить для реального дела, алгоритмов - вот было бы здорово! Но увы 

Да, финдреплейсов можно было бы написать море, а сколько огромных свитчей можно было расширить на еще одно действие....

[m_ax]

Эх, если бы это темплейт-усердие применить для реального дела, алгоритмов - вот было бы здорово! Но увы 

Да, финдреплейсов можно было бы написать море, а сколько огромных свитчей можно было расширить на еще одно действие....

Непочатый край работы) Что ещё нужно для счастья творческой личности

[Igors]

Ой-ой Не, ну конечно так бы я не написал (не додумался бы), но вот чисто с утилитарной, прямо-таки "шкурной" точки зрения - а что, собственно, достигнуто? Еще одна остроумная поделка. А для чего? И как с нее снять бабло?..... Ну вот, сами же видите - никак. Может тлеет надежда "показать себя крутым" (чтобы больше платили) - так это напрасно 

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

[Old]

Ой-ой Не, ну конечно так бы я не написал (не додумался бы), но вот чисто с утилитарной, прямо-таки "шкурной" точки зрения - а что, собственно, достигнуто? Еще одна остроумная поделка. А для чего? И как с нее снять бабло?.....

А со свитча вы как бабло снимаете, а с фора?

Может тлеет надежда "показать себя крутым" (чтобы больше платили) - так это напрасно 

Ах эти комплексы.

[m_ax]

 

Ой-ой Не, ну конечно так бы я не написал (не додумался бы), но вот чисто с утилитарной, прямо-таки "шкурной" точки зрения - а что, собственно, достигнуто? Еще одна остроумная поделка. А для чего? И как с нее снять бабло?..... Ну вот, сами же видите - никак. Может тлеет надежда "показать себя крутым" (чтобы больше платили) - так это напрасно 

Океюшки, вот простой типичный пример: Имеется контейнер вариантов, для различных представлений чисел, например (double, int, std::string).
Мы хотим иметь возможность сортировать его.. (самая типичная ситуация)
С патерном визитёра это делается в пару строк:

Код

C++ (Qt)
#include <iostream>
#include <list>
#include <variant.h>
#include <string>
 
 
typedef variant<int, double, std::string> variant_t;
 
int main()
{
    std::list<variant_t> list;
    list.push_back(std::string("-42.45938"));  // string
    list.push_back(0.5);                                  // double
    list.push_back(std::string("2.34"));         // string 
    list.push_back(3.565);                            // double
    list.push_back(10);                                // int
 
 
    variant_visitor<double (variant_t)> my_visitor;
 
    my_visitor.reg<int>([](variant_t v) { return v.get<int>(); } );
    my_visitor.reg<double>([](variant_t v) { return v.get<double>(); } );
    my_visitor.reg<std::string>([](variant_t v) { return std::stod(v.get<std::string>()); } );
 
    for (auto v : list)
        std::cout << my_visitor(v) << std::endl;
 
    list.sort([&](variant_t v1, variant_t v2) { return my_visitor(v1) > my_visitor(v2); });
 
    std::cout << "--------------------------------" << std::endl;
 
    for (auto v : list)
        std::cout << my_visitor(v) << std::endl;
 
 
    return 0;
}
 

Причём, мы имеем полную типобезопасность)

Мне вот интересно, как Вы аналогичное будете реализовывать с Вашим милым и родным свитчем? 

P.S. Проект приаттачен..

PPS Надеюсь, комрад  navrovsky с пониманием отнесётся к тому, что мы тут паразитируем на его теме)

[Igors]

Причём, мы имеем полную типобезопасность)

"типо" может и имеете, но вот ошибки не контролируете, напр string("abc")

Мне вот интересно, как Вы аналогичное будете реализовывать с Вашим милым и родным свитчем? 

Да хотя бы так

Код

C++ (Qt)
bool IsLess( const Variant & v1, const Variant & v2 )
{
 double d1, d2;
 bool num1 = TryConvert2Double(v1, &d1);
 bool num2 = TryConvert2Double(v2, &d2);
 if (num1 && num2) 
  return d1 < d2;
 return num1 && !num2;
}

[m_ax]

"типо" может и имеете, но вот ошибки не контролируете, напр string("abc")

Для иллюстрации данного примера это не принципиально..

Да хотя бы так

Чтож Вы самое интересное то не показали?
Можно под капот TryConvert2Double посмотреть?)