Title
Complete type in member pointer expressions
Status
cd3
Section
7.6.4 [expr.mptr.oper]
Submitter
Daniel Krügler

Created on 2011-08-10.00:00:00 last changed 123 months ago

Messages

Date: 2012-02-15.00:00:00

[Voted into the WP at the February, 2012 meeting; moved to DR at the October, 2012 meeting.]

Date: 2011-08-15.00:00:00

Proposed resolution (August, 2011):

  1. Change 7.6.4 [expr.mptr.oper] paragraph 2 as follows:

  2. The binary operator .* binds its second operand, which shall be of type “pointer to member of T(where T is a completely-defined class type) to its first operand...
  3. Change 7.6.4 [expr.mptr.oper] paragraph 3 as follows:

  4. The binary operator ->* binds its second operand, which shall be of type “pointer to member of T(where T is a completely-defined class type) to its first operand...
Date: 2012-09-24.00:00:00

Both the .* and ->* operators (7.6.4 [expr.mptr.oper]) require that the class of the second operand be a complete object type. Current implementations do not enforce this requirement, and it is not clear that there is a need for it.

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: drwp -> cd3
2012-11-03 00:00:00adminsetstatus: dr -> drwp
2012-09-24 00:00:00adminsetmessages: + msg3998
2012-02-27 00:00:00adminsetmessages: + msg3793
2012-02-27 00:00:00adminsetstatus: ready -> dr
2011-08-10 00:00:00admincreate