Re: c++/4232: template instantiation in function body using a template argument fails

Re: c++/4232: template instantiation in function body using a template argument fails

[Philip Martin]

The following reply was made to PR c++/4232; it has been noted by GNATS.

From: Philip Martin <philip_martin@ntlworld.com>
To: gcc-gnats@gcc.gnu.org, vyzo@media.mit.edu, gcc-bugs@gcc.gnu.org
Cc:  
Subject: Re: c++/4232: template instantiation in function body using a template argument fails
Date: 09 Sep 2001 20:50:45 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4232&database=gcc
 
 This is not a gcc bug, your code is invalid. Replace
 
    template <typename _type>
    _type moo( const foo& f ) { return f.cast_foo<_type>(); }
 
 with
 
    template <typename _type>
    _type moo( const foo& f ) { return f.template cast_foo<_type>(); }
 
 and your code will compile.
 
 Philip
 
 

Re: c++/4232: template instantiation in function body using a template argument fails

[lerdsuwa]

Synopsis: template instantiation in function body using a template argument fails

State-Changed-From-To: open->closed
State-Changed-By: lerdsuwa
State-Changed-When: Fri Sep 14 06:48:30 2001
State-Changed-Why:
    Duplicate of PR3012.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4232&database=gcc

Re: c++/4232: template instantiation in function body using a template argument fails

[Alexandre Oliva]

The following reply was made to PR c++/4232; it has been noted by GNATS.

From: Alexandre Oliva <aoliva@redhat.com>
To: Philip Martin <philip_martin@ntlworld.com>
Cc: gcc-gnats@gcc.gnu.org, vyzo@media.mit.edu, gcc-bugs@gcc.gnu.org
Subject: Re: c++/4232: template instantiation in function body using a template argument fails
Date: 09 Sep 2001 17:41:23 -0300

 On Sep  9, 2001, Philip Martin <philip_martin@ntlworld.com> wrote:
 
 > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4232&database=gcc
 
 > This is not a gcc bug, your code is invalid.
 
 Not really.  The `template' keyword should only be required below in
 case the type of `f' was dependent on template arguments.  But this is
 not the case, so `template' is optional.  Using it is just a
 work-around for GCC.
 
 >    template <typename _type>
 >    _type moo( const foo& f ) { return f.template cast_foo<_type>(); }
 
 -- 
 Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
 Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
 CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
 Free Software Evangelist    *Please* write to mailing lists, not to me
 

c++/4232: template instantiation in function body using a template argument fails

[vyzo]

>Number:         4232
>Category:       c++
>Synopsis:       template instantiation in function body using a template argument fails
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Sep 04 17:06:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Dimitris Vyzovitis
>Release:        gcc-3.0.1
>Organization:
>Environment:
gnu-pc-linux-i686
>Description:
The compiler fails with a parse error if a template function tris to instatiate a template using one of its template parameters as an argument.
>How-To-Repeat:
The following code fails to compile with the following error:
foo.C: In function `_type moo(const foo&)':
foo.C:10: parse error before `>' token

test file: foo.C
----------
struct foo {
	template <typename _type>
	operator _type() const { return _type(); }
	
	template <typename _type>
	_type cast_foo() const { return *this; }
};

template <typename _type>
_type moo( const foo& f ) { return f.cast_foo<_type>(); }

int main() {
	return 0;
}
---------------------
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: