Title
Alignment of function types
Status
cd1
Section
7.6.2.6 [expr.alignof]
Submitter
Alisdair Meredith

Created on 2007-11-07.00:00:00 last changed 161 months ago

Messages

Date: 2008-09-15.00:00:00

[Voted into the WP at the September, 2008 meeting.]

Date: 2008-03-15.00:00:00

Proposed resolution (March, 2008):

The issue, as described, is incorrect. The requirement in 7.6.2.6 [expr.alignof] is for “a complete object type,” so a function type is already forbidden. However, the existing text does have a problem in this requirement in that it does not allow a reference type, as anticipated by paragraph 3. Consequently, the proposal is to change 7.6.2.6 [expr.alignof] paragraph 1 as indicated:

An alignof expression yields the alignment requirement of its operand type. The operand shall be a type-id representing a complete object type or a reference to a complete object type.
Date: 2007-11-07.00:00:00

The specification for the alignof operator (7.6.2.6 [expr.alignof]) does not forbid function types as operands, although it probably should.

History
Date User Action Args
2008-10-05 00:00:00adminsetmessages: + msg1814
2008-10-05 00:00:00adminsetstatus: ready -> cd1
2008-06-29 00:00:00adminsetstatus: review -> ready
2008-03-17 00:00:00adminsetmessages: + msg1600
2008-03-17 00:00:00adminsetstatus: open -> review
2007-11-07 00:00:00admincreate