Topic: Bug in CD2 - template template parameter


Author: Kriang Lerdsuwanakij <lerdsuwa@scf-fs.usc.edu>
Date: 1998/02/04
Raw View
Hi,

I found a small example of code that seems has a bug.  It's in
[temp.deduct] paragraph 19 of CD2.  Here is the text:

19 The template-argument corresponding to a template template-parameter
is deduced from the type of the template-argument of a class template
specialization used in the argument list of a function call. [Example:
 template <template X<class T> > struct A { };
 template <template X<class T> > void f(A<X>) { }
 template<class T> struct B { };
 A<B> ab;
 f(ab); // calls f(A<B>)
  --end example]

The symtax of template template parameter used does not match the
grammar in [temp.param].  I think the code
 template X<class T>
should be replaced by
 template <class T> class X

Is this a bug in CD2?

Thanks,

Kriang
---
[ comp.std.c++ is moderated.  To submit articles: try just posting with      ]
[ your news-reader.  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                             ]