c++/8578: cast typename operator

c++/8578: cast typename operator

[Delana.Lorenzo]

>Number:         8578
>Category:       c++
>Synopsis:       cast typename operator
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Nov 13 22:56:01 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Delana.Lorenzo@libero.it
>Release:        gcc-3.2
>Organization:
>Environment:
Linux
>Description:
#include <iostream>
using namespace std;

template <class K>
class A
{
public:
typedef typename K::val val;
operator val ();
};

template <class K>
A<K>::operator val ()
{
printf ("cast operator\n");
}

struct myval{ typedef int val; };

int
main ()
{
 A<myval> a;
 (int)a;
}

/* if you define in the class header the cast operator
you don't get error like this:
template_cast_op.cxx:13: warning: `typename A<K>::val' is implicitly a typename
template_cast_op.cxx:13: warning: implicit typename is deprecated, please see
   the documentation for details
template_cast_op.cxx:14: no `A<K>::operator K::val()' member function declared
   in class `A<K>'
template_cast_op.cxx:14: template definition of non-template `A<K>::operator
   K::val()'
*/
>How-To-Repeat:
compile this source code
>Fix:

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

Re: c++/8578: cast typename operator

[reichelt]

Synopsis: cast typename operator

State-Changed-From-To: analyzed->closed
State-Changed-By: reichelt
State-Changed-When: Sun Jan 12 16:07:12 2003
State-Changed-Why:
    The bug is fixed in gcc 3.3-20021230 and mainline.
    (Testcase in preparation.)

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

Re: c++/8578: cast typename operator

[bangerth]

Synopsis: cast typename operator

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Thu Nov 14 07:23:53 2002
State-Changed-Why:
    Confirmed. This is a slightly simpler case:
    ---------------------------
    template <class K> struct A {
        typedef typename K::val val;
        operator val ();
    };
    
    template <class K>
    A<K>::operator typename A<K>::val () {}
    ----------------------------------
    
    I'm quite sure there are duplicated of this in the database,
    but can't seem to find them.
    
    W.

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