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 ]