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