Issue 2308 - WG21 LWG Issues
Title
Clarify container destructor requirements w.r.t. std::array
Status
c++14
Section
[container.requirements.general]
Submitter
Jonathan Wakely

Created on 2013-09-26.00:00:00 last changed 131 months ago

Messages

msg6841 (view)
Date: 2014-02-13.15:14:54

Proposed resolution:

This wording is relative to N3691.

  1. Change in [container.requirements.general], Table 96 — "Container requirements", the "Assertion/note/pre-/post-condition" for the expression "(&a)->~X()" as indicated:

    note: the destructor is applied to every element of a; all theany memory obtained is deallocated.

msg6685 (view)
Date: 2014-02-13.15:14:54

[ Issaquah 2014-02-11: Move to Immediate ]
msg6684 (view)
Date: 2013-09-26.00:00:00

It has been suggested that Table 96 — "Container requirements" makes confusing requirements for the destructor of std::array:

"note: the destructor is applied to every element of a; all the memory is deallocated."

Since std::array obtains no memory, there is none to deallocate, arguably making it unclear what the requirement means for std::array::~array().

History
Date User Action Args
2014-02-27 17:03:20adminsetstatus: wp -> c++14
2014-02-20 13:52:38adminsetstatus: immediate -> wp
2014-02-13 15:14:54adminsetmessages: + msg6841
2014-02-13 15:14:54adminsetstatus: new -> immediate
2013-10-08 21:34:31adminsetmessages: + msg6685
2013-09-26 00:00:00admincreate