17 Jun
2012
17 Jun
'12
3:18 p.m.
Hi Steven, Here are a few questions and suggestions: - I can create an any of a "smaller" concept from an any of a "bigger" concept, but I have to do it explicitly, why ? Couldn't the conversion be automatic when dealing with references ? - Why the _self keyword for references ? Wouldn't any<mpl::vector<...>&> work and be more intuitive ? - Even better, I'd rather have the ref any type has a typedef for the value any type. typedef any<mpl::vector<...>> MyAnyT; MyAnyT value(x); MyAnyT::RefT ref(y); (and reciprocally MyAnyRefT::ValueT) - _self and the placeholders have their underscore at the beginning while typeid_ has its own at the end. I guess this may be uniformized. Regards, Julien