Title
Rvalue reference cast to incomplete type
Status
cd2
Section
7.6.1 [expr.post]
Submitter
Steve Adamczyk

Created on 2009-04-07.00:00:00 last changed 171 months ago

Messages

Date: 2010-03-15.00:00:00

[Voted into WP at March, 2010 meeting as document N3055.]

Date: 2010-02-15.00:00:00

Proposed resolution (February, 2010):

See paper N3030.

Date: 2009-04-07.00:00:00

A cast to an rvalue reference type produces an rvalue, and rvalues must have complete types (7.2.1 [basic.lval] paragraph 9). However, none of the sections dealing with cast operators in 7.6.1 [expr.post] require that the referred-to type must be complete in an rvalue reference cast.

(Note that the approach described for issue 690, in which an rvalue reference type would be essentially an lvalue instead of an rvalue, would address this issue as well, since lvalues can have incomplete types.)
History
Date User Action Args
2010-03-29 00:00:00adminsetmessages: + msg2673
2010-03-29 00:00:00adminsetstatus: review -> cd2
2010-02-16 00:00:00adminsetmessages: + msg2528
2010-02-16 00:00:00adminsetstatus: open -> review
2009-04-07 00:00:00admincreate