c++/3396: template conversion operator

c++/3396: template conversion operator

[Axel.Zeuner]

>Number:         3396
>Category:       c++
>Synopsis:       template conversion operator
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jun 25 00:56:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Axel Zeuner
>Release:        2.95.2, 3.0-release, 3.0.1 (prerelease)
>Organization:
>Environment:
Solaris 2.6, Linux
>Description:
Conversion operators of templates classes to typenames typedefed in the template class work only in the body.
>How-To-Repeat:
Compile the test program attached.
>Fix:
Implement conversion operators in templates in the class
body.
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: text/plain; name="main.cpp"
Content-Disposition: inline; filename="main.cpp"

template <class T>
class X {
public:
    typedef T* XY;
    operator XY();
};

template <class T>
X<T>::operator X<T>::XY()
{
    return XY(0);
}

int main()
{
    X<int> p;
    int* pp=p;
    int rc=0;
    if ( pp!= 0) {
	rc=1;
    }
    return rc;
}

Re: c++/3396: template conversion operator

[gdr]

Synopsis: template conversion operator

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Sun Aug 12 01:35:52 2001
Responsible-Changed-Why:
    See below.
State-Changed-From-To: open->closed
State-Changed-By: gdr
State-Changed-When: Sun Aug 12 01:35:52 2001
State-Changed-Why:
    GCC-2.95.2 and GCC-3.0.1 compile your program fine.
    
    -- Gaby

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