🚀 go-pugleaf

In article <312BF6A1.5BBE@bnr.ca> "nicolas (n.) chapados" <chapados@bnr.ca> writes:

> It sometimes would be useful to have a template specialization be
> itself a template.  For example, to define persistent I/O on all
> vectors of type T, one could specialize PersistentIO<T>:
> 
> 	template <class T>
> 	class PersistentIO< vector<T> >
> 	{ ... };
> 
> I'd like to know whether this is allowed by the current draft.
> Given the affirmative, what does the T argument represent inside
> the specialization?

Yes, this is allowed.  (So long as an unspecialized version of
PersistentIO<X> has been declared first.)  This is known as partial
specialization, and it is described in section 14.6 [temp.class.spec]
of the draft standard.  Partial specialization is used in the standard
class library.

Unfortunately, I don't know of any released compilers that have
actually implemented partial specialization.
-- 
Matt Austern
SGI: MTI Compilers Group
austern@isolde.mti.sgi.com

[ To submit articles: Try just posting with your newsreader.
		      If that fails, use mailto:std-c++@ncar.ucar.edu
  FAQ:    http://reality.sgi.com/employees/austern_mti/std-c++/faq.html
  Policy: http://reality.sgi.com/employees/austern_mti/std-c++/policy.html
  Comments? mailto:std-c++-request@ncar.ucar.edu
]