"Peder Holt" <peder.holt@gmail.com> 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