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

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

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

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

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

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

Кстатии, к слову о концепте)
Недавно здесь поднималась тема про свич и иже с ним, где я упомянул о 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
 

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

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

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

 
Океюшки, вот простой типичный пример: Имеется контейнер вариантов, для различных представлений чисел, например (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 с пониманием отнесётся к тому, что мы тут паразитируем на его теме)

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


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