Re: [boost] [typeof] support for template nested types

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2006-10-20 15:02:43

"Peder Holt" <peder.holt_at_[hidden]> wrote

> We have recently been working to implement support for deduction of
> stl iterators in the typeof emulation. In the process, a method to
> completely deduce the type of nested templates emerged.
>
> Initially we want to make this method available in order to deduce
> dinkumware iterators, as there is no (standard) way to do that at
> present. With the method we are able to deduce e.g.
> std::set<UserType,user_predicate<UserType>,user_allocator<UserType>
>>::const_iterator, given separate registration of the template
> user_predicate and user_allocator.
>
> It is possible to envision a general utility for registering template
> nested classes with the typeof emulation. Is there any interest in
> this? Otherwise we'll only add specialized code for stl iterators.

Also is there any interest in a typeof-independent facility to parse an STL 
iterator, something like:

is_iterator<It>::value;
is_const<It>::value;
deduce_container<It>::type;

?

Regards,
Arkadiy