This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
aren't specialized templates templates?
- From: Tim Janik <timj at gtk dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 12 Feb 2005 07:39:26 +0100 (CET)
- Subject: aren't specialized templates templates?
hi all.
the code snippet below is extracted from a much more
complicated piece of code. basically the problem is that
g++ (3.3 and 3.4) demand different typedef syntax inside
template bodies, depending on whether full or partial
specialization is used.
is this really the correct behaviour and standard conform?
(to me it seems, line20 should still be considered part of
a template and thus accept the "typename")
--------------------snip---------------------
template<class C>
struct Base {
typedef C* Iterator;
};
template<class C, class D>
struct Derived : Base<D> {
typedef typename Base<D>::Iterator Iterator;
};
#define BASE_ITER(BASE) typename BASE :: Iterator
template<class D>
struct Derived<char, D> : Base<D> {
typedef BASE_ITER (Base<D>) Iterator; // line15
};
template<>
struct Derived<char, int> : Base<int> {
typedef BASE_ITER (Base<int>) Iterator; // line20
};
// test.cc:20: error: using `typename' outside of template
--------------------snip---------------------
---
ciaoTJ