boost::variant should be

variant<int,int>
=> int

variant<int,double>
=> double

variant<int,boost::rational<int> >
=> boost::rational<int>

variant<int,double,std::string>
=> variant<double,std::string>

1. Is double guaranteed to be a superset of int?

2. Do you lose the information, which type is contained (int/double)?

Regards,

Kris

I wrote such extension

https://github.com/niitsuma/variant_shrink
_______________________________________________
Boost-users mailing list
Boost-users@lists.boost.org
http://lists.boost.org/mailman/listinfo.cgi/boost-users