Re: c++/4137: conversion operator within template

Re: c++/4137: conversion operator within template

[paolo]

Synopsis: conversion operator within template

State-Changed-From-To: analyzed->closed
State-Changed-By: paolo
State-Changed-When: Thu Jan  2 13:33:45 2003
State-Changed-Why:
    Already fixed for 3.3 and 3.4.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4137

Re: c++/4137: conversion operator within template

[nathan]

Synopsis: conversion operator within template

State-Changed-From-To: open->analyzed
State-Changed-By: nathan
State-Changed-When: Tue Feb 26 14:16:48 2002
State-Changed-Why:
    confirmed

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4137

c++/4137: conversion operator within template

[benko]

>Number:         4137
>Category:       c++
>Synopsis:       conversion operator within template
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Mon Aug 27 07:06:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Benko Pal
>Release:        3.0.1
>Organization:
>Environment:
SuSE 7.1
>Description:
I do not know whether this is a bug in the compiler or
illegal code.
The following program does not compile:



template <typename c>
struct a
{
  typedef int b;
  
  operator b();
};

template <typename c>
a<c>::operator typename a<c>::b() // omitting `typename'
                                  // makes no difference
{
  return 0;
}



Workaround:



template <typename c>
struct a
{
  typedef int b;
  
  operator b() {return 0;}
};



Without templates there is no problem:


struct a
{
  typedef int b;
  
  operator b();
};

a::operator a::b()
{
  return 0;
}
>How-To-Repeat:

>Fix:

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