Created on 2009-03-03.00:00:00 last changed 144 months ago
[Voted into WP at March, 2010 meeting.]
Proposed resolution (October, 2009):
Change 18.104.22.168 [expr.reinterpret.cast] paragraph 2 as follows:
The reinterpret_cast operator shall not cast away constness (22.214.171.124 [expr.const.cast]).
[Note: Subject to the restrictions in this section, an expression may be cast to its own type using a reinterpret_cast operator. —end note]
Change 126.96.36.199 [expr.reinterpret.cast] paragraph 10 as follows:
An rvalue of type “pointer to member of X of type T1” can be explicitly converted to an rvalue of type “pointer to member of Y of type T2” if T1 and T2 are both function types or both object types...
The note in 188.8.131.52 [expr.reinterpret.cast] paragraph 2 says,
Subject to the restrictions in this section, an expression may be cast to its own type using a reinterpret_cast operator.
However, there is nothing in the normative text that permits this conversion, and paragraph 1 forbids any conversion not explicitly permitted.
(See also issue 944.)
|2010-03-29 00:00:00||admin||set||messages: + msg2676|
|2010-03-29 00:00:00||admin||set||status: ready -> cd2|
|2009-08-03 00:00:00||admin||set||messages: + msg2146|
|2009-08-03 00:00:00||admin||set||status: open -> ready|