AMDG Peng Yu wrote:

boost typeof library can automatically deduce the type.

But I'm interested in finding the nested type. For example, if I have a template S. I'd like to deduce that it has two template arguments, I'd like to access its template argument by index (say, 0 and 1 for this case).

I did a preliminary search, but found no such facilities. I may overlook something. Would you please let me know if there is such a facility in boost?

There isn't, but it's fairly easy to do template<class T> struct template_parameters; template struct template_parameters : boost::mpl::vector<T0> {}; template class T, class T0, class T1> struct template_parameters > : boost::mpl::vector {}; template class T, class T0, class T1, class T2> struct template_parameters > : boost::mpl::vector {}; template class T, class T0, class T1, class T2, T3> struct template_parameters > : boost::mpl::vector {}; //... In Christ, Steven Watanabe