Re: [boost] Formal Review Request: TypeErasure

Subject: Re: [boost] Formal Review Request: TypeErasure
From: Julien Nitard (julien.nitard_at_[hidden])
Date: 2012-06-17 11:18:25

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