Subject: Re: [boost] Formal Review Request: TypeErasure
From: Julien Nitard (julien.nitard_at_[hidden])
Date: 2012-06-17 11:18:25
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;
(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.