From: =?iso-8859-1?Q?Andr=E9_P=F6nitz?= <poenitz AT gmx DOT de>
Newsgroups: comp.lang.c++,comp.os.msdos.djgpp,gnu.g++.help
Subject: Re: Warning : value_type is implicitly a typename (gcc/gpp-3.1)
Followup-To: gnu.g++.help
Date: 13 Aug 2002 14:38:06 GMT
Organization: Chemnitz University of Technology
Lines: 22
Message-ID: <ajb5ke$f01$1@narses.hrz.tu-chemnitz.de>
References: <aj2vjj$178ktl$1 AT ID-79865 DOT news DOT dfncis DOT de> <Nz759.1526$id3 DOT 59789 AT newsfep2-win DOT server DOT ntli DOT net> <aj4u9j$17mu87$1 AT ID-79865 DOT news DOT dfncis DOT de> <aja19j$19j16h$1 AT ID-79865 DOT news DOT dfncis DOT de> <ajafb5$gv6$8 AT narses DOT hrz DOT tu-chemnitz DOT de> <ajb43s$1a7tuk$1 AT ID-79865 DOT news DOT dfncis DOT de>
NNTP-Posting-Host: millo.mpi.htwm.de
X-Trace: narses.hrz.tu-chemnitz.de 1029249486 15361 141.55.225.177 (13 Aug 2002 14:38:06 GMT)
X-Complaints-To: abuse AT tu-chemnitz DOT de
NNTP-Posting-Date: 13 Aug 2002 14:38:06 GMT
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

In gnu.g++.help Alex Vinokur <alexvn AT bigfoot DOT com> wrote:
> Nevertheless,  there is inequality of rights
>     between
> typedef map<AAA, vector<BBB<int> >, less<AAA> > map1_typename;
>     and
> typedef map<AAA, vector<BBB<T1> >, less<AAA> > map2_typename;
> 
> map1_typename does NOT require the 'template' word (because of BBB<int> ? )
> map2_typename DOES require the 'template' word (because of BBB<T1> ? )
> 
> Any explanation ?

I think 'typename' is needed if and only if the type in question depends on
the template parameter type, i.e. T1 in this case. [I seem to have heard
something like that, but I am too lazy to look it up right now and it would
explain your observation rather well....]

Andre'

-- 
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)