Parameterized Template Parameters

[Aaron Carroll]

Consider the following:

#include <map>

template <class T>
void f()
{
typedef std::map<T, int> Mymap;
Mymap::iterator iter;
}

Compiling with both GCC and Comeau gives an error along the lines of
`expected a ";" before "iter".' The same code with the map parameter
T replaced with a concrete type compiles just fine. Instantiating a
"Mymap" seems to work.

Why can I create a "Mymap" object, but not a "Mymap::iterator" object?

Cheers,
-- Aaron

[Neelesh Bodas]

Aaron Carroll wrote:

Consider the following:

#include <map>

template <class T>
void f()
{
typedef std::map<T, int> Mymap;
Mymap::iterator iter;

typename Mymap::iterator iter;

[Earl Purple]

Neelesh Bodas wrote:

Aaron Carroll wrote:

Consider the following:

#include <map>

template <class T>
void f()
{
typedef std::map<T, int> Mymap;
Mymap::iterator iter;

typename Mymap::iterator iter;

The compilers are correct to reject the code but it would be nice if
they could identify the error and give an appropriate message.
(Something compiler vendors could work on perhaps?)