c++/7346: templated conversion operator to dependent type

c++/7346: templated conversion operator to dependent type

[david.abrahams]

>Number:         7346
>Category:       c++
>Synopsis:       templated conversion operator to dependent type
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Jul 17 16:36:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     david.abrahams@rcn.com
>Release:        3.1
>Organization:
>Environment:
Cygwin
>Description:
Should compile, instead gives:

foo.cpp:10: no `X<T>::operator int() const' member function declared in class `
   X<T>'
foo.cpp:10: template definition of non-template `X<T>::operator int() const'
>How-To-Repeat:
template <class T>
struct X
{
    typedef int result_type;
    operator result_type() const;
};

template <class T>
X<T>::operator typename X<T>::result_type() const
{
    return 0;
}

int x = X<char>();

>Fix:

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

Re: c++/7346: templated conversion operator to dependent type

[bangerth]

Synopsis: templated conversion operator to dependent type

State-Changed-From-To: analyzed->closed
State-Changed-By: bangerth
State-Changed-When: Fri Oct 25 15:58:01 2002
State-Changed-Why:
    This is a duplicate of PR 7077.

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

Re: c++/7346: templated conversion operator to dependent type

[nathan]

Synopsis: templated conversion operator to dependent type

State-Changed-From-To: open->analyzed
State-Changed-By: nathan
State-Changed-When: Sat Sep 14 05:10:45 2002
State-Changed-Why:
    confirmed

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

Re: c++/7346: templated conversion operator to dependent type

[Gabriel Dos Reis]

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

From: Gabriel Dos Reis <gdr@codesourcery.com>
To: david.abrahams@rcn.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/7346: templated conversion operator to dependent type
Date: 18 Jul 2002 02:13:23 +0200

 david.abrahams@rcn.com writes:
 
 [...]
 
 | foo.cpp:10: no `X<T>::operator int() const' member function declared in class `
 |    X<T>'
 | foo.cpp:10: template definition of non-template `X<T>::operator int() const'
 
 This is an instance of a more general problem in GCC/g++.  I should
 probably go and merge all duplicates of this.
 
 -- Gaby