c++/8271: Templates and pointers to const member functions

[bangerth@ticam.utexas.edu]

>Number:         8271
>Category:       c++
>Synopsis:       Templates and pointers to const member functions
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Oct 17 15:26:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Wolfgang Bangerth
>Release:        unknown-1.0
>Organization:
>Environment:
all gcc versions since at least 2.95
>Description:
The following code compiles with gcc:
-------------------------------------------
struct X { void f () const; };

template <class T> void g(void (T::*) ());

void h () {  g (&X::f);  };
-------------------------------------------
On the other hand, it fails to compile with at least two 
other compilers, which made me wonder who's right and who
is wrong. The point is that the template function g takes
a member function pointer, but we pass a pointer to a
_const_ member function. gcc does what seems very
reasonable,namely identifying the template argument T with
"const X". However, other compilers do not do this. They
say there is no prototype for an argument 
'void (T::*)() const'.

I tried to find normative statements in the standard, but
could not find anything that would match my case, which is
probably only due to an incomplete search through the
standard.

So, I would be happy about a statement by someone more
knowledgeable about this than me :-)

Thanks
  Wolfgang
>How-To-Repeat:

>Fix:

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