🚀 go-pugleaf

>>>>> "AK" == Alexander Krotoff <krotoff@such.srcc.msu.su> writes:
[...]
AK> There is small inconsistance in the Oct 95 WP:
AK> -----------------------------------------------------------------------
AK> 13.4	Address of overloaded function	[over.over]
AK> In the example on the end of the section:

AK> 	int (X::*p5)(int)  = &(X::f);	// error: wrong syntax for</B>
AK> 					// pointer to member</B>
AK> 	int    (*p6)(long) = &(X::f);	// OK</B>1

AK> Error: qualified-id enclosed in parentheses.
AK> -----------------------------------------------------------------------
AK> 5.3.1	Unary operators			[expr.unary.op]

AK> 3	A pointer to member is only formed when an explicit & is used and
AK> 	its operand is a qualified-id not enclosed in parentheses.
AK> -----------------------------------------------------------------------

AK> I suppose the error is in the over.over.

I fail to see the problem. 5.3.1 (which you quote correctly) says that
&X::f could be a pointer to member, but not &(X::f); so that explains
the error in 13.4. &(X::f) resolves to the pointer to a static member
function (which is a pointer to a regular function) in that same
example, so that's fine. Note that the target type resolves the overload.

	Daveed
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]