C++Talk.NET

Sven Rosvall · Guest

Hi,
I got a piece of code that works with G++ but not with Intels C++
compiler (based on EDG). I have also tried it on Comeau's web site
where you can try the latest version.

template <typename T, T * Data, int Size>
class BoundedExternalArray
{};

template <class Array>
class BoundedPointerTraits
{};

template <typename T, T * Data, int Size>
class BoundedPointerTraits<BoundedExternalArray
{};

The error message is on "Data" in the parameter list of the partial
specialisation. The message is 'the type of partial specialization
template parameter constant "Data" depends on another template
parameter'. Looking in the standard, I find 14.5.4/9, bullet 2: "The
type of a template parameter corresponding to a specialized non-type
argument shall not be dependent on a parameter of the specialization."
I cannot really relate to this. "T" is not being specialised here,
"Array" is. Am I reading in the right place?

A collegue had a look at this and came up with another example:

template <typename T, T * t, typename S>
class A;

template <typename T, T * t>
class A<T, t, int> {};

Same result, GCC accepts this code and EDG does not (both Intel and
Comeau). In this case it is clear that "T" is not specialised.
Only "S" is specialised here.

So, please help me understand the standard. Are any of these two
examples legal? Or both?

Thanks for any help.
/ Sven--

---
[ 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 ]
[ --- Please see the FAQ before posting. --- ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html ]

Richard Corden · Guest

Hi,

[email]sven-e (AT) lysator (DOT) liu.se[/email] (Sven Rosvall) writes:

<snip>