Issue 2167 - WG21 LWG Issues
Title
Copy assignment requirements of Containers
Status
nad
Section
[container.requirements.general]
Submitter
Dean Michael Berris

Created on 2012-07-13.00:00:00 last changed 140 months ago

Messages

msg6195 (view)
Date: 2012-10-20.00:32:14

Proposed resolution:

This wording is relative to N3376.

  1. Change Table 96 — "Container requirements" in [container.requirements.general]:

    Table 96 — Container requirements
    Expression Return type Operational semantics Assertion/note pre-/post-condition Complexity
    r = a X& Requires: T is CopyInsertable into X.
    post: r == a.     		linear
msg6104 (view)
Date: 2012-10-20.00:32:14

[ 2012, Portland: Move to Tentatively NAD ]

Howard notes that this may be a difficult requirement for std::array

We already have this requirement for allocator aware containers, and std::array already adds the appropriate extra requirement.

We say the necessary things in the necessary places, but the container requirements continue to cause confusion in where we sometimes say things. Consensus is that this issue remains NAD though.

msg6103 (view)
Date: 2012-08-05.22:09:15

Table 96 defines the general requirement for copy assignment (row 23, page 704) as:

Table 96 — Container requirements
Expression Return type Operational semantics Assertion/note pre-/post-condition Complexity
r = a X& post: r == a. linear

However there is no requirement that T is CopyInsertable into X.

History
Date User Action Args
2012-10-20 00:32:14adminsetmessages: + msg6195
2012-10-20 00:32:14adminsetstatus: new -> nad
2012-08-05 22:07:17adminsetmessages: + msg6104
2012-07-13 00:00:00admincreate