standard conform typedef?

[stip]

template <typename T>
struct A
{
};

template <typename T>
struct B
{
typedef A<T> A;
};

int
main()
{
return 0;
}

Look at the reuse of "A".
IMHO this is legal. But gcc rejects it:
Declaration of »typedef struct A<T> B<T>::A«

If it is not legal, can someone point me to the corresponding part of
the standard?

Best,
Alex

 

[Qi]

Look at the reuse of "A".
IMHO this is legal. But gcc rejects it:
Declaration of »typedef struct A<T> B<T>::A«

If it is not legal, can someone point me to the corresponding part of
the standard?

Chapter 14, item 5,

"A class template shall not have the same name as any other template,
class, function, object, enumeration,
enumerator, namespace, or type in the same scope (3.3), except as
specified in (14.5.4). Except that a function
template can be overloaded either by (non-template) functions with the
same name or by other function
templates with the same name (14.8.3), a template name declared in
namespace scope or in class scope
shall be unique in that scope."

 

[Johannes Schaub]

template <typename T>
struct A
{
};

template <typename T>
struct B
{
typedef A<T> A;
};

int
main()
{
return 0;
}

Look at the reuse of "A".
IMHO this is legal. But gcc rejects it:
Declaration of »typedef struct A<T> B<T>::A«

If it is not legal, can someone point me to the corresponding part of
the standard?

This is ill-formed with no diagnostic required. Refer to
3.3.6[basic.scope.class]p1, subparagraph 2).