------- Comment #49 from jason at gcc dot gnu dot org 2009-04-05 06:06 ------- I think it's best to just leave the default arguments in when pretty-printing a function template specialization, as in the string example; otherwise we won't know what _Alloc in the function parameter list means.
Just omitting default arguments when dumping class template specializations will solve the combinatorial explosion problem as displayed in the original bug report; if we're dealing with vector<vector<vector<int> > > a bug report referring to a member of vector will look like .../libstdc++-v3/include/bits/stl_vector.h:1006: instantiated from void std::vector<_Tp, _Alloc>::_M_initialize_dispatch(_InputIterator, _InputIterator, std::__false_type) [with _InputIterator = double, _Tp = std::vector<std::vector<int> >, _Alloc = std::allocator<std::vector<std::vector<int> > >] So we only see std::allocator once, not in all the sub-vectors. This seems to me like the right balance, which happens to be what the current patch provides. I'm going to clean it up a bit more and check it in. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14912
