c++/3902: gcc 3.0 unable to resolve an overload taking the address of a template member

c++/3902: gcc 3.0 unable to resolve an overload taking the address of a template member

[sebor]

>Number:         3902
>Category:       c++
>Synopsis:       gcc 3.0 unable to resolve an overload taking the address of a template member
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Jul 31 11:56:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     sebor@roguewave.com
>Release:        gcc 3.0
>Organization:
>Environment:

>Description:
This is failing with 3.0.

Regards
Martin


$ cat t.cpp ; /usr/local/gcc-3.0/bin/g++ -v t.cpp
template <class T>
struct S
{
    S foo (T(T)) { return *this; }
    S foo (T(const T&)) { return *this; }
};

int main ()
{
    S<int> (S<int>::*pf1)(int (int)) = &S<int>::foo;
    S<int> (S<int>::*pf2)(int (const int&)) = &S<int>::foo;
}

Reading specs from /usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/specs
Configured with: ../gcc-3.0/configure --prefix=/usr/local/gcc-3.0 --enable-shared
Thread model: single
gcc version 3.0
 /usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/cc1plus -v -D__GNUC__=3 -D__GNUC_MINOR__=0 -D__GNUC_PATCHLEVEL__=0 -D__ELF__ -Dunix -Dlinux -D__ELF__ -D__unix__ -D__linux__ -D__unix -D__linux -Asystem=posix -D__NO_INLINE__ -D__STDC_HOSTED__=1 -D_GNU_SOURCE -Acpu=i386 -Amachine=i386 -Di386 -D__i386 -D__i386__ -D__tune_i686__ -D__tune_pentiumpro__ t.cpp -D__GNUG__=3 -D__GXX_DEPRECATED -D__EXCEPTIONS -D__GXX_ABI_VERSION=100 -quiet -dumpbase t.cpp -version -o /tmp/ccVBAIJa.s
GNU CPP version 3.0 (cpplib) (i386 Linux/ELF)
GNU C++ version 3.0 (i686-pc-linux-gnu)
        compiled by GNU C version 2.95.2 19991024 (release).
ignoring nonexistent directory "/usr/local/gcc-3.0/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/gcc-3.0/include/g++-v3
 /usr/local/gcc-3.0/include/g++-v3/i686-pc-linux-gnu
 /usr/local/gcc-3.0/include/g++-v3/backward
 /usr/local/gcc-3.0/include
 /usr/local/gcc-3.0/lib/gcc-lib/i686-pc-linux-gnu/3.0/include
 /usr/include
End of search list.
t.cpp: In member function `S<T> S<T>::foo(T)':
t.cpp:4: declaration of `T T'
t.cpp:1:  shadows template parm `class T'
t.cpp: In function `int main()':
t.cpp:10: no matches converting function `foo' to type `struct S<int> (struct 
   S<int>::*)(int (*)(int))'
t.cpp:4: candidates are: S<T> S<T>::foo(T) [with T = int]
t.cpp:5:                 S<T> S<T>::foo(T (*)(const T&)) [with T = int]
>How-To-Repeat:

>Fix:

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

Re: c++/3902: gcc 3.0 unable to resolve an overload taking the address of a template member

[nathan]

Synopsis: gcc 3.0 unable to resolve an overload taking the address of a template member

State-Changed-From-To: open->suspended
State-Changed-By: nathan
State-Changed-When: Wed Aug  1 02:42:59 2001
State-Changed-Why:
    this is a parser bug, which will be fixed by the ongoing new
    parser work. In case you've not noticed, the first
    function declaration
    	S foo (T (T))
    is ambiguous - is the second T an parameter name with extra
    parentheses, or a parameter list? You and the std require
    the latter interpretation, g++ takes the former. See 8.2/7
    
    you can work around it by introducing a dummy name.
    	S foo (T _name_ (T))

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